Secure protocol composition (extended abstract)

Antzeko izenburuak

• Secure protocol composition
  nork: Datta, A, et al.
  Argitaratua: (2003)
• Abstraction and refinement in protocol derivation
  nork: Datta, A, et al.
  Argitaratua: (2004)
• A derivation system and compositional logic for security protocols
  nork: Datta, A, et al.
  Argitaratua: (2005)
• A derivation system for security protocols and its logical formalization
  nork: Datta, A, et al.
  Argitaratua: (2003)
• Weakest Link: Security in Human−Interactive Security Protocols − Extended abstract
  nork: Kainda, R
  Argitaratua: (2008)