基于串空间认证测试的DTLS协议认证性分析

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长，同时安全要求及攻击方式的多样化对网络安全协议的效率和准确性提出了更高的要求。通过对各种协议安全性分析方法进行研究，采用串空间方法对DTLS协议进行形式化建模，进而采用认证测试方法进行协议认证性证明，用简明清晰的方式验证DTLS协议的认证性，保障了数据传输的安全。

Analysis on DTLS Protocol Authentication Based on Strand Space Authentication Test

The popularization and development of network communication make the demands of network protocol, especially security protocol, increase significantly. At the same time, the diversification of security requirements and attack modes require higher efficiency and accuracy of network security protocol. This paper studies various protocol security analysis methods, implements the formal modeling for DTLS protocol by strand space method, certifies the protocol authentication by authentication test method, and verifies the authentication of DTLS protocol through concise and clear way to ensure the security of data transmission.