基于结构化操作语义的安全协议分析框架研究

• 作者: 董荣胜 钱俊彦 高三海
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 安全协议 形式化方法 分析框架 操作语义
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 101-104,176
• 页数: 5页
• 分类号: TP3
• 字数: 5881字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2007.08.027

摘要

操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义.最后,以经典的Needham Schroeder Lowe 协议为例,用该分析框架分析了其机密性和认证性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学计算机系	86	238	9.0	10.0
2	董荣胜	桂林电子科技大学计算机系	115	1521	13.0	37.0
3	高三海	桂林电子科技大学计算机系	4	1	1.0	1.0