Results 41 to 50 of about 1,839,178 (288)
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
Programming Cryptographic Protocols [PDF]
, 2005 Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principals engaging in it. Moreover, trust management assertions may be attached to protocol actions, constraining the behavior of a principal to be compatible with its own trust policy.
John D. Ramsdell +3 more
openaire +2 more sources
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
Nanotechnology and cryptographic protocols: issues and possible solutions
Nanomaterials and Energy, 2019 Nanotechnology has provided an immense increment in computational power. This high computational strength is very dangerous for existing cryptographic protocols, and the Data Encryption Standard al...
Varun Shukla +2 more
semanticscholar +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
Probabilistic Properties of the Spatial Bloom Filters and Their Relevance to Cryptographic Protocols
IEEE Transactions on Information Forensics and Security, 2018 The classical Bloom filter data structure is a crucial component of hundreds of cryptographic protocols. It has been used in privacy preservation and secure computation settings, often in conjunction with the (somewhat) homomorphic properties of ciphers ...
L. Calderoni, P. Palmieri, D. Maio
semanticscholar +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
Certificateless Cryptographic Protocols for Efficient Drone-Based Smart City Applications
IEEE Access, 2017 Smart cities aim to improve the quality of urban services and their energy efficiency by utilizing information and communication technologies. In such context, drones can be utilized to support various services, such as traffic monitoring, search/rescue,
Jongho Won, Seung-Hyun Seo, E. Bertino
semanticscholar +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