| 基于计算模型的安全协议Swift语言实施安全性分析 |
| 孟博;何旭东;张金丽;尧利利;鲁金钿; |
| 关键词：安全协议;实施安全性;Swift语言;形式化分析;模型抽取 |
| 主要内容：分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blan |
| 《通信学报》 2018,39(09):178-190 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号