Results 91 to 100 of about 6,594 (201)

Universally composable security: a new paradigm for cryptographic protocols [PDF]

, 2001
Ran Canetti
openalex   +1 more source

Constraint solving for bounded-process cryptographic protocol analysis [PDF]

, 2001
Jonathan K. Millen, Vitaly Shmatikov
openalex   +1 more source

Divertible protocols and atomic proxy cryptography

, 1998
Matt Blaze, Gerrit Bleumer, Martin J. Strauss   +2 more
openalex   +1 more source

A Calculus for Cryptographic Protocols: The Spi Calculus

, 1999
Martı́n Abadi, Andrew D. Gordon
openalex   +1 more source

Enhancing security in IIoT: RFID authentication protocol for edge computing and blockchain-enabled supply chain

Cyber Security and Applications
This paper addresses security challenges, especially in the authentication mechanism of Industrial Internet of Things (IIoT)-enabled supply chain systems by proposing an enhanced Radio Frequency Identification (RFID) authentication protocol.
Vikash Kumar, Santosh Kumar Das
doaj  

Cryptographic key distribution and authentication protocols for secure group communication

, 1996
Andrew Hutchison, Kurt Bauknecht
openalex   +1 more source

On the Verification of Cryptographic Protocols

, 2000
Dieter Gollmann
openalex   +1 more source

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

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

Вестник Донского государственного технического университета, 2018
The possibility of using colored Petri nets for the analysis of key distribution cryptographic protocols as an example of symmetric Needham—Schroeder protocol is reviewed and evaluated.
Nadezhda S. Mogilevskaya, Sergey S. Kolchanov   +1 more
doaj