Reasoning about Cryptographic Protocols in Observational Theories.

Imen Zaabar Narjes Berregeb

Published in: ECBS (2007)

Keyphrases

cryptographic protocols
causal reasoning
standard model
security properties
authentication protocol
modal operators
smart card
encryption decryption
locally decodable codes