Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus

Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus

Analyzing security protocol web implementations is a crucial part of web security. Based on the model extraction technology, this paper first defines SubJavaScript and SubPython languages, and then establishes mapping models from SubPython and SubJavaScript to Applied PI Calculus respectively, after...

Full description

Bibliographic Details
Main Authors: Xudong He, Qin Liu, Shuang Chen, Chin-Tser Huang, Dejun Wang, Bo Meng
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Security protocol implementations
model extraction
SubJavaScript
SubPython
formal method
ProVerif
Online Access:https://ieeexplore.ieee.org/document/8981985/

Internet

https://ieeexplore.ieee.org/document/8981985/

Similar Items