670 likes | 810 Views
A Framework for Stream Ciphers Based on Pseudorandomness, Randomness and Error-Correcting Coding. Miodrag Mihaljevic Enhancing Crypto-Primitives with Techniques from Coding Theory NATO Advanced Research Workshop 6 - 9 October 2008 Veliko Tarnovo, Bulgaria. Roadmap. Introduction
E N D
A Framework for Stream Ciphers Based on Pseudorandomness, Randomness and Error-Correcting Coding Miodrag Mihaljevic Enhancing Crypto-Primitives with Techniques from Coding Theory NATO Advanced Research Workshop 6 - 9 October 2008Veliko Tarnovo, Bulgaria
Roadmap • Introduction • Underlying Ideas and Novel Framework • Particular Novel Stream Ciphering Approaches Based on Employment of Pure Randomness • A Model of Certain Stream Ciphers Based on Pure Randomness • LPN Problem and a Security Evaluation Approach • Framework for the Security Evaluation • Concluding Remarks
I. Introduction Certain References on Cryptographic Primitives Based on Pure Randomness
Some Initial References • R.J. McEliece, “A public key cryptosystem based on algebraic coding theory”, DSN progress report, 42-44:114-116, 1978. (well known reference) • M. Willett, “Deliberate noise in a modern cryptographic system”, IEEE Transactions on Information Theory, vol. 26, no. 1, pp.102-104, Jan. 1980. (almost forgotten reference) • A. Blum, M. Furst, M. Kearns and R. Lipton, “Cryptographic Primitives Based on Hard Learning Problems”, CRYPTO 1993, Lecture Notes in Computer Science, vol. 773, pp. 278–291, 1994. • N. Hopper and M. Blum, ``Secure Human Identification Protocols'', ASIACRYPT 2001, Lecture Notes in Computer Science, vol. 2248, pp. 52-66, 2001.
A.D. Wyner, “The wire-tap channel”, Bell Systems Technical Journal, vol. 54, pp. 1355-1387, 1975. • A different approach for achieving secrecy of communication based on the noise has been reported by Wyner in 1975 assuming that the channel between the legitimate parties is with a lower noise in comparison with the channel via which a wire-tapper has access to the ciphertext. • The proposed method does not require any secret. It is based on a specific coding scheme which provides a reliably communications within the legitimate parties and prevents, at the same time, the wire-tapper from learning the communication's contents.
Some Recent References • J. Katz and J. Shin, “Parallel and Concurrent Security of the HB and HB+ Protocols”, EUROCRYPT 2006, Lecture Notes in Computer Science, vol. 4004, pp. 73–87, 2006. • J.-P. Aumasson, M. Finiasz, W. Meier and S. Vaudenay, “TCHo: A Hardware-Oriented Trapdoor Cipher”, ACISP 2007, Lecture Notes in Computer Science, vol. 4586, pp. 184–199, 2007. • H. Gilbert, M.J.B. Robshaw and Y. Seurin, “HB#: Increasing the Security and Efficiency of HB+”, EUROCRYPT2008, Lecture Notes in Computer Science, vol. 4965, pp. 361-378, 2008. • H. Gilbert, M.J.B. Robshaw, and Y. Seurin, “How to Encrypt with the LPN Problem”, ICALP 2008, Part II, Lecture Notes in Computer Science, vol. 5126, pp. 679-690, 2008.
Certain Origins for Our Work • M. Mihaljevic, “Generic framework for secure Yuen 2000 quantum-encryption employing the wire-tap channel approach”, Physical Review A, vol. 75, no. 5, pp. 052334-1-5, May 2007. • M. Fossorier, M. Mihaljevic and H. Imai, “Modeling Block Encoding Approaches for Fast Correlation Attack”, IEEE Transactions on Information Theory, vol. 53, no. 12, pp. 4728-4737, Dec. 2007. • M. Mihaljevic, M. Fossorier and H. Imai, “Security Evaluation of Certain Broadcast Encryption Schemes Employing a Generalized Time-Memory-Data Trade-Off”, IEEE Communications Letters, vol. 11, no. 12, pp. 988-990, Dec. 2007.
Employment of two different binary pure randomness within a cryptographic primitive: one Berunolli distributed with the parameter <<1/2 another with Uniform distribution and the parameter equal to 1/2 Dedicated encoding for providing the attacker confusion employing: Homophonic coding approaches Wire-tap Channel coding approaches Novelties of Our Designs in Comparison with the Reported ones
Enhancing cryptographic primitives employing - pure randomness and - coding theory Particularly: Employment of the concept of the binary channels with insertion and complementation (and deletion). General Underlying Ideas in Our Designs
A framework for design of stream ciphers which provides opportunity for design the security as high as possible based on the employed secret key, i.e. complexity of recovering the key as close as possible to O(2K) A trade-off between the security and the communications rate: Increase the security up to the upper limit at the expense of a moderate decrease of the communications rate. Main Goals
Underlying Ideas for Novel Stream Ciphers Paradigm A Happy Merge (Marriage) of Pseudo-randomness and Randomness
The Main Underlying Ideas • Employ physical noise which an attacker must face, in order to strengthen the stream cipher. • Strengthen the stream cipher employing a dedicated encoding following the homophonic or wire-tap channel encoding approaches.
A Framework of Stream Ciphering Employing Randomness a related traditional stream cipher and a novel particular one based on deliberate randomness
A Traditional Stream Cipher based on Encode+Encrypt Paradigm in order to cope with an inherent noise in the public communication channel employ “encode+encrypt” (the paradigm employed in GSM)
Encryption Keystream Generator secret key Public Comm. Channel plaintext Error-Correction Encoding + Decryption Error-Correction Decoding + plaintext (b.s.c or erasure channel, for example) Keystream Generator secret key
Novel Framework Based on Employment of Randomness and Dedicated Coding&Ciphering
Encryption Keystream Generator secret key Dedicated Encoding&Encryption Public Comm. Channel Error-Correction Encoding plaintext Source of Randomness Decryption Dedicated Decoding&Decryption Error-Correction Decoding plaintext Keystream Generator secret key
Traditional stream ciphers do not include any randomness: Basically, they are based on the deterministic operations which expand a short secret seed into a long pseudorandom sequence. This talk proposes an alternative approach yielding a novel paradigm for design of stream ciphers. The proposed framework employs a dedicated coding and a deliberate noise which, assuming the appropriate code and noise level, at the attacker's side provides increased confusion up to the limit determined by the secret key length. Decoding complexities with and without the secret key are extremely different Notes (1): Novel Paradigm
In order to achieve the main security goal, the proposed stream ciphering approach includes the following two encoding schemes with impacts on the communications overhead: error-correction encoding of the messages; dedicated homophonic/wire-tap channel coding which performs expansion of the initial ciphertext.. Both of these issues imply the communications overhead: Accordingly, the proposed stream ciphers framework includes certain trade-off between the security and the communications overhead which in a number of scenarios can be considered as very appropriate. Notes (2): Security-Overhead Trade-Off
III. Particular Novel Stream Ciphering Approaches Employing Randomness Homophonic and Wire-Tap Channel Like Coding
III.1 Two Variants of a Simple Construction embed random bits + enforce a binary symmetric noise channel
Encryption Keystream Generator secret key Public Comm. Channel Embedding + Error-Correction Encoding + plaintext Source of Randomness Decryption Decimation Error-Correction Decoding + plaintext Keystream Generator secret key
Encryption Keystream Generator secret key Public Comm. Channel Embedding + + Error-Correction Encoding plaintext Source of Randomness Decryption Decimation Error-Correction Decoding + plaintext Keystream Generator secret key
III.2 Stream Ciphering Employing Wire-Tap Channel Coding - a generic scheme and its discussion -
Wire-Tap Channel A. D. Wyner, “The wire-tap channel”, Bell Systems Technical Journal, vol. 54, pp. 1355-1387, 1975.
X Y Alice Channel C1 Bob U Channel C2 Z Eve
Coding Strategy for the Wire-Tap Channel • Goal of encoding paradigm for the wire-tap channel is to make the noisy data available to Eve (across the wire tap channel) useless and achieving this goal is based on adding the randomness in encoding algorithm.
Groups of the codewords:Same symbol denote different codewords belonging to the same group Codewords and N-dim Sphere * * x x * * * * x x x x x x x x * x * * * * * * * *
Encryption Mapping Keystream Generator secret key Public Comm. Channel Wire-Tap Channel Encoding + Error-Correction Encoding + plaintext Source of Randomness Decryption Wire-Tap Channel Decoding Error-Correction Decoding + + plaintext Mapping Keystream Generator secret key
IV. A Model of Certain Stream Ciphers Based on Pure Randomness - a model suitable for security analysis -
Encryption Keystream Generator secret key Public Comm. Channel Embedding + + Error-Correction Encoding plaintext Source of Randomness Decryption Decimation Error-Correction Decoding + plaintext Keystream Generator secret key
Security as a Decoding Problem after Two Noisy Channels Encryption Keystream Generator secret key Channel with Insertion of Random Bits Binary Symmetric Channel + Error-Correction Encoding plaintext
Security Consideration via Implications of the Coding and the LPN Problem Encryption Keystream Generator secret key Homophonic Encoding LPN Problem Based Encryption Error-Correction Encoding plaintext
V. LPN Problem and a Security Evaluation Approach (LPN – Learning from Parity with Noise)
Problem of decoding of a general random linear block code after a binary symmetric channel with given crossover probability. More formal formulations of the problem as well as its solutions are possible. LPN Problem
Underlying Problem of the LPN noisy variables = z1 linear-f1(x1, x2, …, xK) O S V Y E S R T D E E M F I N E D = z2 linear-f2(x1, x2, …, xK) … = zN linear-fN(x1, x2, …, xK) K << N
Hardness of the LPN Problem • M. Fossorier, M. Mihaljevic, H. Imai, Y. Cui and K. Matsuura, “An Algorithm for Solving the LPN Problem and its Application to Security Evaluation of the HB Protocols for RFID Authentication”, INDOCRYPT 2006, LNCS, vol. 4329, pp. 48-62, Dec. 2006.
Security evaluation via consideration of the underlying decoding problem. Security evaluation via a formal security model and an evaluation game. Further on, this approach will be discussed. Two Particular Security Evaluation Approaches