Results 131 to 140 of about 1,801,560 (284)

Language, Semantics, and Methods for Cryptographic Protocols

, 2000
Federico Crazzolara, Glynn Winskel
openalex   +2 more sources

Applications of Term Rewriting to Cryptographic Protocol Analysis (overview of the invited talk)

, 2000
Jonathan K. Millen
openalex   +1 more source

Quantum cryptographic three party protocols

, 2000
Joern Mueller-Quade, Hiroyuki Imai
openalex   +2 more sources

Coherent-pulse implementations of quantum cryptography protocols resistant to photon-number-splitting attacks [PDF]

, 2004
Antonio Acín, Nicolas Gisin, Valerio Scarani   +2 more
openalex   +1 more source

Process Algebraic Analysis of Cryptographic Protocols

, 2000
Michele Boreale, Rocco De Nicola, Rosario Pugliese   +2 more
openalex   +1 more source

FEASIBILITY OF THE INTERLOCK PROTOCOL AGAINST MAN-IN-THE-MIDDLE ATTACKS ON QUANTUM CRYPTOGRAPHY [PDF]

, 2005
Karl Svozil
openalex   +3 more sources

SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC

Advanced Engineering Research, 2012
The idea of analyzing cryptographic key generation protocols through BAN - logic methods is considered. An e xample of Kerberos protocol analysis is given. The software tool that automates the analysis of key g eneration protocols is built.
Nadezhda S. Mogilevskaya
doaj  

On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract)

International Conference on the Theory and Application of Cryptographic Techniques, 1997
D. Boneh, R. DeMillo, R. Lipton
semanticscholar   +1 more source

Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. [PDF]

Sci Rep
Li Q, Han J, Yuan L, Li X, Wang X.
europepmc   +1 more source

Intrusion detection system for V2X communication in VANET networks using machine learning-based cryptographic protocols. [PDF]

Sci Rep
Venkatasamy TK, Hossen MJ, Ramasamy G, Aziz NHBA.   +3 more
europepmc   +1 more source