安全协议的Rubin逻辑及其有色Petri网分析方法的研究和应用.pdf

Research and Application of Rubin Logic and Colored Petri Nets for Security Protocols Analysis Dissertation Submitted to Guizhou University for the Degree of Doctor of Philosophy By Yang Xu Supervised by Prof. Xiaoyao Xie April 2010 Dissertation to Guizhou University for the Ph.D Contents 摘摘 要要 1 摘摘 要要 Abstract 5 Chapter 1 Introduction 9 1.1 Background and Significance 10 1.2 Main Work and Innovations of the Thesis 12 1.3 Structure of the Thesis 13 Chapter 2 Security Protocols and Formal Methods 15 2.1 Basic Concept of Security Protocols 15 2.1.1 Definition of Security Protocols 15 2.1.2 A Model for Security Protocols 16 2.1.3 A Example of Security Protocols 17 2.2 Classification of Security Protocols 17 2.3 Security Properties of Security Protocols 18 2.4 Formal Methods of Security Protocols 19 2.4.1 Difficulty of Security Protocols Analysis 20 2.4.2 Formal Analysis Methods of Security Protocols 20 2.5 Conclusion 26 Chapter 3 Logic Analysis Methods of Security Protocols 27 3.1 BAN Logic 27 3.1.1 Basic Notations of BAN Logic 28 3.1.2 Rules of Inference of BAN Logic 29 3.1.3 Protocol Analysis with BAN Logic 31 3.2 Extensions to BAN Logic 32 3.2.1 GNY Logic 33 3.2.2 SVO Logic 33