Appendix A: Introduction to cryptographic algorithms and protocols

Transcription

1 Security and Cooperation in Wireless Networks Appendix A: Introduction to cryptographic algorithms and protocols 2007 Levente Buttyán and Jean-Pierre Hubaux symmetric and asymmetric key encryption; hash functions; MAC functions; digital signatures; key establishment protocols; advanced authentication techniques; Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 2/77 1

2 Introduction security is about how to prevent attacks, or -- if prevention is not possible -- how to detect attacks and recover from them an attack is a a deliberate attempt to compromise a system; it usually exploits weaknesses in the system s design, implementation, operation, or management attacks can be passive attempts to learn or make use of information from the system but does not affect system resources examples: eavesdropping message contents, traffic analysis difficult to detect, should be prevented active attempts to alter system resources or affect their operation examples: masquerade (spoofing), replay, modification (substitution, insertion, destruction), denial of service difficult to prevent, should be detected A.1 Introduction 3/77 Main security services authentication aims to detect masquerade provides assurance that a communicating entity is the one that it claims to be access control aims to prevent unauthorized access to resources confidentiality aims to protect data from unauthorized disclosure usually based on encryption integrity aims to detect modification and replay provides assurance that data received are exactly as sent by the sender non-repudiation provides protection against denial by one entity involved in a communication of having participated in all or part of the communication two basic types: non-repudiation of origin and non-repudiation of delivery A.1 Introduction 4/77 2

3 Some security mechanisms encryption symmetric key, asymmetric (public) key digital signature access control schemes access control lists, capabilities, security labels,... data integrity mechanisms message authentication codes, sequence numbering, time stamping, cryptographic chaining authentication protocols passwords, cryptographic challenge-response protocols, biometrics traffic padding, route control, A.1 Introduction 5/77 Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 6/77 3

4 Classical model of encryption m plaintext (m) ciphertext D D ( (m)) = m encryption key eavesdropping adversary decryption key goal of the adversary: to systematically recover plaintexts from ciphertexts to deduce the (decryption) key erckhoff s principle: we must assume that the adversary knows all details of and D security of the system should be based on the protection of the decryption key 7/77 Adversary models ciphertext-only attack the adversary can only observe ciphertexts produced by the same encryption key known-plaintext attack the adversary can obtain corresponding plaintext-ciphertext pairs produced with the same encryption key (adaptive) chosen-plaintext attack the adversary can choose plaintexts and obtain the corresponding ciphertexts (adaptive) chosen-ciphertext attack the adversary can choose ciphertexts and obtain the corresponding plaintexts related-key attack the adversary can obtain ciphertexts, or plaintext-ciphertext pairs that are produced with different encryption keys that are related in a known way to a specific encryption key 8/77 4

5 Security of encryption schemes an encryption scheme is secure in a given adversary model if it is computationally infeasible for the adversary to determine the target decryption key under the assumptions of the given model for many encryption schemes used in practice, no proof of security exists these schemes are used, nevertheless, because they are efficient and they resist all known attacks some encryption schemes are provably secure, however these schemes are often inefficient 9/77 Basic classification encryption schemes symmetric-key encryption it is easy to compute from (and vice versa) usually = two main types: stream ciphers operate on individual characters of the plaintext block ciphers process the plaintext in larger blocks of characters asymmetric-key encryption it is hard (computationally infeasible) to compute from can be made public ( public-key cryptography) 10/77 5

6 Block ciphers an n bit block cipher is a function : {0, 1} n x {0, 1} k {0, 1} n, such that for each {0, 1} k, (x, ) = (x) is an invertible mapping from {0, 1} n to {0, 1} n k bit key n bit input n bit output Block ciphers 11/77 Block cipher design criteria completeness each bit of the output block should depend on each bit of the input block and on each bit of the key avalanche effect changing one bit in the input block should change approximately half of the bits in the output block similarly, changing one key bit should result in the change of approximately half of the bits in the output block statistical independence input and output should appear to be statistically independent Block ciphers 12/77 6

