Searching for "Types for Cryptographic Protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

Types and Effects for Asymmetric Cryptographic Protocols
by Andrew Gordon, A. Jeffrey — 2002
…Types and Effects for Asymmetric Cryptographic Protocols Submitted to 2002 IEEE Computer Security…
Cited by 53 (7 self) – Add To MetaCart

Secrecy despite compromise: Types, cryptography, and the pi-calculus
by Andrew D. Gordon, Alan Jeffrey — 2005 — In CONCUR’05: Concurrency Theory
… of security levels. Abadi’s original system [1] of secrecy types for cryptographic protocols, and its…
Cited by 18 (4 self) – Add To MetaCart

Some Applications of Coding Theory in Computational Complexity
by Luca Trevisan — 2004
…. They are related to private information retrieval (a type of cryptographic protocol) , and they are used in average…
Cited by 31 (2 self) – Add To MetaCart

Universidad de Málaga Local Organizing Commitee:
by Rance Cleavel, Hubert Garavel (eds, María Del Mar Gallardo, Pablo López, Jesús Martínez, Pedro Merino Foreword — 2002
… investigates in authenticity types for cryptographic protocols and Wang Yi, who addresses the issue…
Add To MetaCart

What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal
by Catherine Meadows — 2003 — in Formal Cryptographic Protocol Analysis. Proc. ESOP, Springer LNCS 2618
…What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal…
Cited by 3 (0 self) – Add To MetaCart

A Sufficient Condition for Secure Ping-Pong Protocols
by Masao Mori — 2001
…, Even and Karp [4], however it is aimed at a simple type of cryptographic protocols, called ping…
Add To MetaCart

A cryptographic solution to a game theoretic problem
by Yevgeniy Dodis, Shai Halevi, Tal Rabin — 2000 — In CRYPTO 2000: 20th International Cryptology Conference
… for the types of cryptographic protocols that we need. Extended Games. To remove the mediator, we assume…
Cited by 28 (0 self) – Add To MetaCart

Another Look at “Provable Security
by Neal Koblitz, Alfred J. Menezes — 2004
… set of instructions (called a “protocol”) in order to accomplish a cryptographic objective. Throughout…
Cited by 30 (4 self) – Add To MetaCart

Design, Implementation and Deployment of a Secure Account-Based Electronic Payment System
by M. Bellare, Mihir Bellare, R. Hauser, A. Herzberg, H. Krawczyk, J. Garay, G. Tsudik, E. van Herreweghen, M. Steiner, Gene Tsudik, Els Van Herreweghen, M. Waidner — 1999 — IEEE Journal on Selected Areas in Communications
… other but used more or less the same type of cryptographic protocols. From 1994 to 1996 an almost…
Cited by 3 (1 self) – Add To MetaCart

Proving Correctness of the Basic TESLA Multicast Stream Authentication Protocol with TAME
by Myla Archer — 2002 — In Workshop on Issues in the Theory of Security
… is distinguished from other types of cryptographic protocols in both its key management scheme and its use…
Cited by 11 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB