blob: d758f21aa8ebd8ac79d747579186f73695fa8f74 [file] [log] [blame]
Adam Langley6e8184d2009-11-02 18:25:20 -08001// 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
5package tls
6
7import (
Robert Griesemer5a1d3322009-12-15 15:33:31 -08008 "crypto/hmac"
9 "crypto/md5"
10 "crypto/sha1"
11 "hash"
Adam Langley6e8184d2009-11-02 18:25:20 -080012)
13
14// Split a premaster secret in two as specified in RFC 4346, section 5.
15func splitPreMasterSecret(secret []byte) (s1, s2 []byte) {
Robert Griesemer5a1d3322009-12-15 15:33:31 -080016 s1 = secret[0 : (len(secret)+1)/2]
17 s2 = secret[len(secret)/2:]
18 return
Adam Langley6e8184d2009-11-02 18:25:20 -080019}
20
21// pHash implements the P_hash function, as defined in RFC 4346, section 5.
Jukka-Pekka Kekkonenba5b09f2010-08-26 13:32:29 -040022func pHash(result, secret, seed []byte, hash func() hash.Hash) {
Robert Griesemer5a1d3322009-12-15 15:33:31 -080023 h := hmac.New(hash, secret)
24 h.Write(seed)
25 a := h.Sum()
Adam Langley6e8184d2009-11-02 18:25:20 -080026
Robert Griesemer5a1d3322009-12-15 15:33:31 -080027 j := 0
Adam Langley6e8184d2009-11-02 18:25:20 -080028 for j < len(result) {
Robert Griesemer5a1d3322009-12-15 15:33:31 -080029 h.Reset()
30 h.Write(a)
31 h.Write(seed)
32 b := h.Sum()
33 todo := len(b)
Adam Langley6e8184d2009-11-02 18:25:20 -080034 if j+todo > len(result) {
Robert Griesemerbaba2922009-11-09 21:13:17 -080035 todo = len(result) - j
Adam Langley6e8184d2009-11-02 18:25:20 -080036 }
Robert Griesemer5a1d3322009-12-15 15:33:31 -080037 copy(result[j:j+todo], b)
38 j += todo
Adam Langley6e8184d2009-11-02 18:25:20 -080039
Robert Griesemer5a1d3322009-12-15 15:33:31 -080040 h.Reset()
41 h.Write(a)
42 a = h.Sum()
Adam Langley6e8184d2009-11-02 18:25:20 -080043 }
44}
45
Adam Langleyeedf5c42010-12-15 11:49:55 -050046// pRF10 implements the TLS 1.0 pseudo-random function, as defined in RFC 2246, section 5.
47func pRF10(result, secret, label, seed []byte) {
Jukka-Pekka Kekkonenba5b09f2010-08-26 13:32:29 -040048 hashSHA1 := sha1.New
49 hashMD5 := md5.New
Adam Langley6e8184d2009-11-02 18:25:20 -080050
Robert Griesemer5a1d3322009-12-15 15:33:31 -080051 labelAndSeed := make([]byte, len(label)+len(seed))
52 copy(labelAndSeed, label)
53 copy(labelAndSeed[len(label):], seed)
Adam Langley6e8184d2009-11-02 18:25:20 -080054
Robert Griesemer5a1d3322009-12-15 15:33:31 -080055 s1, s2 := splitPreMasterSecret(secret)
56 pHash(result, s1, labelAndSeed, hashMD5)
57 result2 := make([]byte, len(result))
58 pHash(result2, s2, labelAndSeed, hashSHA1)
Adam Langley6e8184d2009-11-02 18:25:20 -080059
60 for i, b := range result2 {
Robert Griesemer40621d52009-11-09 12:07:39 -080061 result[i] ^= b
Adam Langley6e8184d2009-11-02 18:25:20 -080062 }
63}
64
Adam Langleya775fbf2011-09-14 15:32:19 -040065// 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.
67func 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 Langley6e8184d2009-11-02 18:25:20 -080098const (
Robert Griesemer5a1d3322009-12-15 15:33:31 -080099 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 Langley6e8184d2009-11-02 18:25:20 -0800102)
103
Russ Cox9750adb2010-02-25 16:01:29 -0800104var masterSecretLabel = []byte("master secret")
105var keyExpansionLabel = []byte("key expansion")
106var clientFinishedLabel = []byte("client finished")
107var serverFinishedLabel = []byte("server finished")
Adam Langley6e8184d2009-11-02 18:25:20 -0800108
109// keysFromPreMasterSecret generates the connection keys from the pre master
Adam Langleyeedf5c42010-12-15 11:49:55 -0500110// secret, given the lengths of the MAC key, cipher key and IV, as defined in
111// RFC 2246, section 6.3.
Adam Langleya775fbf2011-09-14 15:32:19 -0400112func 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 Griesemer5a1d3322009-12-15 15:33:31 -0800118 var seed [tlsRandomLength * 2]byte
119 copy(seed[0:len(clientRandom)], clientRandom)
120 copy(seed[len(clientRandom):], serverRandom)
121 masterSecret = make([]byte, masterSecretLength)
Adam Langleya775fbf2011-09-14 15:32:19 -0400122 prf(masterSecret, preMasterSecret, masterSecretLabel, seed[0:])
Adam Langley6e8184d2009-11-02 18:25:20 -0800123
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800124 copy(seed[0:len(clientRandom)], serverRandom)
125 copy(seed[len(serverRandom):], clientRandom)
Adam Langley6e8184d2009-11-02 18:25:20 -0800126
Adam Langleyeedf5c42010-12-15 11:49:55 -0500127 n := 2*macLen + 2*keyLen + 2*ivLen
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800128 keyMaterial := make([]byte, n)
Adam Langleya775fbf2011-09-14 15:32:19 -0400129 prf(keyMaterial, masterSecret, keyExpansionLabel, seed[0:])
Adam Langleyeedf5c42010-12-15 11:49:55 -0500130 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 Griesemer5a1d3322009-12-15 15:33:31 -0800141 return
Adam Langley6e8184d2009-11-02 18:25:20 -0800142}
143
Adam Langleya775fbf2011-09-14 15:32:19 -0400144func newFinishedHash(version uint16) finishedHash {
145 return finishedHash{md5.New(), sha1.New(), md5.New(), sha1.New(), version}
146}
147
Adam Langley6e8184d2009-11-02 18:25:20 -0800148// A finishedHash calculates the hash of a set of handshake messages suitable
149// for including in a Finished message.
150type finishedHash struct {
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800151 clientMD5 hash.Hash
152 clientSHA1 hash.Hash
153 serverMD5 hash.Hash
154 serverSHA1 hash.Hash
Adam Langleya775fbf2011-09-14 15:32:19 -0400155 version uint16
Adam Langley6e8184d2009-11-02 18:25:20 -0800156}
157
Russ Coxc2049d22011-11-01 22:04:37 -0400158func (h finishedHash) Write(msg []byte) (n int, err error) {
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800159 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 Langley6e8184d2009-11-02 18:25:20 -0800164}
165
Adam Langleya775fbf2011-09-14 15:32:19 -0400166// 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.
169func finishedSum10(md5, sha1, label, masterSecret []byte) []byte {
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800170 seed := make([]byte, len(md5)+len(sha1))
171 copy(seed, md5)
172 copy(seed[len(md5):], sha1)
173 out := make([]byte, finishedVerifyLength)
Adam Langleyeedf5c42010-12-15 11:49:55 -0500174 pRF10(out, masterSecret, label, seed)
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800175 return out
Adam Langley6e8184d2009-11-02 18:25:20 -0800176}
177
Adam Langleya775fbf2011-09-14 15:32:19 -0400178// 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.
181func 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
210var ssl3ClientFinishedMagic = [4]byte{0x43, 0x4c, 0x4e, 0x54}
211var ssl3ServerFinishedMagic = [4]byte{0x53, 0x52, 0x56, 0x52}
212
Adam Langley6e8184d2009-11-02 18:25:20 -0800213// clientSum returns the contents of the verify_data member of a client's
214// Finished message.
215func (h finishedHash) clientSum(masterSecret []byte) []byte {
Adam Langleya775fbf2011-09-14 15:32:19 -0400216 if h.version == versionSSL30 {
217 return finishedSum30(h.clientMD5, h.clientSHA1, masterSecret, ssl3ClientFinishedMagic)
218 }
219
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800220 md5 := h.clientMD5.Sum()
221 sha1 := h.clientSHA1.Sum()
Adam Langleya775fbf2011-09-14 15:32:19 -0400222 return finishedSum10(md5, sha1, clientFinishedLabel, masterSecret)
Adam Langley6e8184d2009-11-02 18:25:20 -0800223}
224
225// serverSum returns the contents of the verify_data member of a server's
226// Finished message.
227func (h finishedHash) serverSum(masterSecret []byte) []byte {
Adam Langleya775fbf2011-09-14 15:32:19 -0400228 if h.version == versionSSL30 {
229 return finishedSum30(h.serverMD5, h.serverSHA1, masterSecret, ssl3ServerFinishedMagic)
230 }
231
Robert Griesemer5a1d3322009-12-15 15:33:31 -0800232 md5 := h.serverMD5.Sum()
233 sha1 := h.serverSHA1.Sum()
Adam Langleya775fbf2011-09-14 15:32:19 -0400234 return finishedSum10(md5, sha1, serverFinishedLabel, masterSecret)
Adam Langley6e8184d2009-11-02 18:25:20 -0800235}