7 How to satisfy the design criteria? complex encryption function can be built by composing several simple operations which offer complementary but individually insufficient protection simple operations: elementary arithmetic operations logical operations (e.g., XOR) modular multiplication transpositions substitutions... combine two or more transformations in a manner that the resulting cipher is more secure than the individual components Block ciphers 13/77 xample: DS (Data ncryption Standard) X (64) Initial Permutation (32) + F + F + F (32) (48) 1 (48) 2 (48) ey Scheduler (56) input size: 64 output size: 64 key size: rounds Feistel structure 3 + F (48) 16 Initial Permutation -1 Y (64) Block ciphers 14/77 7

8 xample: the DS round function F key injection S1 S2 S3 S4 S5 S6 S7 S8 P Si substitution box (S-box) P permutation box (P-box) Block ciphers 15/77 xample: the DS key scheduler (28) Permuted Choice 1 Left shift(s) (56) (28) Left shift(s) each key bit is used in around 14 out of 16 rounds (28) (28) 1 (48) Permuted Choice 2 Left shift(s) Left shift(s) 2 (48) Permuted Choice 2 Block ciphers 16/77 8

9 xhaustive key search attack given a small number of plaintext-ciphertext pairs encrypted under a key, can be recovered by exhaustive key search with 2 k-1 processing complexity (expected number of operations) input: (X, Y), (X, Y ), progress through the entire key space, and for each candidate key, do the following: decrypt Y with if the result is not X, then throw away if the result is X, then check the other pairs (X, Y ), if does not work for at least one pair, then throw away and take another key if worked for all pairs (X, Y), (X, Y ),, then output as the target key on average, the target key is found after searching half of the key space if the plaintexts are known to contain redundancy, then ciphertext-only exhaustive key search is possible with a relatively small number of ciphertexts in practice, key size should be at least 128 bits Block ciphers 17/77 Algebraic attacks having a large key size is only a necessary condition for the security of a block cipher a block cipher can be broken due to the weaknesses in its internal (algebraic) structure, even if it uses large keys example: naïve exhaustive key search against DS: 2 55 attack using the complementation property of DS: 2 54 Y = DS (X) implies Y* = DS * (X*), where X* denotes the bitwise complement of X differential cryptanalysis of DS: 2 47 linear cryptanalysis of DS: 2 43 Block ciphers 18/77 9

10 Block cipher modes of operation CB lectronic Codebook used to encipher a single plaintext block (e.g., a DS key) CBC Cipher Block Chaining repeated use of the encryption algorithm to encipher a message consisting of many blocks CFB Cipher Feedback used to encipher a stream of characters, dealing with each character as it comes OFB Output Feedback another method of stream encryption, used on noisy channels CTR Counter simplified OFB with certain advantages Block cipher modes of operation 19/77 CB mode encrypt P 1 P 2 P N C 1 C 2 C N decrypt C 1 C 2 C N D D D P 1 P 2 P N Block cipher modes of operation 20/77 10

11 Properties of the CB mode identical plaintext blocks result in identical ciphertext blocks (under the same key, of course) messages to be encrypted often have very regular formats repeating fragments, special headers, string of 0s, etc. are quite common blocks are encrypted independently of other blocks reordering ciphertext blocks result in correspondingly reordered plaintext blocks ciphertext blocks can be cut from one message and pasted in another, possibly without detection error propagation: one bit error in a ciphertext block affects only the corresponding plaintext block (results in garbage) overall: not recommended for messages longer than one block, or if keys are reused for more than one block Block cipher modes of operation 21/77 CBC mode encrypt P 1 P 2 P 3 P N IV C N-1 + C 1 C 2 C 3 C N decrypt C 1 C 2 C 3 C N D D D D IV C N-1 + P 1 P 2 P 3 P N Block cipher modes of operation 22/77 11

12 Properties of the CBC mode encrypting the same plaintexts under the same key, but different IVs result in different ciphertexts ciphertext block C j depends on P j and all preceding plaintext blocks rearranging ciphertext blocks affects decryption however, dependency on the preceding plaintext blocks is only via the previous ciphertext block C j-1 proper decryption of a correct ciphertext block needs a correct preceding ciphertext block only error propagation: one bit error in a ciphertext block C j has an effect on the j-th and (j+1)-st plaintext block P j is complete garbage and P j+1 has bit errors where C j had an attacker may cause predictable bit changes in the (j+1)-st plaintext block error recovery: recovers from bit errors (self-synchronizing) cannot, however, recover from frame errors ( lost bits) Block cipher modes of operation 23/77 Integrity of the IV in the CBC mode the IV need not be secret, but its integrity should be protected malicious modification of the IV allows an attacker to make predictable changes to the first plaintext block recovered one solution is to send the IV in an encrypted form at the beginning of the CBC encrypted message Block cipher modes of operation 24/77 12

