Formalizing Physical Security Properties

類似資料

• Deriving authentication for pervasive security
  著者:: Pavlovic, D, 等
  出版事項: (2008)
• A derivation system for security protocols and its logical formalization
  著者:: Datta, A, 等
  出版事項: (2003)
• Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
  著者:: Pavlovic, D, 等
  出版事項: (2010)
• Deriving secrecy properties in key establishment protocols
  著者:: Pavlovic, D, 等
  出版事項: (2006)
• Formal derivation of concurrent garbage collectors
  著者:: Pavlovic, D, 等
  出版事項: (2010)