Results 191 to 200 of about 5,154 (217)

Hidden assumptions in cryptographic protocols

IEE Proceedings E: Computers and Digital Techniques, 1990
C Boyd
exaly  

Security and Composition of Multiparty Cryptographic Protocols

Journal of Cryptology, 2000
Ran Canetti, Canetti Ran
exaly  

Verification of cryptographic protocols: tagging enforces termination

Theoretical Computer Science, 2005
Bruno Blanchet
exaly  

Secrecy of cryptographic protocols under equational theory

Knowledge-Based Systems, 2009
Hamido Fujita
exaly  

QoP-ML: Quality of protection modelling language for cryptographic protocols

Computers and Security, 2012
Bogdan Ksiezopolski
exaly  

Cryptographic Protocol

This paper is a concise introduction to the vast field of cryptographic protocol. It contains a compressed description of some basic cryptographic protocols: oblivious transfer schemes, commitment schemes, zero knowledge proofs and interactive bit generation.
openaire   +1 more source

Sequential rationality in cryptographic protocols

ACM Transactions on Economics and Computation, 2013
Ronen Gradwohl
exaly  

Cryptographic Protocols

2005
  +4 more sources

Cryptographic protocols

2002
Hans Delfs, Helmut Knebl
openaire   +2 more sources

Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols

Science of Computer Programming, 2004
Catherine Meadows
exaly