| 一种用于密码协议形式化验证的简单逻辑 |
| |
| 引用本文： | 陈玉涛,贾步忠. 一种用于密码协议形式化验证的简单逻辑[J]. 电子科技, 2005, 0(5): 21-24 |
| |
| 作者姓名： | 陈玉涛 贾步忠 |
| |
| 作者单位： | 陕西财经职业技术学院,陕西,咸阳,712000 |
| |
| 摘 要： | 给出了一个可用于密码协议形式化验证与设计的简单逻辑.该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理.
|
| 关 键 词： | 密码协议 形式化验证 协议设计 SVD逻辑 通道 |
| 修稿时间： | 2004-11-30 |
A Logic for Formal Verification and Design of Cryptographic Protocols |
| |
| Chen Yutao,Jia Buzhong. A Logic for Formal Verification and Design of Cryptographic Protocols[J]. Electronic Science and Technology, 2005, 0(5): 21-24 |
| |
| Authors: | Chen Yutao Jia Buzhong |
| |
| Abstract: | 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. |
| |
| Keywords: | Cryptographic Protocol formal verification protocol design SVD logic channels |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
