Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences

A System for Deciding the Security of Cryptographic Protocols (Special Section on Cryptography and Information Security)

Hajime Watanabe, Toru Fujiwara, Tadao Kasami

Published Jan 25, 1993• 0 citations
OpenAlex

Related papers

Quantum Cryptography

S. Rajasekar, R. Velusamy

Quantum cryptography lies at the intersection of information theory and quantum mechanics. Cryptosystems come in two major classes depending on whether the key is shared in public or in secret. Public key cryptosystems are special in that they allow two people, who have not yet met, to communicate securely by looking-up encryption methods in a public directory. In quantum cryptography, the sender and receiver have two types of communication channels: a classical public channel and a quantum channel. The best application of cryptography is to allow a secure communication. In the near future, quantum cryptography may be used in top-secret applications in the military, for example, as the basis of communication links. The first protocol for quantum cryptography was proposed in 1984 by C. H. Bennett and G. Brassard. Some of the basic quantum cryptographic systems are: four-states protocol, two-states protocol, 4+2 protocol and multi-photon and multi-stage protocol.

CRC Press eBooks•Oct 5, 2022•0 citations

A Framework for the Study of Cryptographic Protocols

Richard J. Berger, Sampath Kannan, René Peralta

Springer eBooks•Feb 28, 2007•14 citations

Classification and analysis of vulnerabilities of modern information systems from classical and quantum attacks

Ye.V. Ostrianska, Serhii Kandii, І.Д. Горбенко +1 more

Recent advances in quantum technology and the potential that practical quantum computers may become a reality in the future have led to renewed interest in developing cryptographic technologies that are secure against conventional and quantum attacks. Currently, virtually all asymmetric cryptographic schemes in use are threatened by the potential development of powerful quantum computers. Post-quantum cryptography is one of main the ways to combat this threat. Its security is based on the complexity of mathematical problems that are currently considered unsolvable efficiently, even with the help of quantum computers. The security of information systems is ensured through protection against various threats that use system vulnerabilities. Security protocols are the building blocks of secure communication. They implement security mechanisms to provide security services. Security protocols are considered abstract when analyzed, but may have additional vulnerabilities in implementation. This work contains a holistic study of security protocols. Basics of security protocols, taxonomy of attacks on security protocols and their implementation are considered, as well as various methods and models of protocol security analysis. In particular, the differences between information-theoretic and computational security, computational and symbolic models are specified. In addition, an overview of the computational security models for Authenticated Key Exchange (AKE) and Password Authentication Key Exchange (PAKE) protocols is provided. The most important security models for the AKE and PAKE protocols were also described. With the emergence of new technologies that may have different security requirements, as well as with increased opportunities for competition, there is always a need to develop new protocols. Thus, the purpose of this article is to review, classify, analyze, and research the vulnerabilities of information systems from classical, quantum, and special attacks, performed taking into account the forecast regarding the possibilities of attacks on post-quantum cryptographic transformations; studying security assessment models for existing cryptographic protocols, as well as reviewing and benchmarking security models and providing suggestions for protection against existing potential attacks.

Radiotekhnika•Dec 30, 2022•2 citations

A model for secure protocols and its application to systematic design of cryptographic protocols

Carsten Rudolph

•Jan 1, 2001•5 citations

Security amplification of the computer-aided voting system using quantum cryptography protocols

Mikołaj Karpiński, Tomasz Gancarczyk, Aleksandra Kłos-Witkowska +2 more

A cryptographic security scheme is proposed for a subsystem of the integrated computer-aided system that is intended for holding elections and counting the election returns. The main idea is to use two modern quantum cryptographic technologies: quantum bit commitment and quantum secret sharing. The scheme of information security of vote count procedure, and also the quantum bit commitment protocol and the quantum secret sharing protocol, are described. Using the protocols of quantum cryptography increases security of the computer-aided voting system on comparison with protocols of usual classical cryptography.

IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)•Sep 1, 2017•0 citations

A study on security and efficiency of cryptographic protocols

春植 朴

•Jan 1, 1995•0 citations
Quantum cryptography lies at the intersection of information theory and quantum mechanics. Cryptosystems come in two major classes depending on whether the key is shared in public or in secret. Public key cryptosystems are special in that they allow two people, who have not yet met, to communicate securely by looking-up encryption methods in a public directory. In quantum cryptography, the sender and receiver have two types of communication channels: a classical public channel and a quantum channel. The best application of cryptography is to allow a secure communication. In the near future, quantum cryptography may be used in top-secret applications in the military, for example, as the basis of communication links. The first protocol for quantum cryptography was proposed in 1984 by C. H. Bennett and G. Brassard. Some of the basic quantum cryptographic systems are: four-states protocol, two-states protocol, 4+2 protocol and multi-photon and multi-stage protocol.
Recent advances in quantum technology and the potential that practical quantum computers may become a reality in the future have led to renewed interest in developing cryptographic technologies that are secure against conventional and quantum attacks. Currently, virtually all asymmetric cryptographic schemes in use are threatened by the potential development of powerful quantum computers. Post-quantum cryptography is one of main the ways to combat this threat. Its security is based on the complexity of mathematical problems that are currently considered unsolvable efficiently, even with the help of quantum computers. The security of information systems is ensured through protection against various threats that use system vulnerabilities. Security protocols are the building blocks of secure communication. They implement security mechanisms to provide security services. Security protocols are considered abstract when analyzed, but may have additional vulnerabilities in implementation. This work contains a holistic study of security protocols. Basics of security protocols, taxonomy of attacks on security protocols and their implementation are considered, as well as various methods and models of protocol security analysis. In particular, the differences between information-theoretic and computational security, computational and symbolic models are specified. In addition, an overview of the computational security models for Authenticated Key Exchange (AKE) and Password Authentication Key Exchange (PAKE) protocols is provided. The most important security models for the AKE and PAKE protocols were also described. With the emergence of new technologies that may have different security requirements, as well as with increased opportunities for competition, there is always a need to develop new protocols. Thus, the purpose of this article is to review, classify, analyze, and research the vulnerabilities of information systems from classical, quantum, and special attacks, performed taking into account the forecast regarding the possibilities of attacks on post-quantum cryptographic transformations; studying security assessment models for existing cryptographic protocols, as well as reviewing and benchmarking security models and providing suggestions for protection against existing potential attacks.
A cryptographic security scheme is proposed for a subsystem of the integrated computer-aided system that is intended for holding elections and counting the election returns. The main idea is to use two modern quantum cryptographic technologies: quantum bit commitment and quantum secret sharing. The scheme of information security of vote count procedure, and also the quantum bit commitment protocol and the quantum secret sharing protocol, are described. Using the protocols of quantum cryptography increases security of the computer-aided voting system on comparison with protocols of usual classical cryptography.