对称环境下安全协议组件的安全属性分析

摘要：

文章基于一种模块化的安全协议设计方法,定义了基本消息和基件的概念后,从研究安全协议的基件开始,将不同的基件适当复合后可得到具有特殊安全属性的组件,并运用BAH类逻辑对这些组件进行了形式化的分析,这些具有特殊安全属性的组件,在满足协议需求的同时,从底层开始保证了协议能够达到预期的安全目标,为安全协议的设计奠定了基础.

关键词： 安全协议 对称环境 BAN类逻辑 软件组件 需求分析

作者: 邓帆 邓少锋 李益发

作者单位: 信息工程大学,信息工程学院,河南,郑州,450002

会议类型: 国内会议

会议名称: 第十一届保密通信与信息安全现状研讨会

会议地点: 厦门

会议语种:中文

页码: 141-144

在线出版日期: 2009-08-01（万方平台首次上网日期，不代表论文的发表时间）