一种分析密码协议的新逻辑  

A New Logic for the Analysis of Cryptographic Protocols

作　　者：何成[1] 王尚平[1] 王晓峰[1] 

机构地区：[1]西安理工大学应用数学系,西安710048

出　　处：《计算机工程与应用》2003年第30期182-185,共4页Computer Engineering and Applications

基　　金：陕西省教育厅自然科学研究计划资助项目(编号:00JK266)

摘　　要：提出了一种分析密码协议的新逻辑。针对信息安全的需要,给出了一套与加解密、签名等密码学操作有关的构造和推理规则,举例说明此逻辑在分析密码协议中的应用,并讨论了需要进一步研究的问题。In this paper,a new logic is proposed for the analysis of cryptographic protocols.For the need of information security,a suite of framework and inferring rules are presented,which are concerning cryptographic operations,such as encryption,decryption,signature and so on.The application to analyzing cryptographic protocols is illustrated by examples,and some problems which need to be further studied are discussed.

关 键 词：密码协议 形式化逻辑语言 SET协议 可追究性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]