Login / Signup
Preservation of epistemic properties in security protocol implementations.
Ron van der Meyden
Thomas Wilke
Published in:
TARK (2007)
Keyphrases
</>
security protocols
security properties
computer systems
power consumption
belief change
security services
automated design