Security analysis of security protocol Swift implementations based on computational model

Show other versions (1)

Analysis of security protocol Swift implementations in IOS platform is important to protect the security of IOS applications.Firstly,according to the security protocol Swift implementations,the SubSwift language,which was a subset of Swift language,was widely used in IOS system,and its BNF were spec...

Full description

Bibliographic Details
Published in:Tongxin xuebao
Main Authors: Bo MENG, Xudong HE, Jinli ZHANG, Lili YAO, Jintian LU
Format: Article
Language:Chinese
Published: Editorial Department of Journal on Communications 2018-09-01
Subjects:
security protocol
implementations security
Swift language
formal analysis
model extraction
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018165/

Internet

http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018165/

Similar Items