首页> 中文会议>2010年第四届中国可信计算与信息安全学术会议 >一种安全协议的规范化设计方法

一种安全协议的规范化设计方法

页面导航

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

摘要

提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标.至此,根据具体的应用背景选择合适的单步协议,按照组合规则组合后,便可得到满足需求的安全协议.该方法可将一个复杂协议分解为若干基于组件的简单单步协议,使得协议的设计与分析都易于实现.

著录项

来源
《2010年第四届中国可信计算与信息安全学术会议》|2010年|603-606|共4页
会议地点北京
作者
邓帆; 李益发; 张文政;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类安全保密;
关键词
安全协议; 规范化设计; 逻辑分析;

相似文献

中文文献
外文文献
专利

1. 一种新的安全协议设计方法 [J] . 王惠斌 ,马明山 ,常青美 . 河南科学 . 2008,第003期
2. 一种模块化的安全协议设计方法 [J] . 王娜 ,王亚弟 ,汪斌强 . 计算机工程 . 2006,第014期
3. 一种新的共享密钥安全协议设计方法 [J] . 华东明 ,侯紫峰 ,韦卫 . 计算机工程 . 2006,第011期
4. 一种安全协议的形式化设计方法 [J] . 李莉 ,张焕国 ,王张宜 . 计算机工程与应用 . 2006,第011期
5. 一种多接口协议弹性缓冲器优化设计方法 [J] . 樊仕超 ,贾一平 ,舒毅 . 电子设计工程 . 2021,第24期
6. 一种基于CK模型的安全协议设计方法 [C] . 卫剑钒 ,胡建斌 ,陈钟 . 第十四届中国计算机学会网络与数据通信学术会议 . 2004
7. 安全协议的形式化设计方法及应用研究 [A] . 李晓乐 . 2007

一种安全协议的规范化设计方法

摘要

著录项

相似文献

相关主题

期刊订阅