A compositional logic for proving security properties of protocols

相似書籍

• A compositional logic for protocol correctness
  由: Durgin, N, et al.
  出版: (2001)
• A derivation system and compositional logic for security protocols
  由: Datta, A, et al.
  出版: (2005)
• Proving Authentication Properties in the Protocol Derivation Assistant
  由: Anlauff, M, et al.
  出版: (2006)
• Secure protocol composition
  由: Datta, A, et al.
  出版: (2003)
• A derivation system for security protocols and its logical formalization
  由: Datta, A, et al.
  出版: (2003)