Protocol composition logic - PDFSEARCH.IO - Document Search Engine

Protocol composition logic
Results: 16

#	Item
1	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
2	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: www.andrew.cmu.edu Language: English - Date: 2016-04-07 02:02:11
3	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Logic Mathematics Abstraction Formal languages Mathematical logic Linear temporal logic Temporal logic Automated theorem proving Propositional calculus Substitution IP Interpretation
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	A. Datta et al. / Protocol Composition Logic 1 Protocol Composition Logic Anupam DATTA a , John C. MITCHELL b , Arnab ROY b and Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:08 Cryptography Protocol composition logic Authentication protocols BurrowsAbadiNeedham logic Communications protocol Kerberos Public-key cryptography Cryptographic protocol
6	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
7	PDF Document Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:13 Cryptography Public-key cryptography Ciphertext indistinguishability DolevYao model Cryptographic protocol Digital signature Protocol composition logic Cryptographic primitive XTR Commitment scheme Index of cryptography articles
8	PDF Document Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Cryptography Public-key cryptography Protocol composition logic Automated theorem proving Cryptographic protocols Substitution Digital signature Communications protocol Transport Layer Security
9	Secrecy Analysis in Protocol Composition Logic Arnab ROY a , Anupam DATTA b , Ante DEREK c , John C. MITCHELL a , and Jean-Pierre SEIFERT d a Stanford University, USA Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:16
10	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-05-03 19:17:14 Temporal logic Model theory Propositional calculus Mathematical logic Interpretation Substitution Well-formed formula Logic Formal languages Linear temporal logic