密码协议分析的逻辑方法及其哲学意蕴  

Logical Methods in Analyzing Cryptographic Protocols and their Philosophical Implications

作　　者：程华清 

机构地区：[1]华东师范大学哲学系,上海200241

出　　处：《贵州工程应用技术学院学报》2017年第6期63-68,共6页Journal of Guizhou University Of Engineering Science

摘　　要：逻辑方法是密码协议分析中具有代表性的形式化方法。从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码协议分析上与经验方法和计算方法分别进行比较。通过这种比较,分析了类BAN逻辑方法在分析结论的全面性、可操作性方面所具有的优势以及在有效攻击的构造和分析结论可信度上的局限性,以及从参与分析的主体角度分析了类BAN逻辑方法在协议分析上的主体特征。除了这种比较分析,也试图在计算主义框架下提供类BAN逻辑方法应用于密码协议分析的哲学基础,并给出了方法论上的启示。Logical methods are typical formal methods in the analysis of cryptographic protocols. Based on the existing research results we treat BAN-like logic as the main object and compares logical methods with empirical and computational methods in the analysis of cryptographic protocols. This comparison includes the advantages of a comprehensive analysis of the protocols and practical operability on the one hand and the limi- tations for designing effective attacks and credibility of the analyzed conclusions on the other hand and it ana- lyzes the characteristics of BAN-like logical methods from the point of view of the agents who participate in analyzing the protocols. Besides this comparison we try to offer the philosophical foundations within the frame- work of computationalism for the reason why we can use BAN-like logical methods to analyze the cryptograph- gic protocols and gives a better understanding of the methodology.

关 键 词：类BAN逻辑 密码协议分析 计算主义 

分 类 号：B81[哲学宗教—逻辑学]