Number of items: 2.
  
      Backes, Michael and Cervesato, Iliano and Jaggard, Aaron D and Scedrov, Andre and Tsay, Joe-Kai
    
(2011)
Cryptographically sound security proofs for basic and public-key Kerberos.
  
      International Journal of Information Security, 10 (2).
       pp. 107-134.
      
    
  
  
      Backes, Michael and Cervesato, Iliano and Jaggard, Aaron D and Scedrov, Andre and Tsay, Joe-Kai
    
(2006)
Cryptographically Sound Security Proofs for Basic and Public-key Kerberos.
  
This list was generated on Mon Nov  3 15:53:37 2025 CET.