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)