13 Padding the length of the message may not be a multiple of the block size of the cipher one can add some extra bytes to the short end block until it reaches the correct size this is called padding usually the last byte indicates the number of padding bytes added this allows the receiver to remove the padding short end block padding 05 Block cipher modes of operation 25/77 CFB mode encrypt decrypt initialized with IV (s) initialized with IV shift register (s) shift register select s bits select s bits P i (s) + (s) (s) C i C i (s) + (s) (s) P i Block cipher modes of operation 26/77 13

14 Properties of the CFB mode encrypting the same plaintexts under the same key, but different IVs result in different ciphertexts the IV can be sent in clear ciphertext block C j depends on P j and all preceding plaintext blocks rearranging ciphertext blocks affects decryption proper decryption of a correct ciphertext block needs the preceding n/s ciphertext blocks to be correct error propagation: one bit error in a ciphertext block C j has an effect on the decryption of that and the next n/s ciphertext blocks (the error remains in the shift register for n/s steps) P j has bit errors where C j had, all the other erroneous plaintext blocks are garbage an attacker may cause predictable bit changes in the j-th plaintext block error recovery: self synchronizing, but requires n/s blocks to recover Block cipher modes of operation 27/77 OFB mode encrypt decrypt initialized with IV initialized with IV shift register (s) shift register (s) select s bits select s bits (s) (s) P i (s) + (s) C i C i (s) + (s) P i Block cipher modes of operation 28/77 14

15 Properties of the OFB mode a different IV should be used for every new message, otherwise messages will be encrypted with the same key stream the IV can be sent in clear however, if the IV is modified by the attacker, then the cipher will never recover (unlike CFB) ciphertext block C j depends on P j only (does not depend on the preceding plaintext blocks) however, rearranging ciphertext blocks affects decryption error propagation: one bit error in a ciphertext block C j has an effect on the decryption of only that ciphertext block P j has bit errors where C j had an attacker may cause predictable bit changes in the j-th plaintext block error recovery: recovers from bit errors never recovers if bits are lost or the IV is modified Block cipher modes of operation 29/77 CTR mode encrypt decrypt counter + i counter + i P i + C i C i + P i Block cipher modes of operation 30/77 15

16 Properties of the CTR mode similar to OFB cycle length depends on the size of the counter (typically 2 n ) the i-th block can be decrypted independently of the others parallelizable (unlike OFB) random access the values to be XORed with the plaintext can be pre-computed at least as secure as the other modes note1: in CFB, OFB, and CTR mode only the encryption algorithm is used (decryption is not needed), that is why some ciphers (e.g., AS) is optimized for encryption note2: the OFB and CTR modes essentially make a synchronous stream cipher out of a block cipher, whereas the CFB mode converts a block cipher into a self-synchronizing stream-cipher Block cipher modes of operation 31/77 Stream ciphers while block ciphers simultaneously encrypt groups of characters, stream ciphers encrypt individual characters may be better suited for real time applications stream ciphers are usually faster than block ciphers in hardware (but not necessarily in software) limited or no error propagation may be advantageous when transmission errors are probable note: the distinction between stream ciphers and block ciphers is not definitive stream ciphers can be built out of block ciphers using CFB, OFB, or CTR modes a block cipher in CB or CBC mode can be viewed as a stream cipher that operates on large characters Stream ciphers 32/77 16

17 Synchronous stream ciphers f k p i σ i+1 z i σ i g k h c i the key stream is generated independently of the plaintext and of the ciphertext needs synchronization between the sender and the receiver if a character is inserted into or deleted from the ciphertext stream then synchronization is lost and the plaintext cannot be recovered additional techniques must be used to recover from loss of synch. no error propagation a ciphertext character that is modified during transmission affects only the decryption of that character an attacker can make changes to selected ciphertext characters and know exactly what effect these changes have on the plaintext (if h = XOR) Stream ciphers 33/77 Self-synchronizing stream ciphers p i register g k z i h c i the key stream is generated as a function of a fixed number of previous ciphertext characters self-synchronizing since the size t of the register is fixed, a lost ciphertext character affects only the decryption of the next t ciphertext characters limited error propagation if a ciphertext character is modified, then decryption of the next t ciphertext characters may be incorrect ciphertext characters depend on all previous plaintext characters better diffusion of plaintext statistics Stream ciphers 34/77 17

