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)