Mauricio Papa Oliver Bremer John Hale Sujeet Shenoi Integrating Logics and Process Calculi for Cryptographic Protocol Analysis. 349-360 2003 conf/sec/2003 SEC db/conf/sec/sec2003.html#PapaBHS03