18 The Vernam cipher and the one-time pad Vernam cipher c i = p i k i for i = 1, 2, where p i are the plaintext digits, k i are the key stream digits, c i are the ciphertext digits, and is the bitwise XOR operation one-time pad a Vernam cipher where the key stream digits are generated independently and uniformly at random the one-time pad is unconditionally secure [Shannon, 1949] I(P; C) = H(P) - H(P C) = 0 a necessary condition for a symmetric key cipher to be unconditionally secure is that H() H(P) [Shannon, 1949] practically, the key must have as many bits as the compressed plaintext impractical because of key management problems Stream ciphers 35/77 Asymmetric-key encryption m plaintext (m) ciphertext D D ( (m)) = m (public) encryption key attacker (private) decryption key asymmetric-key encryption it is hard (computationally infeasible) to compute from can be made public (public-key cryptography) no need for key setup before communication public-keys are not confidential but they must be authentic! the security of asymmetric-key encryption schemes is usually based on some well-known or widely believed hard problems A.2.2 Asymmetric-key encryption 36/77 18

19 xamples for hard problems factoring problem given a positive integer n, find its prime factors true complexity is unknown it is believed that it does not belong to P discrete logarithm problem given a prime p, a generator g of Z p*, and an element y in Z p*, find the integer x, 0 x p-2, such that g x mod p = y true complexity is unknown it is believed that it does not belong to P Diffie-Hellman problem given a prime p, a generator g of Z p*, and elements g x mod p and g y mod p, find g xy mod p true complexity is unknown it is believed that it does not belong to P A.2.2 Asymmetric-key encryption 37/77 The RSA encryption scheme key generation select p, q large primes (about 500 bits each) n = pq, φ = (p-1)(q-1) select e such that 1 < e < φ and gcd(e, φ) = 1 compute d such that ed mod φ = 1 (this is easy if φ is known) the public key is (e, n) the private key is d encryption represent the message as an integer m in [0, n-1] compute c = m e mod n decryption compute m = c d mod n A.2.2 Asymmetric-key encryption 38/77 19

20 Relation to factoring the problem of computing d from (e, n) is computationally equivalent to the problem of factoring n if one can factor n, then one can easily compute d if one can compute d, then one can efficiently factor n the problem of computing m from c and (e, n) (called the RSA problem) is believed to be computationally equivalent to factoring if one can factor n, then one can easily compute m from c and (e, n) there s no formal proof for the other direction A.2.2 Asymmetric-key encryption 39/77 The need for salting let us assume that the adversary observes a ciphertext c = (m) let the set of possible plaintexts be M if M is small, then the adversary can try to encrypt every message in M with the publicly known key until she finds the message m that maps into c the usual way to prevent this attack is to randomize the encryption some random bytes are added to the plaintext message before encryption through the application of the PCS #1 formatting rules when the message is decrypted, the recipient can recognize and discard these random bytes A.2.2 Asymmetric-key encryption 40/77 20

21 The lgamal encryption scheme key generation generate a large random prime p and choose generator g of the multiplicative group Z p * = {1, 2,, p-1} select a random integer a, 1 a p-2, and compute A = g a mod p the public key is (p, g, A) the private key is a encryption represent the message as an integer m in [0, p-1] select a random integer r, 1 r p-2, and compute R = g r mod p compute C = m A r mod p the ciphertext is the pair (R, C) decryption compute m = C R p-1-a mod p proof of decryption C R p-1-a m A r R p-1-a m g ar g r(p-1-a) m (g p-1 ) r m (mod p) A.2.2 Asymmetric-key encryption 41/77 Relation to hard problems security of the lgamal scheme is said to be based on the discrete logarithm problem in Z p*, although equivalence has not been proven yet recovering m given p, g, A, R, and C is equivalent to solving the Diffie-Hellman problem A.2.2 Asymmetric-key encryption 42/77 21

