Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR

類似資料

• Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
  著者:: Lowe, G
  出版事項: (1996)
• An Attack on the Needham−Schroeder Public−Key Authentication Protocol
  著者:: Lowe, G
  出版事項: (1995)
• Modelling and verifying key−exchange protocols using CSP and FDR
  著者:: Roscoe, A
  出版事項: (1995)
• Analyzing a Library of Security Protocols using Casper and FDR
  著者:: Donovan, B, 等
  出版事項: (1999)
• Recent developments in FDR
  著者:: Armstrong, P, 等
  出版事項: (2012)