Mauricio Papa Oliver Bremer Stephen Magill John Hale Sujeet Shenoi Simulation and Analysis of Cryptographic Protocols. 89-100 2000 conf/dbsec/2000 DBSec db/conf/dbsec/dbsec2000.html#PapaBMHS00