Sreekanth Malladi, Gurdeep S. Hura. What is the best way to prove a cryptographic protocol correct?. In 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008. pages 1-7, IEEE, 2008. [doi]
Abstract is missing.