A Security Analysis Method for Security Protocol Implementations Based on Message Construction

Security protocols are integral to the protection of cyberspace against malicious attacks. Therefore, it is important to be confident in the security of a security protocol. In previous years, people have worked on security of security protocol abstract specification. However, in recent years, peopl...

Full description

Bibliographic Details

Published in:	Applied Sciences
Main Authors:	Jintian Lu, Lili Yao, Xudong He, Chintser Huang, Dejun Wang, Bo Meng
Format:	Article
Language:	English
Published:	MDPI AG 2018-12-01
Subjects:	protocol security security protocol implementation messages construction API tracing abstract model
Online Access:	https://www.mdpi.com/2076-3417/8/12/2543