通信学报2018，Vol.39Issue(9)：178-190,13.DOI:10.11959/j.issn.1000-436x.2018165
基于计算模型的安全协议Swift语言实施安全性分析
Security analysis of security protocol Swift implementations based on computational model
摘要
关键词
安全协议/实施安全性/Swift语言/形式化分析/模型抽取分类
信息技术与安全科学引用本文复制引用
孟博,何旭东,张金丽,尧利利,鲁金钿..基于计算模型的安全协议Swift语言实施安全性分析[J].通信学报,2018,39(9):178-190,13.基金项目
国家自然科学基金资助项目(No.61272497) （No.61272497）
湖北省自然科学基金资助项目(No.2014CFB249,No.2018ADC150) （No.2014CFB249,No.2018ADC150）
中南民族大学中央高校基本科研业务费专项资金资助项目(No.CZZ18003,No.QSZ17007) （No.CZZ18003,No.QSZ17007）
