The perfect spy for model−checking crypto−protocols

相似書籍

• The perfect ‘spy’ for model−checking cryptoprotocols
  由: Roscoe, A, et al.
  出版: (1997)
• Data independent verification of crypto−protocols
  由: Roscoe, A, et al.
  出版: (2000)
• Model checking cryptographic protocols subject to combinatorial attack.
  由: Roscoe, T, et al.
  出版: (2011)
• Watchdog transformations for property−oriented model checking
  由: Roscoe, A, et al.
  出版: (2003)
• Model checking cryptographic protocols subject to combinatorial attack
  由: Roscoe, A, et al.
  出版: (2012)