.png){kind=icon}
.png){kind=icon}
Return
Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2020.2971615.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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 that, develops the semi-automatic model extraction tools SubPython2PV and SubJavaScript2PV to analyze the four widely used security protocol web implementations. The experiment shows that the four typical security protocol web implications have confidentiality, but lack of authentication.
Keywords:
Security protocol implementations
model extraction
SubJavaScript
SubPython
formal method
ProVerif
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
3.6
Papers:
9.8W
Citations:
29.4W
