一种基于语义的安全协议形式化模型

计算机科学 ›› 2009, Vol. 36 ›› Issue (2): 114-118.

一种基于语义的安全协议形式化模型

韩继红范钰丹王亚弟郭渊博

信息工程大学电子技术学院,郑州450004

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受863国家重点基金项目（2007AA01Z405）,国家自然科学基金（60503012）资助.

HAN Ji-hong ,FAN Yu-dan, WANG Ya-di, GUO Yuan-bo （Institute of Electronic Technology, Information Engineering University, Zhengzhou 450004, China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 在分析实际网络环境中安全协议的运行特点之后，提出了安全协议建模分析的两点基本假设。在此基础上，提出了一种基于语义的安全协议形式化模型，具体包括基于角色事件的协议静态描述模型和基于运行状态的协议动态执行模型，给出了模型的基本语法及形式语义，明确了模型推理过程中涉及到的一些关键性概念，并以简化的NSL协议为例进行了说明，为实现自动化验证打下了必要的基础。

关键词: 安全协议形式化分析模型语义

Abstract: Two basic hypotheses for security protocols analysis were proposed after the character of protocols in actual network was analyzed. Then a semantics based formal model for security protocols was proposed, which includes a role event based static protocol

Key words: Security protocol, Formal analysis,Model,Semantics

韩继红范钰丹王亚弟郭渊博. 一种基于语义的安全协议形式化模型[J]. 计算机科学, 2009, 36(2): 114-118. https://doi.org/

HAN Ji-hong ,FAN Yu-dan, WANG Ya-di, GUO Yuan-bo （Institute of Electronic Technology, Information Engineering University, Zhengzhou 450004, China）. [J]. Computer Science, 2009, 36(2): 114-118. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed