Search

Your search keyword '"Security protocol implementations"' showing total 2 results
Start Over Descriptor "Security protocol implementations"
2 results on '"Security protocol implementations"'

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

Author

Xudong He, Qin Liu, Shuang Chen, Chin-Tser Huang, Dejun Wang, and Bo Meng

Subjects
Security protocol implementations, model extraction, SubJavaScript, SubPython, formal method, ProVerif, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
Abstract

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.

Published
2020
Full Text
View/download PDF

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

Author

Bo Meng, Chen Shuang, Dejun Wang, Chin-Tser Huang, Liu Qin, and Xudong He

Subjects
Model extraction, Authentication, Thesaurus (information retrieval), SubPython, General Computer Science, Computer science, business.industry, Distributed computing, General Engineering, Cryptographic protocol, Formal methods, Internet security, SubJavaScript, ProVerif, General Materials Science, formal method, Security protocol implementations, model extraction, lcsh:Electrical engineering. Electronics. Nuclear engineering, business, Implementation, lcsh:TK1-9971
Abstract

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.

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results