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)