Design and Analysis of Security Protocols Based on SPALL Logic

Abstract

Related Dissertations

1. Research and Application on Security Authentication Technologies in Internet of Things,TN929.5
2. Design and Analysis of Some Security Protocols Based on CPK in Trusted Computing Environment,TP309
3. Design and Security Proof of Password Authenticated Key Exchange Protocols,TN918.2
4. GSM CSD channel encrypted voice - based real-time communication technology,TN912.3
5. Model-based Group Communication Security Analysis Techniques and Applications,TP393.08
6. Research on the Security Schemes of iSCSI Protocol,TP393.04
7. IPSec VPN System Design and Implementation Based on PKI and GRE,TP393.08
8. IKE CGA expansion of its kernel to achieve,TP393.08
9. IPSec-based VPN technology and its application,TP393.08
10. The Study and Application Improvement of IPSec VPN,TP393.1
11. IKE Protocol and Its Policies Resistant to the DoS Attack,TP393.08
12. A number of theoretical studies of the Internet network security and secure Web system design and implementation,TP393.08
13. Several Problems in Computational Number Theory,O156
14. Research of IKEv2 Based on Extensible Authentication Mechanism,TP393.08
15. Research and Realization of Internet Key Exchange Protocol on IPSec,TP393.08
16. Research and Design of IPSec and NAT to work problems,TP393.08
17. The Design and Implementation for Windows-based VPN,TN915.85
18. The Research for VPN System Based on IPSec and Improved Implement of IKE Protocol,TP393
19. The Analysis of IPSec Protocols and Study of Implementing IPSec under the Linux Platform,TP393.08
20. Research and Implementation of IKE protocol,TP393.08