一种用于密码协议形式化验证的简单逻辑  

A Logic for Formal Verification and Design of Cryptographic Protocols

作　　者：陈玉涛[1] 贾步忠[1] 

机构地区：[1]陕西财经职业技术学院,陕西咸阳712000

出　　处：《电子科技》2005年第5期21-24,共4页Electronic Science and Technology

摘　　要：给出了一个可用于密码协议形式化验证与设计的简单逻辑。该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理。This paper describes a logic which can be used in the verification and design of cryptographic protocols. The logic uses the notion of channels to express the generalization of communication links with various security properties. The nature of channels enables the protocols to be dealt with at a higher abstraction level than do most of the known logics.

关 键 词：密码协议 形式化验证 协议设计 SVD逻辑 通道 

分 类 号：TN918.2[电子电信—通信与信息系统]