Proving security protocols with model checkers by data independence techniques

Samankaltaisia teoksia

• Proving security protocols with model checkers by data independence techniques
  Tekijä: Roscoe, A
  Julkaistu: (1998)
• Data independent verification of crypto−protocols
  Tekijä: Roscoe, A, et al.
  Julkaistu: (2000)
• Automating Data Independence
  Tekijä: Broadfoot, P, et al.
  Julkaistu: (2000)
• Automating Data Independence
  Tekijä: Roscoe, A, et al.
  Julkaistu: (2000)
• Capturing parallel attacks within the data independence framework
  Tekijä: Roscoe, A, et al.
  Julkaistu: (2002)