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

谭渊; 徐中伟; 梅萌; 吴剑

首页> 中文期刊>计算机应用研究 >一种新的安全通信协议安全性验证框架

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用研究》|2009年第10期|3888-38903917|共4页
作者
谭渊; 徐中伟; 梅萌; 吴剑;
展开▼
作者单位

同济大学,电子与信息工程学院,上海,201804;

同济大学,电子与信息工程学院,上海,201804;

同济大学,电子与信息工程学院,上海,201804;

同济大学,电子与信息工程学院,上海,201804;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
安全通信协议; 安全性验证; 标记迁移系统; 组合可达分析;

相似文献

中文文献
外文文献
专利

1. 一种基于故障扩展SysML活动图的安全性验证框架研究 [J] . 仵志鹏 ,黄志球 ,王珊珊 . 计算机科学 . 2015,第007期
2. 一种新的双方认证密钥协商协议的安全性分析 [J] . 周四方 . 计算机应用 . 2011,第011期
3. 一种新的协议安全性分析方法 [J] . 胡建军 . 计算机工程 . 2009,第010期
4. 航空维修安全性评价的一种新模型 [J] . 樊虎 ,宋笔锋 ,韩斐 . 科学技术与工程 . 2008,第013期
5. 一种新的精神分裂症治疗药伊潘立酮安全性良好 [J] . . 药学进展 . 2008,第7期
6. 一种新的猪肺炎支原体活疫苗(VaxsafeR MHP)的安全性和效果 [C] . Youssef Abs EL-Osta ,徐静 . 第21届国际猪兽医协会大会IPVS2010 . 2010
7. 无人机通信协议的安全性研究 [A] . 李姝诺 . 2020

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

摘要

著录项

相似文献

相关主题

期刊订阅