| 基于状态转移系统的安全协议形式模型 |
| |
| 引用本文： | 毛中全,刘楠,顾纯祥,祝跃飞.基于状态转移系统的安全协议形式模型[J].计算机工程,2008,34(13):149-151. |
| |
| 作者姓名： | 毛中全 刘楠 顾纯祥 祝跃飞 |
| |
| 作者单位： | 信息工程大学信息工程学院,郑州,450002 |
| |
| 摘 要： | 提出一种基于状态转移系统的安全协议模型，以Dolev-Yao攻击者模型为前提假设，以状态转移系统为框架，用语义编码的方式定义消息和事件，用重写关系定义协议规则，用事件的集合来描述协议的安全属性，并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述，且便于实现自动化分析。
|
| 关 键 词： | 安全协议 形式模型 状态转移系统 重写关系 Dolev-Yao攻击者模型 |
| 修稿时间： | |
Formal Model for Security Protocols Based on State Transition System |
| |
| MAO Zhong-quan,LIU Nan,GU Chun-xiang,ZHU Yue-fei.Formal Model for Security Protocols Based on State Transition System[J].Computer Engineering,2008,34(13):149-151. |
| |
| Authors: | MAO Zhong-quan LIU Nan GU Chun-xiang ZHU Yue-fei |
| |
| Affiliation: | (Institute of Information Engineering, Information Engineering University, Zhengzhou 450002) |
| |
| Abstract: | |
| |
| Keywords: | security protocols formal model state transition system rewrite relation Dolev-Yao intruder model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
