Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 1 | // Copyright 2009 The Go Authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style |
| 3 | // license that can be found in the LICENSE file. |
| 4 | |
| 5 | package tls |
| 6 | |
| 7 | import ( |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 8 | "crypto/hmac" |
| 9 | "crypto/md5" |
| 10 | "crypto/sha1" |
| 11 | "hash" |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 12 | ) |
| 13 | |
| 14 | // Split a premaster secret in two as specified in RFC 4346, section 5. |
| 15 | func splitPreMasterSecret(secret []byte) (s1, s2 []byte) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 16 | s1 = secret[0 : (len(secret)+1)/2] |
| 17 | s2 = secret[len(secret)/2:] |
| 18 | return |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 19 | } |
| 20 | |
| 21 | // pHash implements the P_hash function, as defined in RFC 4346, section 5. |
Jukka-Pekka Kekkonen | ba5b09f | 2010-08-26 13:32:29 -0400 | [diff] [blame] | 22 | func pHash(result, secret, seed []byte, hash func() hash.Hash) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 23 | h := hmac.New(hash, secret) |
| 24 | h.Write(seed) |
| 25 | a := h.Sum() |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 26 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 27 | j := 0 |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 28 | for j < len(result) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 29 | h.Reset() |
| 30 | h.Write(a) |
| 31 | h.Write(seed) |
| 32 | b := h.Sum() |
| 33 | todo := len(b) |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 34 | if j+todo > len(result) { |
Robert Griesemer | baba292 | 2009-11-09 21:13:17 -0800 | [diff] [blame] | 35 | todo = len(result) - j |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 36 | } |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 37 | copy(result[j:j+todo], b) |
| 38 | j += todo |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 39 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 40 | h.Reset() |
| 41 | h.Write(a) |
| 42 | a = h.Sum() |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 43 | } |
| 44 | } |
| 45 | |
Adam Langley | eedf5c4 | 2010-12-15 11:49:55 -0500 | [diff] [blame] | 46 | // pRF10 implements the TLS 1.0 pseudo-random function, as defined in RFC 2246, section 5. |
| 47 | func pRF10(result, secret, label, seed []byte) { |
Jukka-Pekka Kekkonen | ba5b09f | 2010-08-26 13:32:29 -0400 | [diff] [blame] | 48 | hashSHA1 := sha1.New |
| 49 | hashMD5 := md5.New |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 50 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 51 | labelAndSeed := make([]byte, len(label)+len(seed)) |
| 52 | copy(labelAndSeed, label) |
| 53 | copy(labelAndSeed[len(label):], seed) |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 54 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 55 | s1, s2 := splitPreMasterSecret(secret) |
| 56 | pHash(result, s1, labelAndSeed, hashMD5) |
| 57 | result2 := make([]byte, len(result)) |
| 58 | pHash(result2, s2, labelAndSeed, hashSHA1) |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 59 | |
| 60 | for i, b := range result2 { |
Robert Griesemer | 40621d5 | 2009-11-09 12:07:39 -0800 | [diff] [blame] | 61 | result[i] ^= b |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 62 | } |
| 63 | } |
| 64 | |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 65 | // pRF30 implements the SSL 3.0 pseudo-random function, as defined in |
| 66 | // www.mozilla.org/projects/security/pki/nss/ssl/draft302.txt section 6. |
| 67 | func pRF30(result, secret, label, seed []byte) { |
| 68 | hashSHA1 := sha1.New() |
| 69 | hashMD5 := md5.New() |
| 70 | |
| 71 | done := 0 |
| 72 | i := 0 |
| 73 | // RFC5246 section 6.3 says that the largest PRF output needed is 128 |
| 74 | // bytes. Since no more ciphersuites will be added to SSLv3, this will |
| 75 | // remain true. Each iteration gives us 16 bytes so 10 iterations will |
| 76 | // be sufficient. |
| 77 | var b [11]byte |
| 78 | for done < len(result) { |
| 79 | for j := 0; j <= i; j++ { |
| 80 | b[j] = 'A' + byte(i) |
| 81 | } |
| 82 | |
| 83 | hashSHA1.Reset() |
| 84 | hashSHA1.Write(b[:i+1]) |
| 85 | hashSHA1.Write(secret) |
| 86 | hashSHA1.Write(seed) |
| 87 | digest := hashSHA1.Sum() |
| 88 | |
| 89 | hashMD5.Reset() |
| 90 | hashMD5.Write(secret) |
| 91 | hashMD5.Write(digest) |
| 92 | |
| 93 | done += copy(result[done:], hashMD5.Sum()) |
| 94 | i++ |
| 95 | } |
| 96 | } |
| 97 | |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 98 | const ( |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 99 | tlsRandomLength = 32 // Length of a random nonce in TLS 1.1. |
| 100 | masterSecretLength = 48 // Length of a master secret in TLS 1.1. |
| 101 | finishedVerifyLength = 12 // Length of verify_data in a Finished message. |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 102 | ) |
| 103 | |
Russ Cox | 9750adb | 2010-02-25 16:01:29 -0800 | [diff] [blame] | 104 | var masterSecretLabel = []byte("master secret") |
| 105 | var keyExpansionLabel = []byte("key expansion") |
| 106 | var clientFinishedLabel = []byte("client finished") |
| 107 | var serverFinishedLabel = []byte("server finished") |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 108 | |
| 109 | // keysFromPreMasterSecret generates the connection keys from the pre master |
Adam Langley | eedf5c4 | 2010-12-15 11:49:55 -0500 | [diff] [blame] | 110 | // secret, given the lengths of the MAC key, cipher key and IV, as defined in |
| 111 | // RFC 2246, section 6.3. |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 112 | func keysFromPreMasterSecret(version uint16, preMasterSecret, clientRandom, serverRandom []byte, macLen, keyLen, ivLen int) (masterSecret, clientMAC, serverMAC, clientKey, serverKey, clientIV, serverIV []byte) { |
| 113 | prf := pRF10 |
| 114 | if version == versionSSL30 { |
| 115 | prf = pRF30 |
| 116 | } |
| 117 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 118 | var seed [tlsRandomLength * 2]byte |
| 119 | copy(seed[0:len(clientRandom)], clientRandom) |
| 120 | copy(seed[len(clientRandom):], serverRandom) |
| 121 | masterSecret = make([]byte, masterSecretLength) |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 122 | prf(masterSecret, preMasterSecret, masterSecretLabel, seed[0:]) |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 123 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 124 | copy(seed[0:len(clientRandom)], serverRandom) |
| 125 | copy(seed[len(serverRandom):], clientRandom) |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 126 | |
Adam Langley | eedf5c4 | 2010-12-15 11:49:55 -0500 | [diff] [blame] | 127 | n := 2*macLen + 2*keyLen + 2*ivLen |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 128 | keyMaterial := make([]byte, n) |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 129 | prf(keyMaterial, masterSecret, keyExpansionLabel, seed[0:]) |
Adam Langley | eedf5c4 | 2010-12-15 11:49:55 -0500 | [diff] [blame] | 130 | clientMAC = keyMaterial[:macLen] |
| 131 | keyMaterial = keyMaterial[macLen:] |
| 132 | serverMAC = keyMaterial[:macLen] |
| 133 | keyMaterial = keyMaterial[macLen:] |
| 134 | clientKey = keyMaterial[:keyLen] |
| 135 | keyMaterial = keyMaterial[keyLen:] |
| 136 | serverKey = keyMaterial[:keyLen] |
| 137 | keyMaterial = keyMaterial[keyLen:] |
| 138 | clientIV = keyMaterial[:ivLen] |
| 139 | keyMaterial = keyMaterial[ivLen:] |
| 140 | serverIV = keyMaterial[:ivLen] |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 141 | return |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 142 | } |
| 143 | |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 144 | func newFinishedHash(version uint16) finishedHash { |
| 145 | return finishedHash{md5.New(), sha1.New(), md5.New(), sha1.New(), version} |
| 146 | } |
| 147 | |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 148 | // A finishedHash calculates the hash of a set of handshake messages suitable |
| 149 | // for including in a Finished message. |
| 150 | type finishedHash struct { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 151 | clientMD5 hash.Hash |
| 152 | clientSHA1 hash.Hash |
| 153 | serverMD5 hash.Hash |
| 154 | serverSHA1 hash.Hash |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 155 | version uint16 |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 156 | } |
| 157 | |
Russ Cox | c2049d2 | 2011-11-01 22:04:37 -0400 | [diff] [blame^] | 158 | func (h finishedHash) Write(msg []byte) (n int, err error) { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 159 | h.clientMD5.Write(msg) |
| 160 | h.clientSHA1.Write(msg) |
| 161 | h.serverMD5.Write(msg) |
| 162 | h.serverSHA1.Write(msg) |
| 163 | return len(msg), nil |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 164 | } |
| 165 | |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 166 | // finishedSum10 calculates the contents of the verify_data member of a TLSv1 |
| 167 | // Finished message given the MD5 and SHA1 hashes of a set of handshake |
| 168 | // messages. |
| 169 | func finishedSum10(md5, sha1, label, masterSecret []byte) []byte { |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 170 | seed := make([]byte, len(md5)+len(sha1)) |
| 171 | copy(seed, md5) |
| 172 | copy(seed[len(md5):], sha1) |
| 173 | out := make([]byte, finishedVerifyLength) |
Adam Langley | eedf5c4 | 2010-12-15 11:49:55 -0500 | [diff] [blame] | 174 | pRF10(out, masterSecret, label, seed) |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 175 | return out |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 176 | } |
| 177 | |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 178 | // finishedSum30 calculates the contents of the verify_data member of a SSLv3 |
| 179 | // Finished message given the MD5 and SHA1 hashes of a set of handshake |
| 180 | // messages. |
| 181 | func finishedSum30(md5, sha1 hash.Hash, masterSecret []byte, magic [4]byte) []byte { |
| 182 | md5.Write(magic[:]) |
| 183 | md5.Write(masterSecret) |
| 184 | md5.Write(ssl30Pad1[:]) |
| 185 | md5Digest := md5.Sum() |
| 186 | |
| 187 | md5.Reset() |
| 188 | md5.Write(masterSecret) |
| 189 | md5.Write(ssl30Pad2[:]) |
| 190 | md5.Write(md5Digest) |
| 191 | md5Digest = md5.Sum() |
| 192 | |
| 193 | sha1.Write(magic[:]) |
| 194 | sha1.Write(masterSecret) |
| 195 | sha1.Write(ssl30Pad1[:40]) |
| 196 | sha1Digest := sha1.Sum() |
| 197 | |
| 198 | sha1.Reset() |
| 199 | sha1.Write(masterSecret) |
| 200 | sha1.Write(ssl30Pad2[:40]) |
| 201 | sha1.Write(sha1Digest) |
| 202 | sha1Digest = sha1.Sum() |
| 203 | |
| 204 | ret := make([]byte, len(md5Digest)+len(sha1Digest)) |
| 205 | copy(ret, md5Digest) |
| 206 | copy(ret[len(md5Digest):], sha1Digest) |
| 207 | return ret |
| 208 | } |
| 209 | |
| 210 | var ssl3ClientFinishedMagic = [4]byte{0x43, 0x4c, 0x4e, 0x54} |
| 211 | var ssl3ServerFinishedMagic = [4]byte{0x53, 0x52, 0x56, 0x52} |
| 212 | |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 213 | // clientSum returns the contents of the verify_data member of a client's |
| 214 | // Finished message. |
| 215 | func (h finishedHash) clientSum(masterSecret []byte) []byte { |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 216 | if h.version == versionSSL30 { |
| 217 | return finishedSum30(h.clientMD5, h.clientSHA1, masterSecret, ssl3ClientFinishedMagic) |
| 218 | } |
| 219 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 220 | md5 := h.clientMD5.Sum() |
| 221 | sha1 := h.clientSHA1.Sum() |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 222 | return finishedSum10(md5, sha1, clientFinishedLabel, masterSecret) |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 223 | } |
| 224 | |
| 225 | // serverSum returns the contents of the verify_data member of a server's |
| 226 | // Finished message. |
| 227 | func (h finishedHash) serverSum(masterSecret []byte) []byte { |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 228 | if h.version == versionSSL30 { |
| 229 | return finishedSum30(h.serverMD5, h.serverSHA1, masterSecret, ssl3ServerFinishedMagic) |
| 230 | } |
| 231 | |
Robert Griesemer | 5a1d332 | 2009-12-15 15:33:31 -0800 | [diff] [blame] | 232 | md5 := h.serverMD5.Sum() |
| 233 | sha1 := h.serverSHA1.Sum() |
Adam Langley | a775fbf | 2011-09-14 15:32:19 -0400 | [diff] [blame] | 234 | return finishedSum10(md5, sha1, serverFinishedLabel, masterSecret) |
Adam Langley | 6e8184d | 2009-11-02 18:25:20 -0800 | [diff] [blame] | 235 | } |