Janica Edmonds, Mauricio Papa. Cryptographic Protocol Analysis using Goal Extraction. In International Conference on Information Technology: Coding and Computing (ITCC 04), Volume 1, April 5-7, 2004, Las Vegas, Nevada, USA. pages 75-80, IEEE Computer Society, 2004. [doi]
Abstract is missing.