作者：解颜铭 石曙东 翁艳琴安全协议串空间认证性机密性
摘要：串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otway-Rees协议满足其安全目标,是安全可行的。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《信息通信》（CN：42-1739/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《信息通信》1996年获邮电部科技期刊一等奖；1998年获全国优秀科技期刊三等奖；多次被评为湖北省优秀科技期刊。
省级期刊
人气 653476 评论 60
部级期刊
人气 444409 评论 71
人气 226948 评论 66
人气 222199 评论 68
