Proving security protocols with model checkers by data independence techniques

مواد مشابهة

• Proving security protocols with model checkers by data independence techniques
  حسب: Roscoe, A
  منشور في: (1998)
• Data independent verification of crypto−protocols
  حسب: Roscoe, A, وآخرون
  منشور في: (2000)
• Automating Data Independence
  حسب: Broadfoot, P, وآخرون
  منشور في: (2000)
• Automating Data Independence
  حسب: Roscoe, A, وآخرون
  منشور في: (2000)
• Capturing parallel attacks within the data independence framework
  حسب: Roscoe, A, وآخرون
  منشور في: (2002)