Login / Signup
A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.
Véronique Cortier
Ralf Küsters
Bogdan Warinschi
Published in:
ESORICS (2007)
Keyphrases
</>
security properties
formal model
cryptographic protocols
software engineering
end to end