SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC
Вестник Донского государственного технического университета, 2018 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 +1 more source
A secure multi-party computation protocol without CRS supporting multi-bit encryption.
PLoS ONE, 2022 To solve the problems in the existing fully homomorphic encryption (FHE)-based secure multi-party computation (SMC) protocols such as low efficiency, the FHE scheme that supports multi-bit encryption was modified during the generation of the public key ...
Zong-Wu Zhu, Ru-Wei Huang
doaj +2 more sources
Energies, 2022 Integration of information communication technology via the Internet of Things devices and sensors can enable an efficient power service for utility providers to consumers in advanced metering infrastructure.
Md Mehedi Hasan +2 more
doaj +1 more source
A General Framework for Group Authentication and Key Exchange Protocols [PDF]
, 2014 In this paper, we propose a novel framework for group authentication and key exchange protocols. There are three main advantages of our framework. First, it is a general one, where different cryptographic primitives can be used for different applications.
Huihui Yang +2 more
openaire +2 more sources
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures [PDF]
, 2005 Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party protocols may not be able to model a group protocol, or its intended security ...
Graham Steel +3 more
core +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Quantum Key Distribution Protocols for Enhancing Cryptographic Resilience in Next-Generation 5G Network Infrastructures [PDF]
Iranian Journal of Information Processing & ManagementBackground: Quantum computing has posed a profound threat to the classical cryptographic systems as it is advancing at an exponential rate with the help of quantum algorithms like Shor’s and Grover’s which can easily decipher the Rivest–Shamir–Adleman ...
Leena Sameer Baddour +4 more
doaj +1 more source
Boosting device-independent cryptography with tripartite nonlocality [PDF]
Quantum, 2023 Device-independent (DI) protocols, such as DI conference key agreement (DICKA) and DI randomness expansion (DIRE), certify private randomness by observing nonlocal correlations when two or more parties test a Bell inequality.
Federico Grasselli +3 more
doaj +1 more source
Formal Verification of Security Protocol Implementations: A Survey [PDF]
, 2014 Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
Pironti, Alfredo +3 more
core +1 more source
Practical long-distance quantum key distribution system using decoy levels [PDF]
, 2009 Quantum key distribution (QKD) has the potential for widespread real-world applications, but no secure long-distance experiment has demonstrated the truly practical operation needed to move QKD from the laboratory to the real world due largely to ...
Nordholt, J.E. +19 more
core +1 more source