Login / Signup

Preservation of epistemic properties in security protocol implementations.

Ron van der MeydenThomas Wilke
Published in: TARK (2007)
Keyphrases
  • security protocols
  • security properties
  • computer systems
  • power consumption
  • belief change
  • security services
  • automated design