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...

Cijeli opis

Bibliografski detalji
Glavni autori: Xudong He, Qin Liu, Shuang Chen, Chin-Tser Huang, Dejun Wang, Bo Meng
Format: Članak
Jezik:English
Izdano: IEEE 2020-01-01
Serija:IEEE Access
Teme:
Security protocol implementations
model extraction
SubJavaScript
SubPython
formal method
ProVerif
Online pristup:https://ieeexplore.ieee.org/document/8981985/

Internet

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

Slični predmeti