Institutional Repository
| 密码协议的一种安全模型 | |
| Alternative Title | a host-based anomaly intrusion detection model based on genetic programming |
| 刘怡文; 李伟琴; 冯登国 | |
| 2003 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 14Issue:6Pages:1148-1156 |
| English Abstract | 将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证. |
| Keyword | 协议验证 安全模型 模型检查 组合推理 |
| Department | 信息安全国家重点实验室 |
| Language | 英语 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1721 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation GB/T 7714 | 刘怡文,李伟琴,冯登国. 密码协议的一种安全模型[J]. 软件学报,2003,14(6):1148-1156. |
| APA | 刘怡文,李伟琴,&冯登国.(2003).密码协议的一种安全模型.软件学报,14(6),1148-1156. |
| MLA | 刘怡文,et al."密码协议的一种安全模型".软件学报 14.6(2003):1148-1156. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 200314061148.pdf（716KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment