Results 231 to 240 of about 1,862,454 (331)

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols

, 2004
Marco Bozzano, Giorgio Delzanno
openalex   +1 more source

Infinite State AMC-Model Checking for Cryptographic Protocols [PDF]

, 2007
Detlef Kähler, Ralf Küsters, Tomasz Truderung   +2 more
openalex   +1 more source

Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols

, 2004
Roberto M. Amadio
openalex   +1 more source

Multi blockchain architecture for judicial case management using smart contracts. [PDF]

Sci Rep
Alyas T, Abbas Q, Niazi S, Alqahtany SS, Alghamdi T, Alzahrani A, Tabassum N, Ibrahim AM.   +7 more
europepmc   +1 more source

Implementing Authentication Protocol for Exchanging Encrypted Messages via an Authentication Server Based on Elliptic Curve Cryptography with the ElGamal-s Algorithm [PDF]

, 2007
Konstantinos Chalkias, George Filiadis, George Stephanides   +2 more
openalex   +1 more source

A secure and efficient encryption system based on adaptive and machine learning for securing data in fog computing. [PDF]

Sci Rep
Kumar PR, Goel S.
europepmc   +1 more source

Efficient IoT User Authentication Protocol with Semi-Trusted Servers. [PDF]

Sensors (Basel)
Hu S, Zhang Y, Guo Y, Zhong W, Chen Y, Chen L.   +5 more
europepmc   +1 more source

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

, 2005
John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague   +3 more
openalex   +1 more source

Enhancing Efficiency in Trustless Cryptography: An Optimized SM9-Based Distributed Key Generation Scheme. [PDF]

Sensors (Basel)
Chen J, Zhou X, Fu W, Mao Y.
europepmc   +1 more source

A Secure and Lightweight Group Mobility Authentication Scheme for 6LoWPAN Networks. [PDF]

Sensors (Basel)
Ashrif FF, Sundararajan EA, Hasan MK, Ahmad R.   +3 more
europepmc   +1 more source