| 密码协议的一种安全模型 |
| 其他题名 | a host-based anomaly intrusion detection model based on genetic programming
|
| 刘怡文; 李伟琴; 冯登国
|
| 2003
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 14期号:6页码:1148-1156 |
| 摘要 | 将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证. |
| 关键词 | 协议验证
安全模型
模型检查
组合推理
|
| 部门归属 | 信息安全国家重点实验室
|
| 语种 | 英语
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/1721
|
| 专题 | 信息安全国家重点实验室
|
推荐引用方式
GB/T 7714 |
刘怡文,李伟琴,冯登国. 密码协议的一种安全模型[J]. 软件学报,2003,14(6):1148-1156.
|
| APA |
刘怡文,李伟琴,&冯登国.(2003).密码协议的一种安全模型.软件学报,14(6),1148-1156.
|
| MLA |
刘怡文,et al."密码协议的一种安全模型".软件学报 14.6(2003):1148-1156.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论