×

WAPI密钥管理协议的PCL证明

消耗积分:0 | 格式:rar | 大小:223 | 2009-11-24

分享资料个

该文利用协议合成逻辑(PCL)，对WAPI 密钥管理协议进行了模块化正确性证明。首先，分析了相对独立的单播密钥协商与组播密钥通告协议，在满足一定的工作环境下，证明其分别具有SSA 与KS 特性，且与协议的实体与会话个数无关；接着，根据顺序合成规则与阶段合成定理，由于参与协议运行的实体避免了基于同一BK担当AE 和ASUE 两种角色，且每个子协议的运行都不干扰或不破坏其他子协议的环境条件，故WAPI 密钥管理
协议具有所需的安全属性，达到协议设计目标。
下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !