资料下载
×
WAPI密钥管理协议的PCL证明
消耗积分:3 |
格式:rar |
大小:223 |
2009-11-24
分享资料个
该文利用协议合成逻辑(PCL)，对WAPI 密钥管理协议进行了模块化正确性证明。首先，分析了相对独立的单播密钥协商与组播密钥通告协议，在满足一定的工作环境下，证明其分别具有SSA 与KS 特性，且与协议的实体与会话个数无关；接着，根据顺序合成规则与阶段合成定理，由于参与协议运行的实体避免了基于同一BK担当AE 和ASUE 两种角色，且每个子协议的运行都不干扰或不破坏其他子协议的环境条件，故WAPI 密钥管理
协议具有所需的安全属性，达到协议设计目标。
协议具有所需的安全属性，达到协议设计目标。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
