基于PVS的密码协议形式化规范
文献类型：期刊论文
| 作者 | Zheng Yuan1; Hu Chengjun2; Lu Shuwang2; Shen Changxiang3 |
| 刊名 | 中国科学院研究生院学报
 |
| 出版日期 | 2002 |
| 卷号 | 19.0期号:003页码:233 |
| 关键词 | 密码协议 形式化规范 PVS 规范语言 规范方法 加密系统 语义编码方式 |
| ISSN号 | 1002-1175 |
| 英文摘要 | 给出用PVS对密码协议进行形式化规范的一种方法。该方法以高阶逻辑为规范语言，利用trace模型来描述协议的行为，并假设系统中存在强攻击者和理想加密系统。重要的结构如消息、事件、协议规则等都通过语义编码方式定义。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/34993]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。