Abstract:This paper revisits formalizations of information-theoretic security for symmetric-key encryption and key agreement protocols which are very fundamental primitives in cryptography. In general, we can formalize information-theoretic security in various ways: some of them can be formalized as stand-alone security by extending (or relaxing) Shannon's perfect secrecy or by other ways such as semantic security; some of them can be done based on composable security. Then, a natural question about this is: what is the gap between the formalizations? To answer the question, we investigate relationships between several formalizations of information-theoretic security for symmetric-key encryption and key agreement protocols. Specifically, for symmetric-key encryption protocols in a general setting including the case where there exist decryption-errors, we deal with the following formalizations of security: formalizations extended (or relaxed) from Shannon's perfect secrecy by using mutual information and statistical distance; information-theoretic analogues of indistinguishability and semantic security by Goldwasser and Micali; and composable security by Maurer et al. and Canetti. Then, we explicitly show the equivalence and non-equivalence between those formalizations. Under the model, we also derive lower bounds on the adversary's (or distinguisher's) advantage and the size of secret-keys required under all of the above formalizations. Although some of them may be already known, we can explicitly derive them all at once through our relationships between the formalizations. In addition, we briefly observe impossibility results which easily follow from the lower bounds. The similar results are also shown for key agreement protocols in a general setting including the case where there exist agreement-errors in the protocols.

Encoding secret information in measurement settings

Secure Communication with Choice of Measurement

Secure Design for Integrated Sensing and Semantic Communication System

An Information-Theoretic Analysis of the Security of Communication Systems Employing the Encoding-Encryption Paradigm

Hiding Symbols and Functions: New Metrics and Constructions for Information-Theoretic Security

Embedding Covert Information in Broadcast Communications

The Feasible Hyper-encoding Measurement-device-independent Deterministic Secure Quantum Communication Protocol

Privacy signaling games with binary alphabets

Measurement-device-independent Quantum Communication Without Encryption.

The double-padlock problem: Is secure classical information transmission possible without key exchange?

Security Formalizations and Their Relationships for Encryption and Key Agreement in Information-Theoretic Cryptography

Security Details for Bit Commitment by Transmitting Measurement Outcomes

Experimental Measurement-Device-Independent Quantum Key Distribution with Uncharacterized Encoding

Information encoding and encryption in acoustic analogues of qubits

An Encoding Mechanism for Secrecy of Remote State Estimation

Measurement incompatibility and quantum advantage in communication

Intrinsic Information of Wideband Channels

Mutual Information and Secrecy Enhancement Analysis of Media-Based Modulation

Guaranteed Private Communication With Secret Block Structure

Information-theoretic Key Encapsulation and its Applications

Privacy-preserving state estimation with unreliable channels