Improving Automatic Verification of Security Protocols with XOR

Xihui Chen, Ton van Deursen, Jun Pang. Improving Automatic Verification of Security Protocols with XOR. In Karin Breitman, Ana Cavalcanti, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Volume 5885 of Lecture Notes in Computer Science, pages 107-126, Springer, 2009. [doi]

Abstract

Abstract is missing.