22 Digital enveloping most popular public-key encryption methods are several orders of magnitude slower than the best known symmetric key schemes public-key encryption is used together with symmetric-key encryption; the technique is called digital enveloping plaintext message symmetric-key cipher (e.g., in CBC mode) generate random symmetric key bulk encryption key asymmetric-key cipher public key of the receiver digital envelop A.2.2 Asymmetric-key encryption 43/77 Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 44/77 22

23 Hash functions a hash function maps bit strings of arbitrary finite length to bit strings of fixed length (n bits) many-to-one mapping collisions are unavoidable however, finding collisions are difficult the hash value of a message can serve as a compact representative image of the message (similar to fingerprints) message of arbitrary length hash function fix length hash value / message digest / fingerprint A.3 Hash functions 45/77 Desirable properties of hash functions ease of computation given an input x, the hash value h(x) of x is easy to compute weak collision resistance (2 nd preimage resistance) given an input x, it is computationally infeasible to find a second input x such that h(x ) = h(x) strong collision resistance (collision resistance) it is computationally infeasible to find any two distinct inputs x and x such that h(x) = h(x ) one-way property (preimage resistance) given a hash value y (for which no preimage is known), it is computationally infeasible to find any input x s.t. h(x) = y A.3 Hash functions 46/77 23

24 The Birthday Paradox Given a set of N elements, from which we draw k elements randomly (with replacement). What is the probability of encountering at least one repeating element? first, compute the probability of no repetition: the first element x 1 can be anything when choosing the second element x 2, the probability of x 2 x 1 is 1-1/N when choosing x 3, the probability of x 3 x 2 and x 3 x 1 is 1-2/N when choosing the k-th element, the probability of no repetition is 1- (k-1)/n the probability of no repetition is (1-1/N)(1-2/N) (1 (k-1)/n) when x is small, (1-x) e -x (1-1/N)(1-2/N) (1 (k-1)/n) = e -1/N e -2/N e -(k-1)/n = e -k(k-1)/2n the probability of at least one repetition after k drawing is 1 e -k(k-1)/2n A.3 Hash functions 47/77 The Birthday Paradox (cont d) How many drawings do you need, if you want the probability of at least one repetition to be ε? solve the following for k: ε = 1 e -k(k-1)/2n examples: ε = ½ k sqrt(n) ε = ¾ k sqrt(n) ε = 0.9 k sqrt(n) k(k-1) = 2N ln(1/1-ε) k sqrt(2n ln(1/1-ε)) origin of the name Birthday Paradox : elements are dates in a year (N = 365) among sqrt(365) 23 randomly selected people, there will be at least two that have the same birthday with probability ½ A.3 Hash functions 48/77 24

25 Choosing the output size of a hash function the Birthday Paradox have a profound impact on the design of hash functions (and other cryptographic algorithms and protocols)! let n be the output size of a hash function among ~sqrt(2 n ) = 2 n/2 randomly chosen messages, with high probability, there will be a collision pair it is easier to find collisions than to find preimages or 2 nd preimages for a given hash value in order to resist birthday attacks, 2 n/2 should be sufficiently large (e.g., n = 160 bits) A.3 Hash functions 49/77 Iterated hash functions input is divided into fixed length blocks x 1, x 2,, x L last block is padded if necessary Merkle-Damgard strengthening: padding contains the length of the message each input block is processed according to the following scheme x 1 x 2 x 3 x L (b) (b) (b) (b) CV 0 f CV 1 f CV 2 f CV 3 CV L-1 f h(x) = CV L f is called the compression function can be based on a block cipher, or can be a dedicated compression function A.3 Hash functions 50/77 25

26 Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 51/77 Message authentication codes (MACs) MAC functions can be viewed as hash functions with two functionally distinct inputs: a message and a secret key they produce a fixed size output (say n bits) called the MAC practically it should be infeasible to produce a correct MAC for a message without the knowledge of the secret key MAC functions can be used to implement data integrity and message origin authentication services message of arbitrary length MAC function secret key fix length MAC A.4 Message authentication codes 52/77 26

