Proving security protocols with model checkers by data independence techniques

Podobne zapisy

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