基于PVS的密码协议形式化规范

• 作者: 吕述望 沈昌祥 胡成军 郑援
• 来源期刊: 中国科学院研究生院学报
• 学科: 工学
• 关键词: 密码协议 形式化规范 PVS
• 年，卷（期）: 2002,（3）
• 页码范围: 233-239
• 页数: 7页
• 分类号: TP309
• 字数: 1072字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-1175.2002.03.003

摘要

给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想加密系统.重要的结构如消息、事件、协议规则等都通过语义编码方式定义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕述望	中国科学院研究生院信息安全国家重点实验室	71	708	14.0	24.0
2	沈昌祥		85	1836	20.0	41.0
3	胡成军	中国科学院研究生院信息安全国家重点实验室	3	22	2.0	3.0
7	郑援		29	116	7.0	9.0