Planning Attacks to Security Protocols: Case Studies in Logic Programming

详细信息    查看全文

• 作者：Luigia Carlucci Aiello ; Fabio Massacci
• 刊名：Lecture Notes in Computer Science
• 出版年：2002
• 出版时间：2002
• 年：2002
• 卷：2407
• 期：1
• 页码：113-169
• 全文大小：320.9 KB

文摘

Formal verification of security protocols has become a key issue in computer security. Yet, it has proven to be a hard task often error prone and discouraging for non-experts in formal methods. In this paper we show how security protocols can be specified and verified efficiently and effectively by embedding reasoning about actions into a logic programming language.