一种新的安全通信协议安全性验证框架

• 作者: 吴剑 徐中伟 梅萌 谭渊
• 来源期刊: 计算机应用研究
• 关键词: 安全通信协议 安全性验证 标记迁移系统 组合可达分析
• 年，卷（期）: 2009,（10）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3888-3890,3917
• 页数: 4页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.10.083

摘要

将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性.采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架.最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	谭渊	同济大学电子与信息工程学院	2	5	2.0	2.0
3	梅萌	同济大学电子与信息工程学院	21	89	4.0	9.0
4	吴剑	同济大学电子与信息工程学院	18	120	7.0	9.0