Results 21 to 30 of about 68,965 (224)

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.
Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen   +3 more
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

How much security does Y-00 protocol provide us ? [PDF]

, 2003
New quantum cryptography, often called Y-00 protocol, has much higher performance than the conventional quantum cryptographies. It seems that the conventional quantum cryptographic attacks are inefficient at Y-00 protocol as its security is based on the ...
Hasegawa, Toshio, Imafuku, Kentaro, Imai, Hideki, Ishizuka, Hirokazu, Nishioka, Tsuyoshi   +4 more
core   +1 more source

User privacy prevention model using supervised federated learning‐based block chain approach for internet of Medical Things

CAAI Transactions on Intelligence Technology, EarlyView., 2023
Abstract This research focuses on addressing the privacy issues in healthcare advancement monitoring with the rapid establishment of the decentralised communication system in the Internet of Medical Things (IoMT). An integrated blockchain homomorphic encryption standard with an in‐build supervised learning‐based smart contract is designed to improvise ...
Chandramohan Dhasarathan, Mohammad Kamrul Hasan, Shayla Islam, Salwani Abdullah, Shailesh Khapre, Dalbir Singh, Abdulaziz A. Alsulami, Ali Alqahtani   +7 more
wiley   +1 more source

A Cryptographic Moving-Knife Cake-Cutting Protocol [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
This paper proposes a cake-cutting protocol using cryptography when the cake is a heterogeneous good that is represented by an interval on a real line. Although the Dubins-Spanier moving-knife protocol with one knife achieves simple fairness, all players
Yoshifumi Manabe, Tatsuaki Okamoto
doaj   +1 more source

Trivializing Verification of Cryptographic Protocols

Computer Assisted Methods in Engineering and Science, 2023
One of the main problems of the digital world is information security. Every second, people process millions of pieces of information that must be protected from unauthorized access.
Jacek Piątkowski, Sabina Szymoniak
doaj   +1 more source

Security Theorems via Model Theory [PDF]

, 2009
A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs . (phi implies for some
Anupam Datta, B. Blanchet, Bruno Blanchet, Daniele Gorla, Gavin Lowe, I. Cervesato, Jonathan K. Millen, Joshua D. Guttman, Joshua D. Guttman, Joshua D. Guttman, Joshua D. Guttman, Joshua Guttman, Lawrence C. Paulson, Marcelo Fiore, Michaël Rusinowitch, Michel Chein, Michel Chein, Nancy Durgin, Nancy Durgin, Peter Selinger, Shaddin F. Doghmi, Shaddin F. Doghmi, Sibylle Fröschle, Sibylle Fröschle   +23 more
core   +3 more sources

Synonym‐based multi‐keyword ranked search with secure k‐NN in 6G network

IET Networks, EarlyView., 2022
Abstract Sixth Generation (6G) integrates the next generation communication systems such as maritime, terrestrial, and aerial to offer robust network and massive device connectivity with ultra‐low latency requirement. The cutting edge technologies such as artificial intelligence, quantum machine learning, and millimetre enable hyper‐connectivity to ...
Deebak Bakkiam David, Fadi Al‐Turjman
wiley   +1 more source

Crypto-Verifying Protocol Implementations in ML [PDF]

, 2007
We intend to narrow the gap between concrete implementations and verified models of cryptographic protocols. We consider protocols implemented in F#, a variant of ML, and verified using CryptoVerif, Blanchet's protocol verifier for computational ...
Bhargavan, K., Corin, R.J., Fournet, C.
core   +13 more sources

Cryptographic Protocol Reverse Method Based on Information Entropy and Closed Frequent Sequences [PDF]

Jisuanji kexue
Unknown cryptographic protocols are widely used for the secure transmission of sensitive information,and reversing cryptographic protocol is of great significance to both attackers and defenders.In order to efficiently reverse complex cryptographic ...
LIANG Chen, HONG Zheng, WU Lifa, JI Qingbing
doaj   +1 more source