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

Benzer Materyaller

• Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
  Yazar:: Lowe, G
  Baskı/Yayın Bilgisi: (1996)
• An Attack on the Needham−Schroeder Public−Key Authentication Protocol
  Yazar:: Lowe, G
  Baskı/Yayın Bilgisi: (1995)
• Analyzing a Library of Security Protocols using Casper and FDR
  Yazar:: Donovan, B, ve diğerleri
  Baskı/Yayın Bilgisi: (1999)
• Modelling and verifying key−exchange protocols using CSP and FDR
  Yazar:: Roscoe, A
  Baskı/Yayın Bilgisi: (1995)
• Casa Schroeder
  Yazar:: Theodor Brown
  Baskı/Yayın Bilgisi: (1994-06-01)