27 MAC generation and verification generation message secret key MAC MAC verification message secret key MAC MAC compare yes/no A.4 Message authentication codes 53/77 Desirable properties of MAC functions ease of computation given an input x and a secret key k, it is easy to compute MAC k (x) key non-recovery it is computationally infeasible to recover the secret key k, given one or more text-mac pairs (x i, MAC k (x i )) for that k computation resistance given zero or more text-mac pairs (x i, MAC k (x i )), it is computationally infeasible to find a text-mac pair (x, MAC k (x)) for any new input x x i computation resistance implies key non-recovery but the reverse is not true in general A.4 Message authentication codes 54/77 27

28 CBC MAC x 1 x 2 x 3 x N c N-1 + k k k k c 1 c 2 c 3 k -1 CBC MAC is secure for messages of a fixed number of blocks (adaptive chosen-text existential) forgery is possible if variable length messages are allowed it is recommended to involve the length of the message in the CBC MAC computation k MAC optional c N A.4 Message authentication codes 55/77 HMAC k + ipad x 1 x L padding 1 hash fn CV 0 f CV 1 inner f f M k + opad M padding 2 hash fn HMAC k (X) = H( k H( k X )) CV 0 f CV 1 outer f HMAC k (x) A.4 Message authentication codes 56/77 28

29 Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 57/77 Digital signatures similar to MACs but unforgeable by the receiver verifiable by a third party used for message authentication and non-repudiation (of message origin) based on public-key cryptography private key defines a signing transformation S A S A (m) = σ public key defines a verification transformation V A V A (m, σ) = true if S A (m) = σ V A (m, σ) = false otherwise A.5 Digital signatures 58/77 29

30 Attacks on digital signature schemes key-only attack only the public key is available to the adversary known-message attack the adversary has signatures for a set of messages known to her but not chosen by her chosen-message attack the adversary obtains signatures for messages chosen by her before attempting to break the signature scheme adaptive chosen-message attack the adversary is allowed to use the signer as an oracle she may request signatures for messages which depend on previously obtained signatures A.5 Digital signatures 59/77 Hash-and-sign paradigm public/private key operations are slow hash the message first and apply public/private key operations to the hash value only generation h private key of sender message hash signature enc verification message h hash compare yes/no dec public key of sender signature A.5 Digital signatures 60/77 30

31 xamples of digital signature scheme RSA essentially identical to the RSA encryption scheme signature = decryption with private key typical signature length is 1024 bits DSA (Digital Signature Algorithm) based on the lgamal signature scheme typical signature length is 1024 bits CDSA (lliptic Curve DSA) same as DSA but works over elliptic curves reduced signature length (typically 320 bits) A.5 Digital signatures 61/77 Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 62/77 31

32 Session key establishment protocols goal of session key establishment protocols to setup a shared secret between two (or more) parties it is desired that the secret established by a fixed pair of parties varies on subsequent executions of the protocol (dynamicity) established shared secret is used as a session key to protect communication between the parties motivation for use of session keys to limit available ciphertext for cryptanalysis to limit exposure caused by the compromise of a session key to avoid long-term storage of a large number of secret keys (keys are created on-demand when actually required) to create independence across communication sessions or applications A.6 Session key establishment protocols 63/77 Basic classification key transport protocols one party creates or otherwise obtains a secret value, and securely transfers it to the other party key agreement protocols a shared secret is derived by the parties as a function of information contributed by each, such that no party can predetermine the resulting value A.6 Session key establishment protocols 64/77 32

33 Further services entity authentication implicit key authentication one party is assured that no other party aside from a specifically identified second party (and possibly some trusted third parties) may gain access to the established session key key confirmation one party is assured that a second (possibly unidentified) party actually possesses the session key possession of a key can be demonstrated by producing a one-way hash value of the key or encryption of known data with the key explicit key authentication implicit key authentication + key confirmation key freshness one party is assured that the key is new (never used before) A.6 Session key establishment protocols 65/77 Further protocol characteristics reciprocity guarantees are provided unilaterally guarantees are provided mutually efficiency number of message exchanges (passes) required total number of bits transmitted (i.e., bandwidth used) complexity of computations by each party possibility of precomputations to reduce on-line computational complexity third party requirements on-line, off-line, or no third party at all degree and type of trust required in the third party system setup distribution of initial keying material A.6 Session key establishment protocols 66/77 33

