Results 201 to 210 of about 5,154 (217)

Cryptographic Protocols

2013
Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny   +2 more
openaire   +1 more source

Cryptographic Protocols

2009
openaire   +1 more source

Primitive Constituent Elements of Cryptographic Protocols

2018
Yuichi Gotō, Jingde Cheng
exaly  

Transducer-based analysis of cryptographic protocols

Information and Computation, 2007
Thomas Wilke, Ralf Kusters
exaly  

Card-Based Cryptographic Protocols with the Minimum Number of Cards Using Private Operations

Lecture Notes in Computer Science, 2019
Yoshifumi Manabe, Hibiki Ono, Manabe Yoshifumi   +2 more
exaly  

Cryptographic Protocols

2011
openaire   +1 more source

A symbolic decision procedure for cryptographic protocols with time stamps

The Journal of Logic and Algebraic Programming, 2005
Yassine Lakhnech
exaly  

Cryptographic Protocol

2012
Ling Dong, Kefei Chen
openaire   +1 more source

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning

2018
Yuichi Gotō, Jingde Cheng
exaly  

Privacy Preserving Cryptographic Protocols

2007
Keith Frikken, Mikhail Atallah
openaire   +1 more source