Integrating Logics and Process Calculi for Cryptographic Protocol Analysis.

Mauricio Papa Oliver Bremer John Hale Sujeet Shenoi

Published in: SEC (2003)

Keyphrases

cryptographic protocols
real time
data model
response time
conditional logic