blob: 52951d3b43fb3f0c511a064c1627d23fd4bd6e26 [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001// 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
Adam Langleydc7e9c42015-09-29 15:21:04 -07005package runner
Adam Langley95c29f32014-06-20 12:00:00 -07006
7import (
8 "bytes"
Nick Harper60edffd2016-06-21 15:19:24 -07009 "crypto"
Adam Langley95c29f32014-06-20 12:00:00 -070010 "crypto/ecdsa"
David Benjamind30a9902014-08-24 01:44:23 -040011 "crypto/elliptic"
Adam Langley95c29f32014-06-20 12:00:00 -070012 "crypto/rsa"
13 "crypto/subtle"
14 "crypto/x509"
Adam Langley95c29f32014-06-20 12:00:00 -070015 "errors"
16 "fmt"
17 "io"
David Benjaminde620d92014-07-18 15:03:41 -040018 "math/big"
Adam Langley95c29f32014-06-20 12:00:00 -070019 "net"
20 "strconv"
21)
22
23type clientHandshakeState struct {
David Benjamin83f90402015-01-27 01:09:43 -050024 c *Conn
25 serverHello *serverHelloMsg
26 hello *clientHelloMsg
27 suite *cipherSuite
28 finishedHash finishedHash
Nick Harperb41d2e42016-07-01 17:50:32 -040029 keyShares map[CurveID]ecdhCurve
David Benjamin83f90402015-01-27 01:09:43 -050030 masterSecret []byte
31 session *ClientSessionState
32 finishedBytes []byte
Adam Langley95c29f32014-06-20 12:00:00 -070033}
34
35func (c *Conn) clientHandshake() error {
36 if c.config == nil {
37 c.config = defaultConfig()
38 }
39
40 if len(c.config.ServerName) == 0 && !c.config.InsecureSkipVerify {
41 return errors.New("tls: either ServerName or InsecureSkipVerify must be specified in the tls.Config")
42 }
43
David Benjamin83c0bc92014-08-04 01:23:53 -040044 c.sendHandshakeSeq = 0
45 c.recvHandshakeSeq = 0
46
David Benjaminfa055a22014-09-15 16:51:51 -040047 nextProtosLength := 0
48 for _, proto := range c.config.NextProtos {
Adam Langleyefb0e162015-07-09 11:35:04 -070049 if l := len(proto); l > 255 {
David Benjaminfa055a22014-09-15 16:51:51 -040050 return errors.New("tls: invalid NextProtos value")
51 } else {
52 nextProtosLength += 1 + l
53 }
54 }
55 if nextProtosLength > 0xffff {
56 return errors.New("tls: NextProtos values too large")
57 }
58
Adam Langley95c29f32014-06-20 12:00:00 -070059 hello := &clientHelloMsg{
David Benjaminca6c8262014-11-15 19:06:08 -050060 isDTLS: c.isDTLS,
David Benjamincecee272016-06-30 13:33:47 -040061 vers: c.config.maxVersion(c.isDTLS),
David Benjaminca6c8262014-11-15 19:06:08 -050062 compressionMethods: []uint8{compressionNone},
63 random: make([]byte, 32),
64 ocspStapling: true,
Paul Lietar4fac72e2015-09-09 13:44:55 +010065 sctListSupported: true,
David Benjaminca6c8262014-11-15 19:06:08 -050066 serverName: c.config.ServerName,
67 supportedCurves: c.config.curvePreferences(),
68 supportedPoints: []uint8{pointFormatUncompressed},
69 nextProtoNeg: len(c.config.NextProtos) > 0,
70 secureRenegotiation: []byte{},
71 alpnProtocols: c.config.NextProtos,
72 duplicateExtension: c.config.Bugs.DuplicateExtension,
73 channelIDSupported: c.config.ChannelID != nil,
74 npnLast: c.config.Bugs.SwapNPNAndALPN,
David Benjamincecee272016-06-30 13:33:47 -040075 extendedMasterSecret: c.config.maxVersion(c.isDTLS) >= VersionTLS10,
David Benjaminca6c8262014-11-15 19:06:08 -050076 srtpProtectionProfiles: c.config.SRTPProtectionProfiles,
77 srtpMasterKeyIdentifier: c.config.Bugs.SRTPMasterKeyIdentifer,
Adam Langley09505632015-07-30 18:10:13 -070078 customExtension: c.config.Bugs.CustomExtension,
Adam Langley95c29f32014-06-20 12:00:00 -070079 }
80
David Benjamin98e882e2014-08-08 13:24:34 -040081 if c.config.Bugs.SendClientVersion != 0 {
82 hello.vers = c.config.Bugs.SendClientVersion
83 }
84
Adam Langley75712922014-10-10 16:23:43 -070085 if c.config.Bugs.NoExtendedMasterSecret {
86 hello.extendedMasterSecret = false
87 }
88
David Benjamin55a43642015-04-20 14:45:55 -040089 if c.config.Bugs.NoSupportedCurves {
90 hello.supportedCurves = nil
91 }
92
Adam Langley2ae77d22014-10-28 17:29:33 -070093 if len(c.clientVerify) > 0 && !c.config.Bugs.EmptyRenegotiationInfo {
94 if c.config.Bugs.BadRenegotiationInfo {
95 hello.secureRenegotiation = append(hello.secureRenegotiation, c.clientVerify...)
96 hello.secureRenegotiation[0] ^= 0x80
97 } else {
98 hello.secureRenegotiation = c.clientVerify
99 }
100 }
101
David Benjamin3e052de2015-11-25 20:10:31 -0500102 if c.noRenegotiationInfo() {
David Benjaminca6554b2014-11-08 12:31:52 -0500103 hello.secureRenegotiation = nil
104 }
105
Nick Harperb41d2e42016-07-01 17:50:32 -0400106 var keyShares map[CurveID]ecdhCurve
David Benjamin8d315d72016-07-18 01:03:18 +0200107 if hello.vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400108 // Offer every supported curve in the initial ClientHello.
109 //
110 // TODO(davidben): For real code, default to a more conservative
111 // set like P-256 and X25519. Make it configurable for tests to
112 // stress the HelloRetryRequest logic when implemented.
113 keyShares = make(map[CurveID]ecdhCurve)
114 for _, curveID := range hello.supportedCurves {
115 curve, ok := curveForCurveID(curveID)
116 if !ok {
117 continue
118 }
119 publicKey, err := curve.offer(c.config.rand())
120 if err != nil {
121 return err
122 }
Steven Valdez0ee2e112016-07-15 06:51:15 -0400123
124 if c.config.Bugs.SendCurve != 0 {
125 curveID = c.config.Bugs.SendCurve
126 }
127 if c.config.Bugs.InvalidECDHPoint {
128 publicKey[0] ^= 0xff
129 }
130
Nick Harperb41d2e42016-07-01 17:50:32 -0400131 hello.keyShares = append(hello.keyShares, keyShareEntry{
132 group: curveID,
133 keyExchange: publicKey,
134 })
135 keyShares[curveID] = curve
Steven Valdez143e8b32016-07-11 13:19:03 -0400136
137 if c.config.Bugs.DuplicateKeyShares {
138 hello.keyShares = append(hello.keyShares, hello.keyShares[len(hello.keyShares)-1])
139 }
140 }
141
142 if c.config.Bugs.MissingKeyShare {
143 hello.keyShares = nil
Nick Harperb41d2e42016-07-01 17:50:32 -0400144 }
145 }
146
Adam Langley95c29f32014-06-20 12:00:00 -0700147 possibleCipherSuites := c.config.cipherSuites()
148 hello.cipherSuites = make([]uint16, 0, len(possibleCipherSuites))
149
150NextCipherSuite:
151 for _, suiteId := range possibleCipherSuites {
152 for _, suite := range cipherSuites {
153 if suite.id != suiteId {
154 continue
155 }
David Benjamin0407e762016-06-17 16:41:18 -0400156 if !c.config.Bugs.EnableAllCiphers {
157 // Don't advertise TLS 1.2-only cipher suites unless
158 // we're attempting TLS 1.2.
159 if hello.vers < VersionTLS12 && suite.flags&suiteTLS12 != 0 {
160 continue
161 }
162 // Don't advertise non-DTLS cipher suites in DTLS.
163 if c.isDTLS && suite.flags&suiteNoDTLS != 0 {
164 continue
165 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400166 }
Adam Langley95c29f32014-06-20 12:00:00 -0700167 hello.cipherSuites = append(hello.cipherSuites, suiteId)
168 continue NextCipherSuite
169 }
170 }
171
Adam Langley5021b222015-06-12 18:27:58 -0700172 if c.config.Bugs.SendRenegotiationSCSV {
173 hello.cipherSuites = append(hello.cipherSuites, renegotiationSCSV)
174 }
175
David Benjaminbef270a2014-08-02 04:22:02 -0400176 if c.config.Bugs.SendFallbackSCSV {
177 hello.cipherSuites = append(hello.cipherSuites, fallbackSCSV)
178 }
179
Adam Langley95c29f32014-06-20 12:00:00 -0700180 _, err := io.ReadFull(c.config.rand(), hello.random)
181 if err != nil {
182 c.sendAlert(alertInternalError)
183 return errors.New("tls: short read from Rand: " + err.Error())
184 }
185
Nick Harper60edffd2016-06-21 15:19:24 -0700186 if hello.vers >= VersionTLS12 && !c.config.Bugs.NoSignatureAlgorithms {
David Benjamin7a41d372016-07-09 11:21:54 -0700187 hello.signatureAlgorithms = c.config.verifySignatureAlgorithms()
Adam Langley95c29f32014-06-20 12:00:00 -0700188 }
189
190 var session *ClientSessionState
191 var cacheKey string
192 sessionCache := c.config.ClientSessionCache
Adam Langley95c29f32014-06-20 12:00:00 -0700193
194 if sessionCache != nil {
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500195 hello.ticketSupported = !c.config.SessionTicketsDisabled
Adam Langley95c29f32014-06-20 12:00:00 -0700196
197 // Try to resume a previously negotiated TLS session, if
198 // available.
199 cacheKey = clientSessionCacheKey(c.conn.RemoteAddr(), c.config)
200 candidateSession, ok := sessionCache.Get(cacheKey)
201 if ok {
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500202 ticketOk := !c.config.SessionTicketsDisabled || candidateSession.sessionTicket == nil
203
Adam Langley95c29f32014-06-20 12:00:00 -0700204 // Check that the ciphersuite/version used for the
205 // previous session are still valid.
206 cipherSuiteOk := false
207 for _, id := range hello.cipherSuites {
208 if id == candidateSession.cipherSuite {
209 cipherSuiteOk = true
210 break
211 }
212 }
213
David Benjamincecee272016-06-30 13:33:47 -0400214 versOk := candidateSession.vers >= c.config.minVersion(c.isDTLS) &&
215 candidateSession.vers <= c.config.maxVersion(c.isDTLS)
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500216 if ticketOk && versOk && cipherSuiteOk {
Adam Langley95c29f32014-06-20 12:00:00 -0700217 session = candidateSession
218 }
219 }
220 }
221
222 if session != nil {
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500223 if session.sessionTicket != nil {
224 hello.sessionTicket = session.sessionTicket
225 if c.config.Bugs.CorruptTicket {
226 hello.sessionTicket = make([]byte, len(session.sessionTicket))
227 copy(hello.sessionTicket, session.sessionTicket)
228 if len(hello.sessionTicket) > 0 {
229 offset := 40
230 if offset > len(hello.sessionTicket) {
231 offset = len(hello.sessionTicket) - 1
232 }
233 hello.sessionTicket[offset] ^= 0x40
Adam Langley38311732014-10-16 19:04:35 -0700234 }
Adam Langley38311732014-10-16 19:04:35 -0700235 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500236 // A random session ID is used to detect when the
237 // server accepted the ticket and is resuming a session
238 // (see RFC 5077).
239 sessionIdLen := 16
240 if c.config.Bugs.OversizedSessionId {
241 sessionIdLen = 33
242 }
243 hello.sessionId = make([]byte, sessionIdLen)
244 if _, err := io.ReadFull(c.config.rand(), hello.sessionId); err != nil {
245 c.sendAlert(alertInternalError)
246 return errors.New("tls: short read from Rand: " + err.Error())
247 }
248 } else {
249 hello.sessionId = session.sessionId
Adam Langley95c29f32014-06-20 12:00:00 -0700250 }
251 }
252
David Benjamind86c7672014-08-02 04:07:12 -0400253 var helloBytes []byte
254 if c.config.Bugs.SendV2ClientHello {
David Benjamin94d701b2014-11-30 13:54:41 -0500255 // Test that the peer left-pads random.
256 hello.random[0] = 0
David Benjamind86c7672014-08-02 04:07:12 -0400257 v2Hello := &v2ClientHelloMsg{
258 vers: hello.vers,
259 cipherSuites: hello.cipherSuites,
260 // No session resumption for V2ClientHello.
261 sessionId: nil,
David Benjamin94d701b2014-11-30 13:54:41 -0500262 challenge: hello.random[1:],
David Benjamind86c7672014-08-02 04:07:12 -0400263 }
264 helloBytes = v2Hello.marshal()
265 c.writeV2Record(helloBytes)
266 } else {
267 helloBytes = hello.marshal()
David Benjamin7964b182016-07-14 23:36:30 -0400268 if c.config.Bugs.PartialClientFinishedWithClientHello {
269 // Include one byte of Finished. We can compute it
270 // without completing the handshake. This assumes we
271 // negotiate TLS 1.3 with no HelloRetryRequest or
272 // CertificateRequest.
273 toWrite := make([]byte, 0, len(helloBytes)+1)
274 toWrite = append(toWrite, helloBytes...)
275 toWrite = append(toWrite, typeFinished)
276 c.writeRecord(recordTypeHandshake, toWrite)
277 } else {
278 c.writeRecord(recordTypeHandshake, helloBytes)
279 }
David Benjamind86c7672014-08-02 04:07:12 -0400280 }
David Benjamin582ba042016-07-07 12:33:25 -0700281 c.flushHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700282
David Benjamin83f90402015-01-27 01:09:43 -0500283 if err := c.simulatePacketLoss(nil); err != nil {
284 return err
285 }
Adam Langley95c29f32014-06-20 12:00:00 -0700286 msg, err := c.readHandshake()
287 if err != nil {
288 return err
289 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400290
291 if c.isDTLS {
292 helloVerifyRequest, ok := msg.(*helloVerifyRequestMsg)
293 if ok {
David Benjamin8bc38f52014-08-16 12:07:27 -0400294 if helloVerifyRequest.vers != VersionTLS10 {
295 // Per RFC 6347, the version field in
296 // HelloVerifyRequest SHOULD be always DTLS
297 // 1.0. Enforce this for testing purposes.
298 return errors.New("dtls: bad HelloVerifyRequest version")
299 }
300
David Benjamin83c0bc92014-08-04 01:23:53 -0400301 hello.raw = nil
302 hello.cookie = helloVerifyRequest.cookie
303 helloBytes = hello.marshal()
304 c.writeRecord(recordTypeHandshake, helloBytes)
David Benjamin582ba042016-07-07 12:33:25 -0700305 c.flushHandshake()
David Benjamin83c0bc92014-08-04 01:23:53 -0400306
David Benjamin83f90402015-01-27 01:09:43 -0500307 if err := c.simulatePacketLoss(nil); err != nil {
308 return err
309 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400310 msg, err = c.readHandshake()
311 if err != nil {
312 return err
313 }
314 }
315 }
316
Nick Harperb41d2e42016-07-01 17:50:32 -0400317 // TODO(davidben): Handle HelloRetryRequest.
Adam Langley95c29f32014-06-20 12:00:00 -0700318 serverHello, ok := msg.(*serverHelloMsg)
319 if !ok {
320 c.sendAlert(alertUnexpectedMessage)
321 return unexpectedMessageError(serverHello, msg)
322 }
323
David Benjamincecee272016-06-30 13:33:47 -0400324 c.vers, ok = c.config.mutualVersion(serverHello.vers, c.isDTLS)
David Benjamin76d8abe2014-08-14 16:25:34 -0400325 if !ok {
Adam Langley95c29f32014-06-20 12:00:00 -0700326 c.sendAlert(alertProtocolVersion)
327 return fmt.Errorf("tls: server selected unsupported protocol version %x", serverHello.vers)
328 }
Adam Langley95c29f32014-06-20 12:00:00 -0700329 c.haveVers = true
330
Nick Harper85f20c22016-07-04 10:11:59 -0700331 // Check for downgrade signals in the server random, per
David Benjamin1f61f0d2016-07-10 12:20:35 -0400332 // draft-ietf-tls-tls13-14, section 6.3.1.2.
Nick Harper85f20c22016-07-04 10:11:59 -0700333 if c.vers <= VersionTLS12 && c.config.maxVersion(c.isDTLS) >= VersionTLS13 {
David Benjamin1f61f0d2016-07-10 12:20:35 -0400334 if bytes.Equal(serverHello.random[len(serverHello.random)-8:], downgradeTLS13) {
Nick Harper85f20c22016-07-04 10:11:59 -0700335 c.sendAlert(alertProtocolVersion)
336 return errors.New("tls: downgrade from TLS 1.3 detected")
337 }
338 }
339 if c.vers <= VersionTLS11 && c.config.maxVersion(c.isDTLS) >= VersionTLS12 {
David Benjamin1f61f0d2016-07-10 12:20:35 -0400340 if bytes.Equal(serverHello.random[len(serverHello.random)-8:], downgradeTLS12) {
Nick Harper85f20c22016-07-04 10:11:59 -0700341 c.sendAlert(alertProtocolVersion)
342 return errors.New("tls: downgrade from TLS 1.2 detected")
343 }
344 }
345
Adam Langley95c29f32014-06-20 12:00:00 -0700346 suite := mutualCipherSuite(c.config.cipherSuites(), serverHello.cipherSuite)
347 if suite == nil {
348 c.sendAlert(alertHandshakeFailure)
349 return fmt.Errorf("tls: server selected an unsupported cipher suite")
350 }
351
352 hs := &clientHandshakeState{
353 c: c,
354 serverHello: serverHello,
355 hello: hello,
356 suite: suite,
357 finishedHash: newFinishedHash(c.vers, suite),
Nick Harperb41d2e42016-07-01 17:50:32 -0400358 keyShares: keyShares,
Adam Langley95c29f32014-06-20 12:00:00 -0700359 session: session,
360 }
361
David Benjamin83c0bc92014-08-04 01:23:53 -0400362 hs.writeHash(helloBytes, hs.c.sendHandshakeSeq-1)
363 hs.writeServerHash(hs.serverHello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700364
David Benjamin8d315d72016-07-18 01:03:18 +0200365 if c.vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400366 if err := hs.doTLS13Handshake(); err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700367 return err
368 }
369 } else {
Nick Harperb41d2e42016-07-01 17:50:32 -0400370 if c.config.Bugs.EarlyChangeCipherSpec > 0 {
371 hs.establishKeys()
372 c.writeRecord(recordTypeChangeCipherSpec, []byte{1})
373 }
374
375 if hs.serverHello.compressionMethod != compressionNone {
376 c.sendAlert(alertUnexpectedMessage)
377 return errors.New("tls: server selected unsupported compression format")
378 }
379
380 err = hs.processServerExtensions(&serverHello.extensions)
381 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700382 return err
383 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400384
385 isResume, err := hs.processServerHello()
386 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700387 return err
388 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400389
390 if isResume {
391 if c.config.Bugs.EarlyChangeCipherSpec == 0 {
392 if err := hs.establishKeys(); err != nil {
393 return err
394 }
395 }
396 if err := hs.readSessionTicket(); err != nil {
397 return err
398 }
399 if err := hs.readFinished(c.firstFinished[:]); err != nil {
400 return err
401 }
402 if err := hs.sendFinished(nil, isResume); err != nil {
403 return err
404 }
405 } else {
406 if err := hs.doFullHandshake(); err != nil {
407 return err
408 }
409 if err := hs.establishKeys(); err != nil {
410 return err
411 }
412 if err := hs.sendFinished(c.firstFinished[:], isResume); err != nil {
413 return err
414 }
415 // Most retransmits are triggered by a timeout, but the final
416 // leg of the handshake is retransmited upon re-receiving a
417 // Finished.
418 if err := c.simulatePacketLoss(func() {
419 c.writeRecord(recordTypeHandshake, hs.finishedBytes)
420 c.flushHandshake()
421 }); err != nil {
422 return err
423 }
424 if err := hs.readSessionTicket(); err != nil {
425 return err
426 }
427 if err := hs.readFinished(nil); err != nil {
428 return err
429 }
Adam Langley95c29f32014-06-20 12:00:00 -0700430 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400431
432 if sessionCache != nil && hs.session != nil && session != hs.session {
433 if c.config.Bugs.RequireSessionTickets && len(hs.session.sessionTicket) == 0 {
434 return errors.New("tls: new session used session IDs instead of tickets")
435 }
436 sessionCache.Put(cacheKey, hs.session)
David Benjamin83f90402015-01-27 01:09:43 -0500437 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400438
439 c.didResume = isResume
David Benjamin97a0a082016-07-13 17:57:35 -0400440 c.exporterSecret = hs.masterSecret
Adam Langley95c29f32014-06-20 12:00:00 -0700441 }
442
Adam Langley95c29f32014-06-20 12:00:00 -0700443 c.handshakeComplete = true
David Benjaminc565ebb2015-04-03 04:06:36 -0400444 c.cipherSuite = suite
445 copy(c.clientRandom[:], hs.hello.random)
446 copy(c.serverRandom[:], hs.serverHello.random)
Paul Lietar4fac72e2015-09-09 13:44:55 +0100447
Adam Langley95c29f32014-06-20 12:00:00 -0700448 return nil
449}
450
Nick Harperb41d2e42016-07-01 17:50:32 -0400451func (hs *clientHandshakeState) doTLS13Handshake() error {
452 c := hs.c
453
454 // Once the PRF hash is known, TLS 1.3 does not require a handshake
455 // buffer.
456 hs.finishedHash.discardHandshakeBuffer()
457
458 zeroSecret := hs.finishedHash.zeroSecret()
459
460 // Resolve PSK and compute the early secret.
461 //
462 // TODO(davidben): This will need to be handled slightly earlier once
463 // 0-RTT is implemented.
464 var psk []byte
465 if hs.suite.flags&suitePSK != 0 {
466 if !hs.serverHello.hasPSKIdentity {
467 c.sendAlert(alertMissingExtension)
468 return errors.New("tls: server omitted the PSK identity extension")
469 }
470
471 // TODO(davidben): Support PSK ciphers and PSK resumption. Set
472 // the resumption context appropriately if resuming.
473 return errors.New("tls: PSK ciphers not implemented for TLS 1.3")
474 } else {
475 if hs.serverHello.hasPSKIdentity {
476 c.sendAlert(alertUnsupportedExtension)
477 return errors.New("tls: server sent unexpected PSK identity")
478 }
479
480 psk = zeroSecret
481 hs.finishedHash.setResumptionContext(zeroSecret)
482 }
483
484 earlySecret := hs.finishedHash.extractKey(zeroSecret, psk)
485
486 // Resolve ECDHE and compute the handshake secret.
487 var ecdheSecret []byte
Steven Valdez143e8b32016-07-11 13:19:03 -0400488 if hs.suite.flags&suiteECDHE != 0 && !c.config.Bugs.MissingKeyShare {
Nick Harperb41d2e42016-07-01 17:50:32 -0400489 if !hs.serverHello.hasKeyShare {
490 c.sendAlert(alertMissingExtension)
491 return errors.New("tls: server omitted the key share extension")
492 }
493
494 curve, ok := hs.keyShares[hs.serverHello.keyShare.group]
495 if !ok {
496 c.sendAlert(alertHandshakeFailure)
497 return errors.New("tls: server selected an unsupported group")
498 }
499
500 var err error
501 ecdheSecret, err = curve.finish(hs.serverHello.keyShare.keyExchange)
502 if err != nil {
503 return err
504 }
505 } else {
506 if hs.serverHello.hasKeyShare {
507 c.sendAlert(alertUnsupportedExtension)
508 return errors.New("tls: server sent unexpected key share extension")
509 }
510
511 ecdheSecret = zeroSecret
512 }
513
514 // Compute the handshake secret.
515 handshakeSecret := hs.finishedHash.extractKey(earlySecret, ecdheSecret)
516
517 // Switch to handshake traffic keys.
518 handshakeTrafficSecret := hs.finishedHash.deriveSecret(handshakeSecret, handshakeTrafficLabel)
519 c.out.updateKeys(deriveTrafficAEAD(c.vers, hs.suite, handshakeTrafficSecret, handshakePhase, clientWrite), c.vers)
520 c.in.updateKeys(deriveTrafficAEAD(c.vers, hs.suite, handshakeTrafficSecret, handshakePhase, serverWrite), c.vers)
521
522 msg, err := c.readHandshake()
523 if err != nil {
524 return err
525 }
526
527 encryptedExtensions, ok := msg.(*encryptedExtensionsMsg)
528 if !ok {
529 c.sendAlert(alertUnexpectedMessage)
530 return unexpectedMessageError(encryptedExtensions, msg)
531 }
532 hs.writeServerHash(encryptedExtensions.marshal())
533
534 err = hs.processServerExtensions(&encryptedExtensions.extensions)
535 if err != nil {
536 return err
537 }
538
539 var chainToSend *Certificate
David Benjamin8d343b42016-07-09 14:26:01 -0700540 var certReq *certificateRequestMsg
David Benjamin44b33bc2016-07-01 22:40:23 -0400541 if hs.suite.flags&suitePSK != 0 {
542 if encryptedExtensions.extensions.ocspResponse != nil {
543 c.sendAlert(alertUnsupportedExtension)
544 return errors.New("tls: server sent OCSP response without a certificate")
545 }
546 if encryptedExtensions.extensions.sctList != nil {
547 c.sendAlert(alertUnsupportedExtension)
548 return errors.New("tls: server sent SCT list without a certificate")
549 }
550 } else {
551 c.ocspResponse = encryptedExtensions.extensions.ocspResponse
552 c.sctList = encryptedExtensions.extensions.sctList
Nick Harperb41d2e42016-07-01 17:50:32 -0400553
554 msg, err := c.readHandshake()
555 if err != nil {
556 return err
557 }
558
David Benjamin8d343b42016-07-09 14:26:01 -0700559 var ok bool
560 certReq, ok = msg.(*certificateRequestMsg)
Nick Harperb41d2e42016-07-01 17:50:32 -0400561 if ok {
David Benjaminb62d2872016-07-18 14:55:02 +0200562 if c.config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
563 certReq.signatureAlgorithms = c.config.signSignatureAlgorithms()
564 }
565
Nick Harperb41d2e42016-07-01 17:50:32 -0400566 hs.writeServerHash(certReq.marshal())
Nick Harperb41d2e42016-07-01 17:50:32 -0400567
568 chainToSend, err = selectClientCertificate(c, certReq)
569 if err != nil {
570 return err
571 }
572
573 msg, err = c.readHandshake()
574 if err != nil {
575 return err
576 }
577 }
578
579 certMsg, ok := msg.(*certificateMsg)
580 if !ok {
581 c.sendAlert(alertUnexpectedMessage)
582 return unexpectedMessageError(certMsg, msg)
583 }
584 hs.writeServerHash(certMsg.marshal())
585
586 if err := hs.verifyCertificates(certMsg); err != nil {
587 return err
588 }
589 leaf := c.peerCertificates[0]
590
591 msg, err = c.readHandshake()
592 if err != nil {
593 return err
594 }
595 certVerifyMsg, ok := msg.(*certificateVerifyMsg)
596 if !ok {
597 c.sendAlert(alertUnexpectedMessage)
598 return unexpectedMessageError(certVerifyMsg, msg)
599 }
600
David Benjaminf74ec792016-07-13 21:18:49 -0400601 c.peerSignatureAlgorithm = certVerifyMsg.signatureAlgorithm
Nick Harperb41d2e42016-07-01 17:50:32 -0400602 input := hs.finishedHash.certificateVerifyInput(serverCertificateVerifyContextTLS13)
David Benjamin1fb125c2016-07-08 18:52:12 -0700603 err = verifyMessage(c.vers, leaf.PublicKey, c.config, certVerifyMsg.signatureAlgorithm, input, certVerifyMsg.signature)
Nick Harperb41d2e42016-07-01 17:50:32 -0400604 if err != nil {
605 return err
606 }
607
608 hs.writeServerHash(certVerifyMsg.marshal())
609 }
610
611 msg, err = c.readHandshake()
612 if err != nil {
613 return err
614 }
615 serverFinished, ok := msg.(*finishedMsg)
616 if !ok {
617 c.sendAlert(alertUnexpectedMessage)
618 return unexpectedMessageError(serverFinished, msg)
619 }
620
621 verify := hs.finishedHash.serverSum(handshakeTrafficSecret)
622 if len(verify) != len(serverFinished.verifyData) ||
623 subtle.ConstantTimeCompare(verify, serverFinished.verifyData) != 1 {
624 c.sendAlert(alertHandshakeFailure)
625 return errors.New("tls: server's Finished message was incorrect")
626 }
627
628 hs.writeServerHash(serverFinished.marshal())
629
630 // The various secrets do not incorporate the client's final leg, so
631 // derive them now before updating the handshake context.
632 masterSecret := hs.finishedHash.extractKey(handshakeSecret, zeroSecret)
633 trafficSecret := hs.finishedHash.deriveSecret(masterSecret, applicationTrafficLabel)
634
Steven Valdez0ee2e112016-07-15 06:51:15 -0400635 if certReq != nil && !c.config.Bugs.SkipClientCertificate {
David Benjamin8d343b42016-07-09 14:26:01 -0700636 certMsg := &certificateMsg{
637 hasRequestContext: true,
638 requestContext: certReq.requestContext,
639 }
640 if chainToSend != nil {
641 certMsg.certificates = chainToSend.Certificate
642 }
643 hs.writeClientHash(certMsg.marshal())
644 c.writeRecord(recordTypeHandshake, certMsg.marshal())
645
646 if chainToSend != nil {
647 certVerify := &certificateVerifyMsg{
648 hasSignatureAlgorithm: true,
649 }
650
651 // Determine the hash to sign.
652 privKey := chainToSend.PrivateKey
653
654 var err error
655 certVerify.signatureAlgorithm, err = selectSignatureAlgorithm(c.vers, privKey, c.config, certReq.signatureAlgorithms)
656 if err != nil {
657 c.sendAlert(alertInternalError)
658 return err
659 }
660
661 input := hs.finishedHash.certificateVerifyInput(clientCertificateVerifyContextTLS13)
662 certVerify.signature, err = signMessage(c.vers, privKey, c.config, certVerify.signatureAlgorithm, input)
663 if err != nil {
664 c.sendAlert(alertInternalError)
665 return err
666 }
Steven Valdez0ee2e112016-07-15 06:51:15 -0400667 if c.config.Bugs.SendSignatureAlgorithm != 0 {
668 certVerify.signatureAlgorithm = c.config.Bugs.SendSignatureAlgorithm
669 }
David Benjamin8d343b42016-07-09 14:26:01 -0700670
671 hs.writeClientHash(certVerify.marshal())
672 c.writeRecord(recordTypeHandshake, certVerify.marshal())
673 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400674 }
675
676 // Send a client Finished message.
677 finished := new(finishedMsg)
678 finished.verifyData = hs.finishedHash.clientSum(handshakeTrafficSecret)
679 if c.config.Bugs.BadFinished {
680 finished.verifyData[0]++
681 }
David Benjamin97a0a082016-07-13 17:57:35 -0400682 hs.writeClientHash(finished.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400683 if c.config.Bugs.PartialClientFinishedWithClientHello {
684 // The first byte has already been sent.
685 c.writeRecord(recordTypeHandshake, finished.marshal()[1:])
686 } else {
687 c.writeRecord(recordTypeHandshake, finished.marshal())
688 }
David Benjaminee51a222016-07-07 18:34:12 -0700689 c.flushHandshake()
Nick Harperb41d2e42016-07-01 17:50:32 -0400690
691 // Switch to application data keys.
692 c.out.updateKeys(deriveTrafficAEAD(c.vers, hs.suite, trafficSecret, applicationPhase, clientWrite), c.vers)
693 c.in.updateKeys(deriveTrafficAEAD(c.vers, hs.suite, trafficSecret, applicationPhase, serverWrite), c.vers)
694
Nick Harperb41d2e42016-07-01 17:50:32 -0400695 // TODO(davidben): Derive and save the resumption master secret for receiving tickets.
696 // TODO(davidben): Save the traffic secret for KeyUpdate.
David Benjamin97a0a082016-07-13 17:57:35 -0400697 c.exporterSecret = hs.finishedHash.deriveSecret(masterSecret, exporterLabel)
Nick Harperb41d2e42016-07-01 17:50:32 -0400698 return nil
699}
700
Adam Langley95c29f32014-06-20 12:00:00 -0700701func (hs *clientHandshakeState) doFullHandshake() error {
702 c := hs.c
703
David Benjamin48cae082014-10-27 01:06:24 -0400704 var leaf *x509.Certificate
705 if hs.suite.flags&suitePSK == 0 {
706 msg, err := c.readHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700707 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700708 return err
709 }
Adam Langley95c29f32014-06-20 12:00:00 -0700710
David Benjamin48cae082014-10-27 01:06:24 -0400711 certMsg, ok := msg.(*certificateMsg)
David Benjamin75051442016-07-01 18:58:51 -0400712 if !ok {
David Benjamin48cae082014-10-27 01:06:24 -0400713 c.sendAlert(alertUnexpectedMessage)
714 return unexpectedMessageError(certMsg, msg)
715 }
716 hs.writeServerHash(certMsg.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700717
David Benjamin75051442016-07-01 18:58:51 -0400718 if err := hs.verifyCertificates(certMsg); err != nil {
719 return err
David Benjamin48cae082014-10-27 01:06:24 -0400720 }
David Benjamin75051442016-07-01 18:58:51 -0400721 leaf = c.peerCertificates[0]
David Benjamin48cae082014-10-27 01:06:24 -0400722 }
Adam Langley95c29f32014-06-20 12:00:00 -0700723
Nick Harperb3d51be2016-07-01 11:43:18 -0400724 if hs.serverHello.extensions.ocspStapling {
David Benjamin48cae082014-10-27 01:06:24 -0400725 msg, err := c.readHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700726 if err != nil {
727 return err
728 }
729 cs, ok := msg.(*certificateStatusMsg)
730 if !ok {
731 c.sendAlert(alertUnexpectedMessage)
732 return unexpectedMessageError(cs, msg)
733 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400734 hs.writeServerHash(cs.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700735
736 if cs.statusType == statusTypeOCSP {
737 c.ocspResponse = cs.response
738 }
739 }
740
David Benjamin48cae082014-10-27 01:06:24 -0400741 msg, err := c.readHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700742 if err != nil {
743 return err
744 }
745
746 keyAgreement := hs.suite.ka(c.vers)
747
748 skx, ok := msg.(*serverKeyExchangeMsg)
749 if ok {
David Benjamin83c0bc92014-08-04 01:23:53 -0400750 hs.writeServerHash(skx.marshal())
David Benjamin48cae082014-10-27 01:06:24 -0400751 err = keyAgreement.processServerKeyExchange(c.config, hs.hello, hs.serverHello, leaf, skx)
Adam Langley95c29f32014-06-20 12:00:00 -0700752 if err != nil {
753 c.sendAlert(alertUnexpectedMessage)
754 return err
755 }
756
Nick Harper60edffd2016-06-21 15:19:24 -0700757 c.peerSignatureAlgorithm = keyAgreement.peerSignatureAlgorithm()
758
Adam Langley95c29f32014-06-20 12:00:00 -0700759 msg, err = c.readHandshake()
760 if err != nil {
761 return err
762 }
763 }
764
765 var chainToSend *Certificate
766 var certRequested bool
767 certReq, ok := msg.(*certificateRequestMsg)
768 if ok {
769 certRequested = true
David Benjamin7a41d372016-07-09 11:21:54 -0700770 if c.config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
771 certReq.signatureAlgorithms = c.config.signSignatureAlgorithms()
772 }
Adam Langley95c29f32014-06-20 12:00:00 -0700773
David Benjamin83c0bc92014-08-04 01:23:53 -0400774 hs.writeServerHash(certReq.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700775
David Benjamina6f82632016-07-01 18:44:02 -0400776 chainToSend, err = selectClientCertificate(c, certReq)
777 if err != nil {
778 return err
Adam Langley95c29f32014-06-20 12:00:00 -0700779 }
780
781 msg, err = c.readHandshake()
782 if err != nil {
783 return err
784 }
785 }
786
787 shd, ok := msg.(*serverHelloDoneMsg)
788 if !ok {
789 c.sendAlert(alertUnexpectedMessage)
790 return unexpectedMessageError(shd, msg)
791 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400792 hs.writeServerHash(shd.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700793
794 // If the server requested a certificate then we have to send a
David Benjamin0b7ca7d2016-03-10 15:44:22 -0500795 // Certificate message in TLS, even if it's empty because we don't have
796 // a certificate to send. In SSL 3.0, skip the message and send a
797 // no_certificate warning alert.
Adam Langley95c29f32014-06-20 12:00:00 -0700798 if certRequested {
David Benjamin0b7ca7d2016-03-10 15:44:22 -0500799 if c.vers == VersionSSL30 && chainToSend == nil {
800 c.sendAlert(alertNoCertficate)
801 } else if !c.config.Bugs.SkipClientCertificate {
802 certMsg := new(certificateMsg)
803 if chainToSend != nil {
804 certMsg.certificates = chainToSend.Certificate
805 }
806 hs.writeClientHash(certMsg.marshal())
807 c.writeRecord(recordTypeHandshake, certMsg.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700808 }
Adam Langley95c29f32014-06-20 12:00:00 -0700809 }
810
David Benjamin48cae082014-10-27 01:06:24 -0400811 preMasterSecret, ckx, err := keyAgreement.generateClientKeyExchange(c.config, hs.hello, leaf)
Adam Langley95c29f32014-06-20 12:00:00 -0700812 if err != nil {
813 c.sendAlert(alertInternalError)
814 return err
815 }
816 if ckx != nil {
David Benjaminf3ec83d2014-07-21 22:42:34 -0400817 if c.config.Bugs.EarlyChangeCipherSpec < 2 {
David Benjamin83c0bc92014-08-04 01:23:53 -0400818 hs.writeClientHash(ckx.marshal())
David Benjaminf3ec83d2014-07-21 22:42:34 -0400819 }
Adam Langley95c29f32014-06-20 12:00:00 -0700820 c.writeRecord(recordTypeHandshake, ckx.marshal())
821 }
822
Nick Harperb3d51be2016-07-01 11:43:18 -0400823 if hs.serverHello.extensions.extendedMasterSecret && c.vers >= VersionTLS10 {
Adam Langley75712922014-10-10 16:23:43 -0700824 hs.masterSecret = extendedMasterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.finishedHash)
825 c.extendedMasterSecret = true
826 } else {
827 if c.config.Bugs.RequireExtendedMasterSecret {
828 return errors.New("tls: extended master secret required but not supported by peer")
829 }
830 hs.masterSecret = masterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.hello.random, hs.serverHello.random)
831 }
David Benjamine098ec22014-08-27 23:13:20 -0400832
Adam Langley95c29f32014-06-20 12:00:00 -0700833 if chainToSend != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700834 certVerify := &certificateVerifyMsg{
Nick Harper60edffd2016-06-21 15:19:24 -0700835 hasSignatureAlgorithm: c.vers >= VersionTLS12,
Adam Langley95c29f32014-06-20 12:00:00 -0700836 }
837
David Benjamin72dc7832015-03-16 17:49:43 -0400838 // Determine the hash to sign.
Nick Harper60edffd2016-06-21 15:19:24 -0700839 privKey := c.config.Certificates[0].PrivateKey
David Benjamin72dc7832015-03-16 17:49:43 -0400840
Nick Harper60edffd2016-06-21 15:19:24 -0700841 if certVerify.hasSignatureAlgorithm {
David Benjamin0a8deb22016-07-09 21:02:01 -0700842 certVerify.signatureAlgorithm, err = selectSignatureAlgorithm(c.vers, privKey, c.config, certReq.signatureAlgorithms)
Nick Harper60edffd2016-06-21 15:19:24 -0700843 if err != nil {
844 c.sendAlert(alertInternalError)
845 return err
Adam Langley95c29f32014-06-20 12:00:00 -0700846 }
Nick Harper60edffd2016-06-21 15:19:24 -0700847 }
848
849 if c.vers > VersionSSL30 {
David Benjamin5208fd42016-07-13 21:43:25 -0400850 certVerify.signature, err = signMessage(c.vers, privKey, c.config, certVerify.signatureAlgorithm, hs.finishedHash.buffer)
David Benjamina95e9f32016-07-08 16:28:04 -0700851 if err == nil && c.config.Bugs.SendSignatureAlgorithm != 0 {
852 certVerify.signatureAlgorithm = c.config.Bugs.SendSignatureAlgorithm
853 }
Nick Harper60edffd2016-06-21 15:19:24 -0700854 } else {
855 // SSL 3.0's client certificate construction is
856 // incompatible with signatureAlgorithm.
857 rsaKey, ok := privKey.(*rsa.PrivateKey)
858 if !ok {
859 err = errors.New("unsupported signature type for client certificate")
860 } else {
861 digest := hs.finishedHash.hashForClientCertificateSSL3(hs.masterSecret)
David Benjamin5208fd42016-07-13 21:43:25 -0400862 if c.config.Bugs.InvalidSignature {
Nick Harper60edffd2016-06-21 15:19:24 -0700863 digest[0] ^= 0x80
864 }
865 certVerify.signature, err = rsa.SignPKCS1v15(c.config.rand(), rsaKey, crypto.MD5SHA1, digest)
866 }
Adam Langley95c29f32014-06-20 12:00:00 -0700867 }
868 if err != nil {
869 c.sendAlert(alertInternalError)
870 return errors.New("tls: failed to sign handshake with client certificate: " + err.Error())
871 }
Adam Langley95c29f32014-06-20 12:00:00 -0700872
David Benjamin83c0bc92014-08-04 01:23:53 -0400873 hs.writeClientHash(certVerify.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700874 c.writeRecord(recordTypeHandshake, certVerify.marshal())
875 }
David Benjamin82261be2016-07-07 14:32:50 -0700876 // flushHandshake will be called in sendFinished.
Adam Langley95c29f32014-06-20 12:00:00 -0700877
David Benjamine098ec22014-08-27 23:13:20 -0400878 hs.finishedHash.discardHandshakeBuffer()
879
Adam Langley95c29f32014-06-20 12:00:00 -0700880 return nil
881}
882
David Benjamin75051442016-07-01 18:58:51 -0400883func (hs *clientHandshakeState) verifyCertificates(certMsg *certificateMsg) error {
884 c := hs.c
885
886 if len(certMsg.certificates) == 0 {
887 c.sendAlert(alertIllegalParameter)
888 return errors.New("tls: no certificates sent")
889 }
890
891 certs := make([]*x509.Certificate, len(certMsg.certificates))
892 for i, asn1Data := range certMsg.certificates {
893 cert, err := x509.ParseCertificate(asn1Data)
894 if err != nil {
895 c.sendAlert(alertBadCertificate)
896 return errors.New("tls: failed to parse certificate from server: " + err.Error())
897 }
898 certs[i] = cert
899 }
900
901 if !c.config.InsecureSkipVerify {
902 opts := x509.VerifyOptions{
903 Roots: c.config.RootCAs,
904 CurrentTime: c.config.time(),
905 DNSName: c.config.ServerName,
906 Intermediates: x509.NewCertPool(),
907 }
908
909 for i, cert := range certs {
910 if i == 0 {
911 continue
912 }
913 opts.Intermediates.AddCert(cert)
914 }
915 var err error
916 c.verifiedChains, err = certs[0].Verify(opts)
917 if err != nil {
918 c.sendAlert(alertBadCertificate)
919 return err
920 }
921 }
922
923 switch certs[0].PublicKey.(type) {
924 case *rsa.PublicKey, *ecdsa.PublicKey:
925 break
926 default:
927 c.sendAlert(alertUnsupportedCertificate)
928 return fmt.Errorf("tls: server's certificate contains an unsupported type of public key: %T", certs[0].PublicKey)
929 }
930
931 c.peerCertificates = certs
932 return nil
933}
934
Adam Langley95c29f32014-06-20 12:00:00 -0700935func (hs *clientHandshakeState) establishKeys() error {
936 c := hs.c
937
938 clientMAC, serverMAC, clientKey, serverKey, clientIV, serverIV :=
Nick Harper1fd39d82016-06-14 18:14:35 -0700939 keysFromMasterSecret(c.vers, hs.suite, hs.masterSecret, hs.hello.random, hs.serverHello.random, hs.suite.macLen, hs.suite.keyLen, hs.suite.ivLen(c.vers))
Adam Langley95c29f32014-06-20 12:00:00 -0700940 var clientCipher, serverCipher interface{}
941 var clientHash, serverHash macFunction
942 if hs.suite.cipher != nil {
943 clientCipher = hs.suite.cipher(clientKey, clientIV, false /* not for reading */)
944 clientHash = hs.suite.mac(c.vers, clientMAC)
945 serverCipher = hs.suite.cipher(serverKey, serverIV, true /* for reading */)
946 serverHash = hs.suite.mac(c.vers, serverMAC)
947 } else {
Nick Harper1fd39d82016-06-14 18:14:35 -0700948 clientCipher = hs.suite.aead(c.vers, clientKey, clientIV)
949 serverCipher = hs.suite.aead(c.vers, serverKey, serverIV)
Adam Langley95c29f32014-06-20 12:00:00 -0700950 }
951
952 c.in.prepareCipherSpec(c.vers, serverCipher, serverHash)
953 c.out.prepareCipherSpec(c.vers, clientCipher, clientHash)
954 return nil
955}
956
David Benjamin75101402016-07-01 13:40:23 -0400957func (hs *clientHandshakeState) processServerExtensions(serverExtensions *serverExtensions) error {
958 c := hs.c
959
David Benjamin8d315d72016-07-18 01:03:18 +0200960 if c.vers < VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400961 if c.config.Bugs.RequireRenegotiationInfo && serverExtensions.secureRenegotiation == nil {
962 return errors.New("tls: renegotiation extension missing")
963 }
David Benjamin75101402016-07-01 13:40:23 -0400964
Nick Harperb41d2e42016-07-01 17:50:32 -0400965 if len(c.clientVerify) > 0 && !c.noRenegotiationInfo() {
966 var expectedRenegInfo []byte
967 expectedRenegInfo = append(expectedRenegInfo, c.clientVerify...)
968 expectedRenegInfo = append(expectedRenegInfo, c.serverVerify...)
969 if !bytes.Equal(serverExtensions.secureRenegotiation, expectedRenegInfo) {
970 c.sendAlert(alertHandshakeFailure)
971 return fmt.Errorf("tls: renegotiation mismatch")
972 }
David Benjamin75101402016-07-01 13:40:23 -0400973 }
David Benjamincea0ab42016-07-14 12:33:14 -0400974 } else if serverExtensions.secureRenegotiation != nil {
975 return errors.New("tls: renegotiation info sent in TLS 1.3")
David Benjamin75101402016-07-01 13:40:23 -0400976 }
977
978 if expected := c.config.Bugs.ExpectedCustomExtension; expected != nil {
979 if serverExtensions.customExtension != *expected {
980 return fmt.Errorf("tls: bad custom extension contents %q", serverExtensions.customExtension)
981 }
982 }
983
984 clientDidNPN := hs.hello.nextProtoNeg
985 clientDidALPN := len(hs.hello.alpnProtocols) > 0
986 serverHasNPN := serverExtensions.nextProtoNeg
987 serverHasALPN := len(serverExtensions.alpnProtocol) > 0
988
989 if !clientDidNPN && serverHasNPN {
990 c.sendAlert(alertHandshakeFailure)
991 return errors.New("server advertised unrequested NPN extension")
992 }
993
994 if !clientDidALPN && serverHasALPN {
995 c.sendAlert(alertHandshakeFailure)
996 return errors.New("server advertised unrequested ALPN extension")
997 }
998
999 if serverHasNPN && serverHasALPN {
1000 c.sendAlert(alertHandshakeFailure)
1001 return errors.New("server advertised both NPN and ALPN extensions")
1002 }
1003
1004 if serverHasALPN {
1005 c.clientProtocol = serverExtensions.alpnProtocol
1006 c.clientProtocolFallback = false
1007 c.usedALPN = true
1008 }
1009
David Benjamin8d315d72016-07-18 01:03:18 +02001010 if serverHasNPN && c.vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -04001011 c.sendAlert(alertHandshakeFailure)
1012 return errors.New("server advertised NPN over TLS 1.3")
1013 }
1014
David Benjamin75101402016-07-01 13:40:23 -04001015 if !hs.hello.channelIDSupported && serverExtensions.channelIDRequested {
1016 c.sendAlert(alertHandshakeFailure)
1017 return errors.New("server advertised unrequested Channel ID extension")
1018 }
1019
David Benjamin8d315d72016-07-18 01:03:18 +02001020 if serverExtensions.channelIDRequested && c.vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -04001021 c.sendAlert(alertHandshakeFailure)
1022 return errors.New("server advertised Channel ID over TLS 1.3")
1023 }
1024
David Benjamin8d315d72016-07-18 01:03:18 +02001025 if serverExtensions.extendedMasterSecret && c.vers >= VersionTLS13 {
David Benjamine9077652016-07-13 21:02:08 -04001026 return errors.New("tls: server advertised extended master secret over TLS 1.3")
1027 }
1028
David Benjamin8d315d72016-07-18 01:03:18 +02001029 if serverExtensions.ticketSupported && c.vers >= VersionTLS13 {
Steven Valdez143e8b32016-07-11 13:19:03 -04001030 return errors.New("tls: server advertised ticket extension over TLS 1.3")
1031 }
1032
David Benjamin75101402016-07-01 13:40:23 -04001033 if serverExtensions.srtpProtectionProfile != 0 {
1034 if serverExtensions.srtpMasterKeyIdentifier != "" {
1035 return errors.New("tls: server selected SRTP MKI value")
1036 }
1037
1038 found := false
1039 for _, p := range c.config.SRTPProtectionProfiles {
1040 if p == serverExtensions.srtpProtectionProfile {
1041 found = true
1042 break
1043 }
1044 }
1045 if !found {
1046 return errors.New("tls: server advertised unsupported SRTP profile")
1047 }
1048
1049 c.srtpProtectionProfile = serverExtensions.srtpProtectionProfile
1050 }
1051
1052 return nil
1053}
1054
Adam Langley95c29f32014-06-20 12:00:00 -07001055func (hs *clientHandshakeState) serverResumedSession() bool {
1056 // If the server responded with the same sessionId then it means the
1057 // sessionTicket is being used to resume a TLS session.
1058 return hs.session != nil && hs.hello.sessionId != nil &&
1059 bytes.Equal(hs.serverHello.sessionId, hs.hello.sessionId)
1060}
1061
1062func (hs *clientHandshakeState) processServerHello() (bool, error) {
1063 c := hs.c
1064
Adam Langley95c29f32014-06-20 12:00:00 -07001065 if hs.serverResumedSession() {
David Benjamin4b27d9f2015-05-12 22:42:52 -04001066 // For test purposes, assert that the server never accepts the
1067 // resumption offer on renegotiation.
1068 if c.cipherSuite != nil && c.config.Bugs.FailIfResumeOnRenego {
1069 return false, errors.New("tls: server resumed session on renegotiation")
1070 }
1071
Nick Harperb3d51be2016-07-01 11:43:18 -04001072 if hs.serverHello.extensions.sctList != nil {
Paul Lietar62be8ac2015-09-16 10:03:30 +01001073 return false, errors.New("tls: server sent SCT extension on session resumption")
1074 }
1075
Nick Harperb3d51be2016-07-01 11:43:18 -04001076 if hs.serverHello.extensions.ocspStapling {
Paul Lietar62be8ac2015-09-16 10:03:30 +01001077 return false, errors.New("tls: server sent OCSP extension on session resumption")
1078 }
1079
Adam Langley95c29f32014-06-20 12:00:00 -07001080 // Restore masterSecret and peerCerts from previous state
1081 hs.masterSecret = hs.session.masterSecret
1082 c.peerCertificates = hs.session.serverCertificates
Adam Langley75712922014-10-10 16:23:43 -07001083 c.extendedMasterSecret = hs.session.extendedMasterSecret
Paul Lietar62be8ac2015-09-16 10:03:30 +01001084 c.sctList = hs.session.sctList
1085 c.ocspResponse = hs.session.ocspResponse
David Benjamine098ec22014-08-27 23:13:20 -04001086 hs.finishedHash.discardHandshakeBuffer()
Adam Langley95c29f32014-06-20 12:00:00 -07001087 return true, nil
1088 }
Paul Lietar62be8ac2015-09-16 10:03:30 +01001089
Nick Harperb3d51be2016-07-01 11:43:18 -04001090 if hs.serverHello.extensions.sctList != nil {
1091 c.sctList = hs.serverHello.extensions.sctList
Paul Lietar62be8ac2015-09-16 10:03:30 +01001092 }
1093
Adam Langley95c29f32014-06-20 12:00:00 -07001094 return false, nil
1095}
1096
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001097func (hs *clientHandshakeState) readFinished(out []byte) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001098 c := hs.c
1099
1100 c.readRecord(recordTypeChangeCipherSpec)
1101 if err := c.in.error(); err != nil {
1102 return err
1103 }
1104
1105 msg, err := c.readHandshake()
1106 if err != nil {
1107 return err
1108 }
1109 serverFinished, ok := msg.(*finishedMsg)
1110 if !ok {
1111 c.sendAlert(alertUnexpectedMessage)
1112 return unexpectedMessageError(serverFinished, msg)
1113 }
1114
David Benjaminf3ec83d2014-07-21 22:42:34 -04001115 if c.config.Bugs.EarlyChangeCipherSpec == 0 {
1116 verify := hs.finishedHash.serverSum(hs.masterSecret)
1117 if len(verify) != len(serverFinished.verifyData) ||
1118 subtle.ConstantTimeCompare(verify, serverFinished.verifyData) != 1 {
1119 c.sendAlert(alertHandshakeFailure)
1120 return errors.New("tls: server's Finished message was incorrect")
1121 }
Adam Langley95c29f32014-06-20 12:00:00 -07001122 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001123 c.serverVerify = append(c.serverVerify[:0], serverFinished.verifyData...)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001124 copy(out, serverFinished.verifyData)
David Benjamin83c0bc92014-08-04 01:23:53 -04001125 hs.writeServerHash(serverFinished.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001126 return nil
1127}
1128
1129func (hs *clientHandshakeState) readSessionTicket() error {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001130 c := hs.c
1131
1132 // Create a session with no server identifier. Either a
1133 // session ID or session ticket will be attached.
1134 session := &ClientSessionState{
1135 vers: c.vers,
1136 cipherSuite: hs.suite.id,
1137 masterSecret: hs.masterSecret,
1138 handshakeHash: hs.finishedHash.server.Sum(nil),
1139 serverCertificates: c.peerCertificates,
Paul Lietar62be8ac2015-09-16 10:03:30 +01001140 sctList: c.sctList,
1141 ocspResponse: c.ocspResponse,
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001142 }
1143
Nick Harperb3d51be2016-07-01 11:43:18 -04001144 if !hs.serverHello.extensions.ticketSupported {
David Benjamind98452d2015-06-16 14:16:23 -04001145 if c.config.Bugs.ExpectNewTicket {
1146 return errors.New("tls: expected new ticket")
1147 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001148 if hs.session == nil && len(hs.serverHello.sessionId) > 0 {
1149 session.sessionId = hs.serverHello.sessionId
1150 hs.session = session
1151 }
Adam Langley95c29f32014-06-20 12:00:00 -07001152 return nil
1153 }
1154
David Benjaminc7ce9772015-10-09 19:32:41 -04001155 if c.vers == VersionSSL30 {
1156 return errors.New("tls: negotiated session tickets in SSL 3.0")
1157 }
1158
Adam Langley95c29f32014-06-20 12:00:00 -07001159 msg, err := c.readHandshake()
1160 if err != nil {
1161 return err
1162 }
1163 sessionTicketMsg, ok := msg.(*newSessionTicketMsg)
1164 if !ok {
1165 c.sendAlert(alertUnexpectedMessage)
1166 return unexpectedMessageError(sessionTicketMsg, msg)
1167 }
Adam Langley95c29f32014-06-20 12:00:00 -07001168
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001169 session.sessionTicket = sessionTicketMsg.ticket
1170 hs.session = session
Adam Langley95c29f32014-06-20 12:00:00 -07001171
David Benjamind30a9902014-08-24 01:44:23 -04001172 hs.writeServerHash(sessionTicketMsg.marshal())
1173
Adam Langley95c29f32014-06-20 12:00:00 -07001174 return nil
1175}
1176
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001177func (hs *clientHandshakeState) sendFinished(out []byte, isResume bool) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001178 c := hs.c
1179
David Benjamin0b8d5da2016-07-15 00:39:56 -04001180 var postCCSMsgs [][]byte
David Benjamin83c0bc92014-08-04 01:23:53 -04001181 seqno := hs.c.sendHandshakeSeq
Nick Harperb3d51be2016-07-01 11:43:18 -04001182 if hs.serverHello.extensions.nextProtoNeg {
Adam Langley95c29f32014-06-20 12:00:00 -07001183 nextProto := new(nextProtoMsg)
Nick Harperb3d51be2016-07-01 11:43:18 -04001184 proto, fallback := mutualProtocol(c.config.NextProtos, hs.serverHello.extensions.nextProtos)
Adam Langley95c29f32014-06-20 12:00:00 -07001185 nextProto.proto = proto
1186 c.clientProtocol = proto
1187 c.clientProtocolFallback = fallback
1188
David Benjamin86271ee2014-07-21 16:14:03 -04001189 nextProtoBytes := nextProto.marshal()
David Benjamin83c0bc92014-08-04 01:23:53 -04001190 hs.writeHash(nextProtoBytes, seqno)
1191 seqno++
David Benjamin0b8d5da2016-07-15 00:39:56 -04001192 postCCSMsgs = append(postCCSMsgs, nextProtoBytes)
Adam Langley95c29f32014-06-20 12:00:00 -07001193 }
1194
Nick Harperb3d51be2016-07-01 11:43:18 -04001195 if hs.serverHello.extensions.channelIDRequested {
David Benjamin24599a82016-06-30 18:56:53 -04001196 channelIDMsg := new(channelIDMsg)
David Benjamind30a9902014-08-24 01:44:23 -04001197 if c.config.ChannelID.Curve != elliptic.P256() {
1198 return fmt.Errorf("tls: Channel ID is not on P-256.")
1199 }
1200 var resumeHash []byte
1201 if isResume {
1202 resumeHash = hs.session.handshakeHash
1203 }
1204 r, s, err := ecdsa.Sign(c.config.rand(), c.config.ChannelID, hs.finishedHash.hashForChannelID(resumeHash))
1205 if err != nil {
1206 return err
1207 }
1208 channelID := make([]byte, 128)
1209 writeIntPadded(channelID[0:32], c.config.ChannelID.X)
1210 writeIntPadded(channelID[32:64], c.config.ChannelID.Y)
1211 writeIntPadded(channelID[64:96], r)
1212 writeIntPadded(channelID[96:128], s)
David Benjamin24599a82016-06-30 18:56:53 -04001213 channelIDMsg.channelID = channelID
David Benjamind30a9902014-08-24 01:44:23 -04001214
1215 c.channelID = &c.config.ChannelID.PublicKey
1216
David Benjamin24599a82016-06-30 18:56:53 -04001217 channelIDMsgBytes := channelIDMsg.marshal()
1218 hs.writeHash(channelIDMsgBytes, seqno)
David Benjamind30a9902014-08-24 01:44:23 -04001219 seqno++
David Benjamin0b8d5da2016-07-15 00:39:56 -04001220 postCCSMsgs = append(postCCSMsgs, channelIDMsgBytes)
David Benjamind30a9902014-08-24 01:44:23 -04001221 }
1222
Adam Langley95c29f32014-06-20 12:00:00 -07001223 finished := new(finishedMsg)
David Benjaminf3ec83d2014-07-21 22:42:34 -04001224 if c.config.Bugs.EarlyChangeCipherSpec == 2 {
1225 finished.verifyData = hs.finishedHash.clientSum(nil)
1226 } else {
1227 finished.verifyData = hs.finishedHash.clientSum(hs.masterSecret)
1228 }
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001229 copy(out, finished.verifyData)
David Benjamin513f0ea2015-04-02 19:33:31 -04001230 if c.config.Bugs.BadFinished {
1231 finished.verifyData[0]++
1232 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001233 c.clientVerify = append(c.clientVerify[:0], finished.verifyData...)
David Benjamin83f90402015-01-27 01:09:43 -05001234 hs.finishedBytes = finished.marshal()
1235 hs.writeHash(hs.finishedBytes, seqno)
David Benjamin0b8d5da2016-07-15 00:39:56 -04001236 postCCSMsgs = append(postCCSMsgs, hs.finishedBytes)
David Benjamin86271ee2014-07-21 16:14:03 -04001237
1238 if c.config.Bugs.FragmentAcrossChangeCipherSpec {
David Benjamin0b8d5da2016-07-15 00:39:56 -04001239 c.writeRecord(recordTypeHandshake, postCCSMsgs[0][:5])
1240 postCCSMsgs[0] = postCCSMsgs[0][5:]
David Benjamin61672812016-07-14 23:10:43 -04001241 } else if c.config.Bugs.SendUnencryptedFinished {
David Benjamin0b8d5da2016-07-15 00:39:56 -04001242 c.writeRecord(recordTypeHandshake, postCCSMsgs[0])
1243 postCCSMsgs = postCCSMsgs[1:]
David Benjamin86271ee2014-07-21 16:14:03 -04001244 }
David Benjamin582ba042016-07-07 12:33:25 -07001245 c.flushHandshake()
David Benjamin86271ee2014-07-21 16:14:03 -04001246
1247 if !c.config.Bugs.SkipChangeCipherSpec &&
1248 c.config.Bugs.EarlyChangeCipherSpec == 0 {
David Benjamin8411b242015-11-26 12:07:28 -05001249 ccs := []byte{1}
1250 if c.config.Bugs.BadChangeCipherSpec != nil {
1251 ccs = c.config.Bugs.BadChangeCipherSpec
1252 }
1253 c.writeRecord(recordTypeChangeCipherSpec, ccs)
David Benjamin86271ee2014-07-21 16:14:03 -04001254 }
1255
David Benjamin4189bd92015-01-25 23:52:39 -05001256 if c.config.Bugs.AppDataAfterChangeCipherSpec != nil {
1257 c.writeRecord(recordTypeApplicationData, c.config.Bugs.AppDataAfterChangeCipherSpec)
1258 }
David Benjamindc3da932015-03-12 15:09:02 -04001259 if c.config.Bugs.AlertAfterChangeCipherSpec != 0 {
1260 c.sendAlert(c.config.Bugs.AlertAfterChangeCipherSpec)
1261 return errors.New("tls: simulating post-CCS alert")
1262 }
David Benjamin4189bd92015-01-25 23:52:39 -05001263
David Benjamin0b8d5da2016-07-15 00:39:56 -04001264 if !c.config.Bugs.SkipFinished {
1265 for _, msg := range postCCSMsgs {
1266 c.writeRecord(recordTypeHandshake, msg)
1267 }
David Benjamin582ba042016-07-07 12:33:25 -07001268 c.flushHandshake()
David Benjaminb3774b92015-01-31 17:16:01 -05001269 }
Adam Langley95c29f32014-06-20 12:00:00 -07001270 return nil
1271}
1272
David Benjamin83c0bc92014-08-04 01:23:53 -04001273func (hs *clientHandshakeState) writeClientHash(msg []byte) {
1274 // writeClientHash is called before writeRecord.
1275 hs.writeHash(msg, hs.c.sendHandshakeSeq)
1276}
1277
1278func (hs *clientHandshakeState) writeServerHash(msg []byte) {
1279 // writeServerHash is called after readHandshake.
1280 hs.writeHash(msg, hs.c.recvHandshakeSeq-1)
1281}
1282
1283func (hs *clientHandshakeState) writeHash(msg []byte, seqno uint16) {
1284 if hs.c.isDTLS {
1285 // This is somewhat hacky. DTLS hashes a slightly different format.
1286 // First, the TLS header.
1287 hs.finishedHash.Write(msg[:4])
1288 // Then the sequence number and reassembled fragment offset (always 0).
1289 hs.finishedHash.Write([]byte{byte(seqno >> 8), byte(seqno), 0, 0, 0})
1290 // Then the reassembled fragment (always equal to the message length).
1291 hs.finishedHash.Write(msg[1:4])
1292 // And then the message body.
1293 hs.finishedHash.Write(msg[4:])
1294 } else {
1295 hs.finishedHash.Write(msg)
1296 }
1297}
1298
David Benjamina6f82632016-07-01 18:44:02 -04001299// selectClientCertificate selects a certificate for use with the given
1300// certificate, or none if none match. It may return a particular certificate or
1301// nil on success, or an error on internal error.
1302func selectClientCertificate(c *Conn, certReq *certificateRequestMsg) (*Certificate, error) {
1303 // RFC 4346 on the certificateAuthorities field:
1304 // A list of the distinguished names of acceptable certificate
1305 // authorities. These distinguished names may specify a desired
1306 // distinguished name for a root CA or for a subordinate CA; thus, this
1307 // message can be used to describe both known roots and a desired
1308 // authorization space. If the certificate_authorities list is empty
1309 // then the client MAY send any certificate of the appropriate
1310 // ClientCertificateType, unless there is some external arrangement to
1311 // the contrary.
1312
1313 var rsaAvail, ecdsaAvail bool
Nick Harperb41d2e42016-07-01 17:50:32 -04001314 if !certReq.hasRequestContext {
1315 for _, certType := range certReq.certificateTypes {
1316 switch certType {
1317 case CertTypeRSASign:
1318 rsaAvail = true
1319 case CertTypeECDSASign:
1320 ecdsaAvail = true
1321 }
David Benjamina6f82632016-07-01 18:44:02 -04001322 }
1323 }
1324
1325 // We need to search our list of client certs for one
1326 // where SignatureAlgorithm is RSA and the Issuer is in
1327 // certReq.certificateAuthorities
1328findCert:
1329 for i, chain := range c.config.Certificates {
Nick Harperb41d2e42016-07-01 17:50:32 -04001330 if !certReq.hasRequestContext && !rsaAvail && !ecdsaAvail {
David Benjamina6f82632016-07-01 18:44:02 -04001331 continue
1332 }
1333
1334 // Ensure the private key supports one of the advertised
1335 // signature algorithms.
1336 if certReq.hasSignatureAlgorithm {
David Benjamin0a8deb22016-07-09 21:02:01 -07001337 if _, err := selectSignatureAlgorithm(c.vers, chain.PrivateKey, c.config, certReq.signatureAlgorithms); err != nil {
David Benjamina6f82632016-07-01 18:44:02 -04001338 continue
1339 }
1340 }
1341
1342 for j, cert := range chain.Certificate {
1343 x509Cert := chain.Leaf
1344 // parse the certificate if this isn't the leaf
1345 // node, or if chain.Leaf was nil
1346 if j != 0 || x509Cert == nil {
1347 var err error
1348 if x509Cert, err = x509.ParseCertificate(cert); err != nil {
1349 c.sendAlert(alertInternalError)
1350 return nil, errors.New("tls: failed to parse client certificate #" + strconv.Itoa(i) + ": " + err.Error())
1351 }
1352 }
1353
Nick Harperb41d2e42016-07-01 17:50:32 -04001354 if !certReq.hasRequestContext {
1355 switch {
1356 case rsaAvail && x509Cert.PublicKeyAlgorithm == x509.RSA:
1357 case ecdsaAvail && x509Cert.PublicKeyAlgorithm == x509.ECDSA:
1358 default:
1359 continue findCert
1360 }
David Benjamina6f82632016-07-01 18:44:02 -04001361 }
1362
1363 if len(certReq.certificateAuthorities) == 0 {
1364 // They gave us an empty list, so just take the
1365 // first certificate of valid type from
1366 // c.config.Certificates.
1367 return &chain, nil
1368 }
1369
1370 for _, ca := range certReq.certificateAuthorities {
1371 if bytes.Equal(x509Cert.RawIssuer, ca) {
1372 return &chain, nil
1373 }
1374 }
1375 }
1376 }
1377
1378 return nil, nil
1379}
1380
Adam Langley95c29f32014-06-20 12:00:00 -07001381// clientSessionCacheKey returns a key used to cache sessionTickets that could
1382// be used to resume previously negotiated TLS sessions with a server.
1383func clientSessionCacheKey(serverAddr net.Addr, config *Config) string {
1384 if len(config.ServerName) > 0 {
1385 return config.ServerName
1386 }
1387 return serverAddr.String()
1388}
1389
David Benjaminfa055a22014-09-15 16:51:51 -04001390// mutualProtocol finds the mutual Next Protocol Negotiation or ALPN protocol
1391// given list of possible protocols and a list of the preference order. The
1392// first list must not be empty. It returns the resulting protocol and flag
Adam Langley95c29f32014-06-20 12:00:00 -07001393// indicating if the fallback case was reached.
David Benjaminfa055a22014-09-15 16:51:51 -04001394func mutualProtocol(protos, preferenceProtos []string) (string, bool) {
1395 for _, s := range preferenceProtos {
1396 for _, c := range protos {
Adam Langley95c29f32014-06-20 12:00:00 -07001397 if s == c {
1398 return s, false
1399 }
1400 }
1401 }
1402
David Benjaminfa055a22014-09-15 16:51:51 -04001403 return protos[0], true
Adam Langley95c29f32014-06-20 12:00:00 -07001404}
David Benjamind30a9902014-08-24 01:44:23 -04001405
1406// writeIntPadded writes x into b, padded up with leading zeros as
1407// needed.
1408func writeIntPadded(b []byte, x *big.Int) {
1409 for i := range b {
1410 b[i] = 0
1411 }
1412 xb := x.Bytes()
1413 copy(b[len(b)-len(xb):], xb)
1414}