34 The Wide-Mouth-Frog protocol Alice Server Bob generate k A, as ( B, k, T a ) bs ( A, k, T s ) summary: a simple key transport protocol that uses a trusted third party Alice generates the session key and sends it to Bob via the trusted third party characteristics: implicit key authentication for Alice explicit key authentication for Bob key freshness for Bob with timestamps (flawed) unilateral entity authentication of Alice on-line third party (Server) trusted for secure relaying of keys and verification of freshness, in addition A is trusted for generating good keys initial long-term keys between the parties and the server are required A.6 Session key establishment protocols 67/77 A flaw in the Wide-Mouth-Frog protocol Server B, bs ( A, k, T s ) as ( B, k, T s (1) ) Trudy Bob A, as ( B, k, T s (1) ) bs ( A, k, T s (2) )... bs ( A, k, T s ) summary: after observing one run of the protocol, Trudy can continuously use the Server as an oracle until she wants to bring about re-authentication between Alice and Bob A.6 Session key establishment protocols 68/77 34

35 Signed encrypted keys Alice Bob generate k A, b (k), T a, S a (B, b (k),t a ) summary: Alice generates a session key, encrypts it with Bob s public key, then sings it, and sends it to Bob characteristics: unilateral entity authentication (of Alice), mutual implicit key authentication, no key confirmation, key freshness with timestamp, clock synchronization, off-line third party for issuing public key certificates may be required, initial exchange of public keys between the parties may be required, Alice is trusted to generate keys, non-repudiation guarantee for Bob A.6 Session key establishment protocols 69/77 The Diffie-Hellman protocol Alice Bob select random x compute g x mod p g x mod p g y mod p select random y compute g y mod p compute k = (g y ) x mod p compute k = (g x ) y mod p summary: a key agreement protocol based on one-way functions; in particular, security of the protocol is based on the hardness of the discrete logarithm problem and that of the Diffie-Hellman problem assumptions: p is a large prime, g is a generator of Z p*, both are publicly known system parameters characteristics: NO AUTHNTICATION, key freshness with randomly selected exponents, no party can control the key, no need for a trusted third party A.6 Session key establishment protocols 70/77 35

36 Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 71/77 Pseudo-random number generators (PRNGs) a random number is a number that cannot be predicted by an observer before it is generated if the number is generated within the range [0, N-1], then its value cannot be predicted with any better probability than 1/N the above is true even if the observer is given all previously generated numbers a cryptographic pseudo-random number generator (PRNG) is a mechanism that processes somewhat unpredictable inputs and generates pseudo-random outputs if designed, implemented, and used properly, then even an adversary with enormous computational power should not be able to distinguish the PRNG output from a real random sequence A.7 Pseudo-random number generators 72/77 36

37 General operation of PRNGs unpredictable input samples (from physical processes) entropy pool re-keying state update internal state one-way fn pseudo-random bits indistinguishable from real random bits A.7 Pseudo-random number generators 73/77 Desirable properties of PRNGs the adversary cannot compute the internal state of the PRNG, even if she has observed many outputs of the PRNG the adversary cannot compute the next output of the PRNG, even if she has observed many previous outputs of the PRNG if the adversary can observe or even manipulate the input samples that are fed in the PRNG, but she does not know the internal state of the PRNG, then the adversary cannot compute the next output and the next internal state of the PRNG if the adversary has somehow learned the internal state of the PRNG, but she cannot observe the input samples that are fed in the PRNG, then the adversary cannot figure out the internal state of the PRNG after the re-keying operation A.7 Pseudo-random number generators 74/77 37

38 Chapter outline A.1 Introduction A.3 Hash functions A.4 Message authentication codes A.5 Digital signatures A.6 Session key establishment protocols A.7 Pseudo-random number generators A.8 Advanced authentication techniques 75/77 Advanced authentication techniques hash chains Merkle-trees broadcast authentication with TSLA A.8 Advanced authentication techniques 76/77 38

39 Conclusions security services are implemented by using security mechanisms many security mechanisms are based on cryptography (e.g., encryption, digital signature, message authentication codes, ) but be cautious: If you think cryptography is going to solve your problem, you don't understand cryptography and you don't understand your problem. -- Bruce Schneier other important aspects are physical protection procedural rules education 77/77 39