Security analysis of security protocol Swift implementations based on computational model

Security analysis of security protocol Swift implementations based on computational model

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

Saved in:
Bibliographic Details
Main Authors: Bo MENG, Xudong HE, Jinli ZHANG, Lili YAO, Jintian LU
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2018-09-01
Series:Tongxin xuebao
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/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

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

Similar Items