Secure protocol composition (extended abstract)

相似書籍

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