Results 21 to 30 of about 4,817 (211)
Nonmonotonic cryptographic protocols [PDF]
Proceedings The Computer Security Foundations Workshop VII, 2002 The paper presents a new method for specifying and analyzing cryptographic protocols. The method offers several advantages over previous approaches. The technique is the first to allow reasoning about nonmonotonic protocols, which are needed for systems that rely on the deletion of information.
A.D. Rubin, P. Honeyman
openaire +1 more source
Is it possible to decide whether a cryptographic protocol is secure or not?
Journal of Telecommunications and Information Technology, 2002 We consider the so called ``cryptographic protocols`` whose aim is to ensure some security properties when communication channels are not reliable. Such protocols usually rely on cryptographic primitives.
Hubert Comon, Vitaly Shmatikov
doaj +1 more source
Quantum and classical oblivious transfer: A comparative analysis
IET Quantum Communication, 2021 Secure multiparty computation has the potential to be a disruptive technique in the realm of data analysis and computation. It enables several parties to compute virtually any function while preserving the privacy of their inputs.
Manuel B. Santos +2 more
doaj +1 more source
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
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
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
Kleptographic Attack on Elliptic Curve Based Cryptographic Protocols
IEEE Access, 2020 Kleptography is the study of pilfering secure data secretly and subliminally. The concept of inserting backdoors was introduced two decades ago by Young and Yung. However, still it is a serious threat for modern cryptography.
Anum Sajjad +5 more
doaj +1 more source
Special Issue on Algorithms for Cryptographic Protocols
Cryptography, 2018 n ...
Andreas Vogt
doaj +1 more source