HTTPsec

#	Item
1	Operating Systems R. Stockton Gaines Editor Add to Reading List Source URL: cs.unc.edu Language: English - Date: 2003-01-28 10:15:54 Key HTTPsec Transport Layer Security Cryptography Cryptographic protocols Public-key cryptography
2	Prototype PKD Interface Specification 2nd Edition 2 March 2005 Add to Reading List Source URL: www.nmda.or.jp Language: English - Date: 2005-03-08 00:24:37 Internet standards Internet Cryptographic protocols Secure communication Directory services Cipher suite Lightweight Directory Access Protocol Transport Layer Security HTTPsec Internet protocols Computing Data
3	Using SPIN to Verify Security Properties of Cryptographic Protocols Paolo Maggi and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di Torino Corso Duca degli Abruzzi 24, I[removed]Torino, ITALY maggi@athena. Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Information Needham–Schroeder protocol Cryptographic nonce Promela Public-key cryptography Communications protocol Transmission Control Protocol Otway–Rees protocol HTTPsec Cryptographic protocols Data Cryptography
4	Operating Systems Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2002-03-20 14:16:57 Key HTTPsec Transport Layer Security Cryptography Cryptographic protocols Public-key cryptography