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

• 作者: 贾步忠 陈玉涛
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 密码协议 形式化验证 协议设计 SVD逻辑 通道
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 技术论文
• 页码范围: 21-24
• 页数: 4页
• 分类号: TN918.2
• 字数: 3728字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2005.05.006

摘要

给出了一个可用于密码协议形式化验证与设计的简单逻辑.该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾步忠		8	6	1.0	2.0
2	陈玉涛		11	15	3.0	3.0