首页    期刊浏览 2025年07月04日 星期五
登录注册

文章基本信息

  • 标题:Formal Analysis of the Kerberos Authentication System
  • 本地全文:下载
  • 作者:Giampaolo Bella ; Elvinia Riccobene
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:1997
  • 卷号:3
  • 期号:12
  • 页码:1337-1381
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:The Gurevich's Abstract State Machine formalism is used to specify the well known Kerberos Authentication System based on the Needham-Schroeder authentication protocol. A complete model of the system is reached through stepwise refinements of ASMs, and is used as a basis both to discover the minimum assumptions to guarantee the correctness of the system and to analyse its security weaknesses. Each refined model comes together with a correctness refinement theorem.
国家哲学社会科学文献中心版权所有