A derivation system for security protocols and its logical formalization

Gelijkaardige items

• A derivation system and compositional logic for security protocols
  door: Datta, A, et al.
  Gepubliceerd in: (2005)
• Secure protocol composition
  door: Datta, A, et al.
  Gepubliceerd in: (2003)
• Abstraction and refinement in protocol derivation
  door: Datta, A, et al.
  Gepubliceerd in: (2004)
• Secure protocol composition (extended abstract)
  door: Datta, A, et al.
  Gepubliceerd in: (2003)
• Derivation of the JFK protocol
  door: Datta, A, et al.
  Gepubliceerd in: (2002)