Skip to main content
Article thumbnail
Location of Repository

Partial Order Reductions for Security Protocol Verification

By Edmund Clarke, Somesh Jha and Will Marrero

Abstract

In this paper we explore partial order reduction that make the task of verifying cryptographic protocols more efficient. These reduction techniques have been implemented in our tool BRUTUS. Although we have implemented several reduction techniques in our tool BRUTUS, due to space restrictions in this paper we only focus on partial order reductions. Partial order reductions have proved very useful in the domain of model checking reactive systems. These reductions are not directly applicable in our context because of additional complications caused by tracking knowledge of various agents. We present partial order reductions in the context of verifying security protocols and prove their correctness. Experimental results showing the benefits of this reduction technique are also presented

Topics: Model checking, partial order reductions, and security
Publisher: Springer-Verlag
Year: 2000
OAI identifier: oai:CiteSeerX.psu:10.1.1.19.3626
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.aladdin.cs.cmu.edu/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.