Results 211 to 220 of about 66,776 (234)

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, Hanane Houmani
exaly  

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

Computers and Security, 2012
Bogdan Księżopolski
exaly  

Cryptographic Protocols

2005
  +4 more sources

Sequential rationality in cryptographic protocols

ACM Transactions on Economics and Computation, 2013
Ronen Gradwohl, Alon Rosen
exaly  

Cryptographic Protocols

2009
openaire   +1 more source

Cryptographic Protocol

2012
Ling Dong, Kefei Chen
openaire   +1 more source

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

Science of Computer Programming, 2004
Catherine Meadows
exaly  

Transducer-based analysis of cryptographic protocols

Information and Computation, 2007
Ralf Kusters, Thomas Wilke
exaly  

Cryptographic Protocols

2011
openaire   +1 more source