Integrating Logics and Process Calculi for Cryptographic Protocol Analysis.

Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi

Browse the full SEC paper archive.