Institute of Computing Technology, Chinese Academy IR
| 基于PVS的密码协议形式化规范 | |
| Zheng Yuan1; Hu Chengjun2; Lu Shuwang2; Shen Changxiang3 | |
| 2002 | |
| 发表期刊 | 中国科学院研究生院学报
 |
| ISSN | 1002-1175 |
| 卷号 | 19.0期号:003页码:233 |
| 摘要 | 给出用PVS对密码协议进行形式化规范的一种方法。该方法以高阶逻辑为规范语言，利用trace模型来描述协议的行为，并假设系统中存在强攻击者和理想加密系统。重要的结构如消息、事件、协议规则等都通过语义编码方式定义。 |
| 关键词 | 密码协议 形式化规范 PVS 规范语言 规范方法 加密系统 语义编码方式 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/34994 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.Navy Submarine Academy 2.中国科学院 3.中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | Zheng Yuan,Hu Chengjun,Lu Shuwang,等. 基于PVS的密码协议形式化规范[J]. 中国科学院研究生院学报,2002,19.0(003):233. |
| APA | Zheng Yuan,Hu Chengjun,Lu Shuwang,&Shen Changxiang.(2002).基于PVS的密码协议形式化规范.中国科学院研究生院学报,19.0(003),233. |
| MLA | Zheng Yuan,et al."基于PVS的密码协议形式化规范".中国科学院研究生院学报 19.0.003(2002):233. |
| 条目包含的文件 | 条目无相关文件。 | |||||
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论