Results 221 to 230 of about 684,168 (248)

Cryptographic protocols

2002
Hans Delfs, Helmut Knebl
openaire   +2 more sources

Hidden assumptions in cryptographic protocols

IEE Proceedings E: Computers and Digital Techniques, 1990
C Boyd
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  

Security and Composition of Multiparty Cryptographic Protocols

Journal of Cryptology, 2000
Ran Canetti
exaly  

Steganography and collusion in cryptographic protocols.

2006
Steganography, the hiding of covert messages inside innocuous communication, is an active area of cryptographic research. Recent research has shown that provably undetectable steganography is possible in a wide variety of settings. We believe that the existence of such undetectable steganography will have far reaching implications.
openaire   +1 more source

Prudent engineering practice for cryptographic protocols

IEEE Transactions on Software Engineering, 1996
M Abadi
exaly  

Cryptographic Protocols

2005
  +4 more sources

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

Computers and Security, 2012
Bogdan Ksiezopolski
exaly  

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

Science of Computer Programming, 2004
Catherine Meadows
exaly