| 一种基于语义的安全协议形式化模型 |
| |
| 引用本文： | 韩继红,范钰丹,王亚弟,郭渊博.一种基于语义的安全协议形式化模型[J].计算机科学,2009,36(2):114-118. |
| |
| 作者姓名： | 韩继红 范钰丹 王亚弟 郭渊博 |
| |
| 作者单位： | 信息工程大学电子技术学院,郑州,450004 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家自然科学基金 |
| |
| 摘 要： | 在分析实际网络环境中安全协议的运行特点之后,提出了安全协议建模分析的两点基本假设.在此基础上,提出了一种基于语义的安全协议形式化模型,具体包括基于角色事件的协议静态描述模型和基于运行状态的协议动态执行模型,给出了模型的基本语法及形式语义,明确了模型推理过程中涉及到的一些关键性概念,并以简化的NSL协议为例进行了说明,为实现自动化验证打下了必要的基础.
|
| 关 键 词： | 安全协议 形式化分析 模型 语义 |
| 收稿时间： | 2008/3/20 0:00:00 |
Semantics Based Formal Model for Security Protocols |
| |
| HAN Ji-hong,FAN Yu-dan,WANG Ya-di,GUO Yuan-bo.Semantics Based Formal Model for Security Protocols[J].Computer Science,2009,36(2):114-118. |
| |
| Authors: | HAN Ji-hong FAN Yu-dan WANG Ya-di GUO Yuan-bo |
| |
| Affiliation: | Institute of Electronic Technology;Information Engineering University;Zhengzhou 450004;China |
| |
| Abstract: | |
| |
| Keywords: | Security protocol Formal analysis Model Semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
