Results 31 to 40 of about 65,060 (255)
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols
IEEE Access, 2019 Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important.
Jiawen Song +4 more
doaj +1 more source
Finite key size analysis of two-way quantum cryptography [PDF]
, 2015 Quantum cryptographic protocols solve the longstanding problem of distributing a shared secret string to two distant users by typically making use of one-way quantum channel.
Mancini, Stefano, Shaari, Jesni Shamsul
core +3 more sources
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
IEEE Access, 2019 The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj +1 more source
Confidential machine learning on untrusted platforms: a survey
Cybersecurity, 2021 With the ever-growing data and the need for developing powerful machine learning models, data owners increasingly depend on various untrusted platforms (e.g., public clouds, edges, and machine learning service providers) for scalable processing or ...
Sharma Sagar, Chen Keke
doaj +1 more source
A Rational Approach to Cryptographic Protocols
, 2010 This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties.
Asokan +9 more
core +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.
A Bauer +27 more
core +3 more sources
Key generation schemes for channel authentication in quantum key distribution protocol
IET Quantum Communication, 2021 Quantum key distribution (QKD) systems enable secure key generation between two parties. Such systems require an authenticated classical channel for QKD protocols to work. Usually, the initial authentication key for this channel is pre‐shared.
Mikhail Borodin +2 more
doaj +1 more source
Journal of Telecommunications and Information Technology, 2002 Secure communication generally begins with a~connection establishment phase in which messages are exchanged by client and server protocol software to generate, share, and use secret data or keys. This message exchange is referred to as an authentication
Jonathan K. Millen, Grit Denker
doaj +1 more source
High-level Cryptographic Abstractions
, 2019 The interfaces exposed by commonly used cryptographic libraries are clumsy, complicated, and assume an understanding of cryptographic algorithms. The challenge is to design high-level abstractions that require minimum knowledge and effort to use while ...
Chand, Saksham +4 more
core +1 more source
Model checking quantum Markov chains [PDF]
, 2012 Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations.
Feng, Yuan, Ying, Mingsheng, Yu, Nengkun
core +1 more source