Formalizing Physical Security Properties

相似书籍

• Deriving authentication for pervasive security
  由: Pavlovic, D, et al.
  出版: (2008)
• A derivation system for security protocols and its logical formalization
  由: Datta, A, et al.
  出版: (2003)
• Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
  由: Pavlovic, D, et al.
  出版: (2010)
• Deriving secrecy properties in key establishment protocols
  由: Pavlovic, D, et al.
  出版: (2006)
• Formal correctness of security protocols /
  由: 275596 Bella, Giampaolo
  出版: (2007)