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

• 作者: 何成 王尚平 王晓峰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 密码协议 形式化逻辑语言 SET协议 可追究性
• 年，卷（期）: 2003,（30）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 182-185
• 页数: 4页
• 分类号: TP309
• 字数: 4211字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.30.059

摘要

提出了一种分析密码协议的新逻辑.针对信息安全的需要,给出了一套与加解密、签名等密码学操作有关的构造和推理规则,举例说明此逻辑在分析密码协议中的应用,并讨论了需要进一步研究的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王尚平	西安理工大学应用数学系	70	474	12.0	17.0
2	王晓峰	西安理工大学应用数学系	76	791	16.0	26.0
3	何成	西安理工大学应用数学系	5	104	3.0	5.0