计算机科学 ›› 2007, Vol. 34 ›› Issue (8): 101-104.
• 软件工程与数据库技术 • 上一篇 下一篇
高三海 董荣胜 钱俊彦
出版日期:
发布日期:
基金资助:
GAO San-Hai, DONG Rong-Sheng, QIAN Jun-Yan （Department of Computer Science, Guilin University of Electronic Technology, Guilin 541004）
Online:
Published:
摘要： 操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义.最后,以经典的Needham Schroeder Lowe 协议为例,用该分析框架分析了其机密性和认证性.
关键词: 安全协议 形式化方法 分析框架 操作语义
Abstract: Operational semantics of security protocols is a new model for analyzing security protocols,which is based on operational semantics and combines many merits of the current models such as strand spaces model. Further Characteristics of the model is a strai
Key words: Security protocol, Formal method, Framework, Operational semantics
高三海 董荣胜 钱俊彦. 基于结构化操作语义的安全协议分析框架研究[J]. 计算机科学, 2007, 34(8): 101-104. https://doi.org/
GAO San-Hai, DONG Rong-Sheng, QIAN Jun-Yan （Department of Computer Science, Guilin University of Electronic Technology, Guilin 541004）. [J]. Computer Science, 2007, 34(8): 101-104. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2007/V34/I8/101
Cited
首页