基于计算模型的安全协议Swift语言实施安全性分析
孟博,何旭东,张金丽,尧利利,鲁金钿
Security analysis of security protocol Swift implementations based on computational model
Bo MENG,Xudong HE,Jinli ZHANG,Lili YAO,Jintian LU
通信学报
.
2018, (9): 178
-190
.
DOI: 10.11959/j.issn.1000-436x.2018165
