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

第十一届“保密通信与信息安全现状研讨会” 对称环境下安全协议组件的安全属性分析 邓 帆， 邓少锋， 李益发 (信息工程大学信息工程学院，河南郑州450002) 【摘要】文章基于一种模块化的安全协议设计方法，定义了基本消息和基件的概念后，从研究安全协议的基件开始，将 不同的基件适当复合后可得到具有特殊安全属性的组件，并运用BAH类逻辑对这些组件进行了形式化的分析．这些具有特殊安 全属性的组件，在满足协议需求的同时，从底层开始保证了协议能够达到预期的安全目标，为安全协．议的设计奠定了基础． 【关键词】安全协议；设计；逻辑分析；BAN类逻辑；组件 【中图分类号】TP309 【文献标识码】A on of Protocol Attribute AnalysisSecurity Security Components in Environment Symmetric DENG Yi—fa Fan，DENG Shao—feng，LI ofInformation Henan450002。China) (College Engineering，InformationEngineeringUniversity，Zhengzhou amodule—basedto secure the [Abstract】Thispaperpresents approachdesigningprotoc01．Afterdefining the the ofbasecases．Some of basic andbasecasesin protocol，this study components messages paperbegins attributescouldbeobtained thedifferentkindsofbase specialsecurity throughcompounding cases．Meanwhile， the theBAN一1ikeisusedto those startfrom bottom logic formallYanalyzecomponents．Thosespecialcomponents ofthe whilemeettheneedsofthe toensurethesafetygoals protocol protoc01．Thosesecuritycomponentslay a foundationforthe of designsecurityprotoc01． [Keywords]securityprotocol：design：logicalanalysis：BAN—likeLogic；components O引言 个用于协议导出的形式化框架，能够从简单的协议成分出发 安全协议是网络安全的一个重要组成部分，我们需