Compositional Analysis of Authentication Protocols.

Michele Bugliesi Riccardo Focardi Matteo Maffei

Published in: ESOP (2004)

Keyphrases

real time
data analysis
computer systems
data distribution
information systems
cryptographic protocols