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)