非对称环境下安全协议组件的安全属性分析
文章定义了基本消息和基件的概念,将不同的基件适当复合后得到了非对称环境下的若干组件,并运用BAN类逻辑对这些组件具有何种安全属性进行了形式化的分析.经分析后得到的具有特殊安全属性的组件,在满足协议需求的同时,从底层开始保证了协议能够达到预期的安全目标,为一种模块化的安全协议设计方法奠定了基础.
计算机网络 安全协议 缺陷分析 非对称环境
邓帆 邓少锋 李益发
信息工程大学信息工程学院
国内会议
敦煌
中文
322-328
2009-09-01（万方平台首次上网日期，不代表论文的发表时间）