Janica Edmonds Mauricio Papa Cryptographic Protocol Analysis using Goal Extraction. 75-80 2004 conf/itcc/2004-1 ITCC (1) http://csdl.computer.org/comp/proceedings/itcc/2004/2108/01/210810075abs.htm db/conf/itcc/itcc2004-1.html#EdmondsP04