密码协议的一种安全模型
文献类型：期刊论文
| 作者 | 刘怡文 ; 李伟琴 ; 冯登国 |
| 刊名 | 软件学报
 |
| 出版日期 | 2003 |
| 卷号 | 14期号:6页码:1148-1156 |
| 关键词 | 协议验证 安全模型 模型检查 组合推理 |
| ISSN号 | 1000-9825 |
| 其他题名 | a host-based anomaly intrusion detection model based on genetic programming |
| 中文摘要 | 将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证. |
| 语种 | 英语 |
| 公开日期 | 2010-05-26 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。