Institutional Repository
| 密码协议的一种基于组合推理的模型验证 | |
| Alternative Title | model checking based on compositional reasoning for cryptographic protocols |
| 刘怡文; 李伟琴; 冯登国 | |
| 2003 | |
| Source | 通信学报
![]() |
| ISSN | 1000-436X |
| Volume | 24Issue:9Pages:122-127 |
| English Abstract | 将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证。1 |
| Indexed Type | CSCD |
| Keyword | 密码协议 形式化模型 组合推理 模型检查 |
| Department | 信息安全国家重点实验室 |
| Language | 中文 |
| CSCD ID | CSCD:1239696 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1964 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation GB/T 7714 | 刘怡文,李伟琴,冯登国. 密码协议的一种基于组合推理的模型验证[J]. 通信学报,2003,24(9):122-127. |
| APA | 刘怡文,李伟琴,&冯登国.(2003).密码协议的一种基于组合推理的模型验证.通信学报,24(9),122-127. |
| MLA | 刘怡文,et al."密码协议的一种基于组合推理的模型验证".通信学报 24.9(2003):122-127. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| model-checking-based(200KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment