Data independent verification of crypto−protocols

Míreanna comhchosúla

• Automating Data Independence
  de réir: Broadfoot, P, et al.
  Foilsithe / Cruthaithe: (2000)
• Automating Data Independence
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (2000)
• Proving security protocols with model checkers by data independence techniques
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (1999)
• The perfect spy for model−checking crypto−protocols
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (1997)
• Capturing parallel attacks within the data independence framework
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (2002)