The perfect ‘spy’ for model−checking cryptoprotocols

समान संसाधन

• The perfect spy for model−checking crypto−protocols
  द्वारा: Roscoe, A, और अन्य
  प्रकाशित: (1997)
• Execution Models for Choreographies and Cryptoprotocols
  द्वारा: Marco Carbone, और अन्य
  प्रकाशित: (2010-02-01)
• Watchdog transformations for property−oriented model checking
  द्वारा: Roscoe, A, और अन्य
  प्रकाशित: (2003)
• Watchdog Transformations for Property−Oriented Model−Checking
  द्वारा: Goldsmith, M, और अन्य
  प्रकाशित: (2003)
• Watchdog transformations for property−oriented model−checking
  द्वारा: Goldsmith, M, और अन्य
  प्रकाशित: (2003)