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...
Saved in:
| 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: | |
| Online Access: | http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2018165 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Security analysis of security protocol Swift implementations based on computational model
by: Bo MENG, et al.
Published: (2018-09-01) -
Formal modeling and security analysis method of security protocol based on CPN
by: Xiang GONG, et al.
Published: (2021-09-01) -
SIM: a secure IP protocol for MANET
by: Rong-sen LI, et al.
Published: (2013-08-01) -
SAT-based lazy formal analysis method for security protocols
by: Chun-xiang GU, et al.
Published: (2014-11-01) -
At the tavern with Taylor Swift: a gothic and/or dark romantic reading of the album ‘The tortured poets Department"
by: Claudio Fernandes Baranhuke Júnior
Published: (2025-07-01)