Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.

Peter Csaba Ölveczky Martin Grimeland

Published in: IPDPS (2007)

Keyphrases

formal analysis
cryptographic protocols
real time
formal methods
ban logic
low cost
standard model
agent model
query processing
data distribution
formal specification
encryption decryption