Partial Order Reductions for Security Protocol Verification

@inproceedings{Clarke2000PartialOR,
  title={Partial Order Reductions for Security Protocol Verification},
  author={Edmund M. Clarke and Somesh Jha and Wilfredo R. Marrero},
  booktitle={TACAS},
  year={2000}
}
In this paper we explore partial order reduction that make th e task of verifying cryptographic protocols more efficient. These reduction techniques have been implemented in our tool B RUTUS. Although we have implemented several reduction techniques in our tool B RUTUS, due to space restrictions in this paper we only focus on partial order reductions. Partial ord er reductions have proved very useful in the domain of model checking reactive s ystems. These reductions are not directly applicable… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…