| Over several years, there have been many delay-sensitive applications based onunreliable datagram transmission, including Internet calls, real-time video conferencingand online games, such as Startcraft and Quack. However, SSL/TLS protocol is securityprotocol base on TCP, and it does not support data transmission based on UDP. Sorealize Datagram TLS protocol and make it support security protocols based onUDP.become a research focus of network security.DTLS protocol and formal analysis methods of security protocals are researched inthis thesis, emphatically analyzes the hierarchical model of DTLS record layer andhandshake protocol layer, and on this basis, DTLS protocol is designed andimplemented with the Java-based package of PureTLS, and finally DTLS protocol isidentified with the authentication test method based on strand spaces model. Followingare the main work of the dissertation:(1) the theory of DTLS protocol is discussed,DTLS protocol hierarchical model are carried on detailed analysis from three aspects,including data integrity, confidentiality and authentication properties. DTLS handshakeprotocal and record layer protocol are mainly discussed.(2) DTLS protocol aredesigned and implemented with Java on the Linux platform, Testing DTLS protocalwith PureTLS toolbox. and the test results are analyzed in detail.(3) Strand spacesmodel and the authentication test method based on strand spaces model are discussed,and make use of authentication test method based on strand spaces model to validateDTLS. the results show that DTLS protocol client and server reach certification statuseach other. |