Proving security protocols with model checkers by data independence techniques

অনুরূপ উপাদানগুলি

• Proving security protocols with model checkers by data independence techniques
  অনুযায়ী: Roscoe, A
  প্রকাশিত: (1998)
• Data independent verification of crypto−protocols
  অনুযায়ী: Roscoe, A, অন্যান্য
  প্রকাশিত: (2000)
• Automating Data Independence
  অনুযায়ী: Broadfoot, P, অন্যান্য
  প্রকাশিত: (2000)
• Automating Data Independence
  অনুযায়ী: Roscoe, A, অন্যান্য
  প্রকাশিত: (2000)
• Capturing parallel attacks within the data independence framework
  অনুযায়ী: Roscoe, A, অন্যান্য
  প্রকাশিত: (2002)