Login / Signup

A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.

Véronique CortierRalf KüstersBogdan Warinschi
Published in: ESORICS (2007)
Keyphrases
  • security properties
  • formal model
  • cryptographic protocols
  • software engineering
  • end to end