New Semantic Model for Authentication Protocols in ASMs

查看全文 作　　者：RuiXue Deng-[1]GuoFeng

机构地区：[1]StateKeyLaboratoryofInformationSecurity,InstituteofSoftware,TheChineseAcademyofSciencesBeijing100080,P.R.China

出　　处：《Journal of Computer Science & Technology》索引2004年第19卷第4期,共9页

基　　金：国家自然科学基金,国家高技术研究发展计划(863计划),国家重点基础研究发展计划(973计划),the Foundation for Extraordinary Young Researchers under 摘　　要：A new semantic model in Abstract State Model(ASM)for authentication protocols is presented.It highlights the Woo-Lam's ideas for authentication,which is the strongest one in Lowe's definition hierarchy for entity authentication.Apart from the flexible and natural features in forming and analyzing protocols inherited from ASM,the model defines both authentication and secrecy properties explicitly in first order sentences as invariants.The process of proving security properties with respect to an authentication protocol blends the correctness and secrecy properties together to avoid the potential flaws which may happen when treated separately.The security of revised Helsinki protocol is shown as a case study.The new model is different from the previous ones in ASMs. 关键词：ASM 密码协议形式分析抽象状态机鉴别规约语义模型

相关文献

参考文献（22）
引证文献（5）
耦合文献（0）

参考文献(22)

引证文献(5)

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

New Semantic Model for Authentication Protocols in ASMs

参考文献(22)

引证文献(5)

用户提示