Secure protocol composition (extended abstract)

Podobné jednotky

• Secure protocol composition
  Autor: Datta, A, a další
  Vydáno: (2003)
• Abstraction and refinement in protocol derivation
  Autor: Datta, A, a další
  Vydáno: (2004)
• A derivation system and compositional logic for security protocols
  Autor: Datta, A, a další
  Vydáno: (2005)
• A derivation system for security protocols and its logical formalization
  Autor: Datta, A, a další
  Vydáno: (2003)
• Weakest Link: Security in Human−Interactive Security Protocols − Extended abstract
  Autor: Kainda, R
  Vydáno: (2008)