NeedhamSchroeder protocol - PDFSEARCH.IO - Document Search Engine

NeedhamSchroeder protocol
Results: 8

#	Item
1	A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:52 Cryptography Applied mathematics Computer security Advantage Provable security Cryptographic protocol Data Encryption Standard DolevYao model NeedhamSchroeder protocol
2	JuneEncryption as an Abstract Datatype: an extended abstract Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2004-12-05 23:21:27 Authentication protocols Symmetric-key cryptography NeedhamSchroeder protocol Communications protocol Logic Security protocol notation
3	Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon Microsoft Research Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:44 Cryptography Public-key cryptography Authentication protocols Symmetric-key cryptography NeedhamSchroeder protocol Cryptographic nonce Digital signature XTR Cryptographic protocol Challengeresponse authentication Security protocol notation NeumanStubblebine protocol
4	Journal of Computer Security–482 IOS Press 423 A derivation system and compositional logic Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Cryptography Cryptographic protocols Public-key cryptography Internet protocols DiffieHellman key exchange NeedhamSchroeder protocol Communications protocol Key exchange Protocol composition logic Interlock protocol
5	Secrecy Analysis in Protocol Composition Logic? Arnab Roy1 , Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Jean-Pierre Seifert2 1 2 Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:15 Authentication protocols Symmetric-key cryptography Computer network security IP Kerberos NeedhamSchroeder protocol Cryptography
6	Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon Microsoft Research Cambridge, UK Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:15 Cryptography Public-key cryptography Authentication protocols Symmetric-key cryptography NeedhamSchroeder protocol Cryptographic nonce XTR Digital signature Subtyping Security protocol notation
7	PDF Document Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:38 Authentication protocols Symmetric-key cryptography NeedhamSchroeder protocol Cryptographic protocol