blob: e138f228c5a6079a3d57837ead365efdcab9c8c0 [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"
Nick Harper0b3625b2016-07-25 16:16:28 -070021 "time"
Adam Langley95c29f32014-06-20 12:00:00 -070022)
23
24type clientHandshakeState struct {
David Benjamin83f90402015-01-27 01:09:43 -050025 c *Conn
26 serverHello *serverHelloMsg
27 hello *clientHelloMsg
28 suite *cipherSuite
29 finishedHash finishedHash
Nick Harperb41d2e42016-07-01 17:50:32 -040030 keyShares map[CurveID]ecdhCurve
David Benjamin83f90402015-01-27 01:09:43 -050031 masterSecret []byte
32 session *ClientSessionState
33 finishedBytes []byte
Adam Langley95c29f32014-06-20 12:00:00 -070034}
35
36func (c *Conn) clientHandshake() error {
37 if c.config == nil {
38 c.config = defaultConfig()
39 }
40
41 if len(c.config.ServerName) == 0 && !c.config.InsecureSkipVerify {
42 return errors.New("tls: either ServerName or InsecureSkipVerify must be specified in the tls.Config")
43 }
44
David Benjamin83c0bc92014-08-04 01:23:53 -040045 c.sendHandshakeSeq = 0
46 c.recvHandshakeSeq = 0
47
David Benjaminfa055a22014-09-15 16:51:51 -040048 nextProtosLength := 0
49 for _, proto := range c.config.NextProtos {
Adam Langleyefb0e162015-07-09 11:35:04 -070050 if l := len(proto); l > 255 {
David Benjaminfa055a22014-09-15 16:51:51 -040051 return errors.New("tls: invalid NextProtos value")
52 } else {
53 nextProtosLength += 1 + l
54 }
55 }
56 if nextProtosLength > 0xffff {
57 return errors.New("tls: NextProtos values too large")
58 }
59
Steven Valdezfdd10992016-09-15 16:27:05 -040060 minVersion := c.config.minVersion(c.isDTLS)
David Benjamin3c6a1ea2016-09-26 18:30:05 -040061 maxVersion := c.config.maxVersion(c.isDTLS)
Adam Langley95c29f32014-06-20 12:00:00 -070062 hello := &clientHelloMsg{
David Benjaminca6c8262014-11-15 19:06:08 -050063 isDTLS: c.isDTLS,
David Benjamin3c6a1ea2016-09-26 18:30:05 -040064 vers: versionToWire(maxVersion, c.isDTLS),
David Benjaminca6c8262014-11-15 19:06:08 -050065 compressionMethods: []uint8{compressionNone},
66 random: make([]byte, 32),
David Benjamin53210cb2016-11-16 09:01:48 +090067 ocspStapling: !c.config.Bugs.NoOCSPStapling,
68 sctListSupported: !c.config.Bugs.NoSignedCertificateTimestamps,
David Benjaminca6c8262014-11-15 19:06:08 -050069 serverName: c.config.ServerName,
70 supportedCurves: c.config.curvePreferences(),
Steven Valdeza833c352016-11-01 13:39:36 -040071 pskKEModes: []byte{pskDHEKEMode},
David Benjaminca6c8262014-11-15 19:06:08 -050072 supportedPoints: []uint8{pointFormatUncompressed},
73 nextProtoNeg: len(c.config.NextProtos) > 0,
74 secureRenegotiation: []byte{},
75 alpnProtocols: c.config.NextProtos,
76 duplicateExtension: c.config.Bugs.DuplicateExtension,
77 channelIDSupported: c.config.ChannelID != nil,
Steven Valdeza833c352016-11-01 13:39:36 -040078 npnAfterAlpn: c.config.Bugs.SwapNPNAndALPN,
Steven Valdezfdd10992016-09-15 16:27:05 -040079 extendedMasterSecret: maxVersion >= VersionTLS10,
David Benjaminca6c8262014-11-15 19:06:08 -050080 srtpProtectionProfiles: c.config.SRTPProtectionProfiles,
81 srtpMasterKeyIdentifier: c.config.Bugs.SRTPMasterKeyIdentifer,
Adam Langley09505632015-07-30 18:10:13 -070082 customExtension: c.config.Bugs.CustomExtension,
Steven Valdeza833c352016-11-01 13:39:36 -040083 pskBinderFirst: c.config.Bugs.PSKBinderFirst,
Adam Langley95c29f32014-06-20 12:00:00 -070084 }
85
David Benjamin163c9562016-08-29 23:14:17 -040086 disableEMS := c.config.Bugs.NoExtendedMasterSecret
87 if c.cipherSuite != nil {
88 disableEMS = c.config.Bugs.NoExtendedMasterSecretOnRenegotiation
89 }
90
91 if disableEMS {
Adam Langley75712922014-10-10 16:23:43 -070092 hello.extendedMasterSecret = false
93 }
94
David Benjamin55a43642015-04-20 14:45:55 -040095 if c.config.Bugs.NoSupportedCurves {
96 hello.supportedCurves = nil
97 }
98
Steven Valdeza833c352016-11-01 13:39:36 -040099 if len(c.config.Bugs.SendPSKKeyExchangeModes) != 0 {
100 hello.pskKEModes = c.config.Bugs.SendPSKKeyExchangeModes
101 }
102
David Benjaminc241d792016-09-09 10:34:20 -0400103 if c.config.Bugs.SendCompressionMethods != nil {
104 hello.compressionMethods = c.config.Bugs.SendCompressionMethods
105 }
106
Adam Langley2ae77d22014-10-28 17:29:33 -0700107 if len(c.clientVerify) > 0 && !c.config.Bugs.EmptyRenegotiationInfo {
108 if c.config.Bugs.BadRenegotiationInfo {
109 hello.secureRenegotiation = append(hello.secureRenegotiation, c.clientVerify...)
110 hello.secureRenegotiation[0] ^= 0x80
111 } else {
112 hello.secureRenegotiation = c.clientVerify
113 }
114 }
115
David Benjamin3e052de2015-11-25 20:10:31 -0500116 if c.noRenegotiationInfo() {
David Benjaminca6554b2014-11-08 12:31:52 -0500117 hello.secureRenegotiation = nil
118 }
119
Nick Harperb41d2e42016-07-01 17:50:32 -0400120 var keyShares map[CurveID]ecdhCurve
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400121 if maxVersion >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400122 keyShares = make(map[CurveID]ecdhCurve)
Nick Harperdcfbc672016-07-16 17:47:31 +0200123 hello.hasKeyShares = true
David Benjamin7e1f9842016-09-20 19:24:40 -0400124 hello.trailingKeyShareData = c.config.Bugs.TrailingKeyShareData
Nick Harperdcfbc672016-07-16 17:47:31 +0200125 curvesToSend := c.config.defaultCurves()
Nick Harperb41d2e42016-07-01 17:50:32 -0400126 for _, curveID := range hello.supportedCurves {
Nick Harperdcfbc672016-07-16 17:47:31 +0200127 if !curvesToSend[curveID] {
128 continue
129 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400130 curve, ok := curveForCurveID(curveID)
131 if !ok {
132 continue
133 }
134 publicKey, err := curve.offer(c.config.rand())
135 if err != nil {
136 return err
137 }
Steven Valdez0ee2e112016-07-15 06:51:15 -0400138
139 if c.config.Bugs.SendCurve != 0 {
140 curveID = c.config.Bugs.SendCurve
141 }
142 if c.config.Bugs.InvalidECDHPoint {
143 publicKey[0] ^= 0xff
144 }
145
Nick Harperb41d2e42016-07-01 17:50:32 -0400146 hello.keyShares = append(hello.keyShares, keyShareEntry{
147 group: curveID,
148 keyExchange: publicKey,
149 })
150 keyShares[curveID] = curve
Steven Valdez143e8b32016-07-11 13:19:03 -0400151
152 if c.config.Bugs.DuplicateKeyShares {
153 hello.keyShares = append(hello.keyShares, hello.keyShares[len(hello.keyShares)-1])
154 }
155 }
156
157 if c.config.Bugs.MissingKeyShare {
Steven Valdez5440fe02016-07-18 12:40:30 -0400158 hello.hasKeyShares = false
Nick Harperb41d2e42016-07-01 17:50:32 -0400159 }
160 }
161
Adam Langley95c29f32014-06-20 12:00:00 -0700162 possibleCipherSuites := c.config.cipherSuites()
163 hello.cipherSuites = make([]uint16, 0, len(possibleCipherSuites))
164
165NextCipherSuite:
166 for _, suiteId := range possibleCipherSuites {
167 for _, suite := range cipherSuites {
168 if suite.id != suiteId {
169 continue
170 }
David Benjamin5ecb88b2016-10-04 17:51:35 -0400171 // Don't advertise TLS 1.2-only cipher suites unless
172 // we're attempting TLS 1.2.
173 if maxVersion < VersionTLS12 && suite.flags&suiteTLS12 != 0 {
174 continue
175 }
176 // Don't advertise non-DTLS cipher suites in DTLS.
177 if c.isDTLS && suite.flags&suiteNoDTLS != 0 {
178 continue
David Benjamin83c0bc92014-08-04 01:23:53 -0400179 }
Adam Langley95c29f32014-06-20 12:00:00 -0700180 hello.cipherSuites = append(hello.cipherSuites, suiteId)
181 continue NextCipherSuite
182 }
183 }
184
David Benjamin5ecb88b2016-10-04 17:51:35 -0400185 if c.config.Bugs.AdvertiseAllConfiguredCiphers {
186 hello.cipherSuites = possibleCipherSuites
187 }
188
Adam Langley5021b222015-06-12 18:27:58 -0700189 if c.config.Bugs.SendRenegotiationSCSV {
190 hello.cipherSuites = append(hello.cipherSuites, renegotiationSCSV)
191 }
192
David Benjaminbef270a2014-08-02 04:22:02 -0400193 if c.config.Bugs.SendFallbackSCSV {
194 hello.cipherSuites = append(hello.cipherSuites, fallbackSCSV)
195 }
196
Adam Langley95c29f32014-06-20 12:00:00 -0700197 _, err := io.ReadFull(c.config.rand(), hello.random)
198 if err != nil {
199 c.sendAlert(alertInternalError)
200 return errors.New("tls: short read from Rand: " + err.Error())
201 }
202
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400203 if maxVersion >= VersionTLS12 && !c.config.Bugs.NoSignatureAlgorithms {
David Benjamin7a41d372016-07-09 11:21:54 -0700204 hello.signatureAlgorithms = c.config.verifySignatureAlgorithms()
Adam Langley95c29f32014-06-20 12:00:00 -0700205 }
206
207 var session *ClientSessionState
208 var cacheKey string
209 sessionCache := c.config.ClientSessionCache
Adam Langley95c29f32014-06-20 12:00:00 -0700210
211 if sessionCache != nil {
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500212 hello.ticketSupported = !c.config.SessionTicketsDisabled
Adam Langley95c29f32014-06-20 12:00:00 -0700213
214 // Try to resume a previously negotiated TLS session, if
215 // available.
216 cacheKey = clientSessionCacheKey(c.conn.RemoteAddr(), c.config)
Nick Harper0b3625b2016-07-25 16:16:28 -0700217 // TODO(nharper): Support storing more than one session
218 // ticket for TLS 1.3.
Adam Langley95c29f32014-06-20 12:00:00 -0700219 candidateSession, ok := sessionCache.Get(cacheKey)
220 if ok {
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500221 ticketOk := !c.config.SessionTicketsDisabled || candidateSession.sessionTicket == nil
222
Adam Langley95c29f32014-06-20 12:00:00 -0700223 // Check that the ciphersuite/version used for the
224 // previous session are still valid.
225 cipherSuiteOk := false
David Benjamin2b02f4b2016-11-16 16:11:47 +0900226 if candidateSession.vers <= VersionTLS12 {
227 for _, id := range hello.cipherSuites {
228 if id == candidateSession.cipherSuite {
229 cipherSuiteOk = true
230 break
231 }
Adam Langley95c29f32014-06-20 12:00:00 -0700232 }
David Benjamin2b02f4b2016-11-16 16:11:47 +0900233 } else {
234 // TLS 1.3 allows the cipher to change on
235 // resumption.
236 cipherSuiteOk = true
Adam Langley95c29f32014-06-20 12:00:00 -0700237 }
238
Steven Valdezfdd10992016-09-15 16:27:05 -0400239 versOk := candidateSession.vers >= minVersion &&
240 candidateSession.vers <= maxVersion
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500241 if ticketOk && versOk && cipherSuiteOk {
Adam Langley95c29f32014-06-20 12:00:00 -0700242 session = candidateSession
243 }
244 }
245 }
246
Steven Valdeza833c352016-11-01 13:39:36 -0400247 var pskCipherSuite *cipherSuite
Nick Harper0b3625b2016-07-25 16:16:28 -0700248 if session != nil && c.config.time().Before(session.ticketExpiration) {
David Benjamind5a4ecb2016-07-18 01:17:13 +0200249 ticket := session.sessionTicket
David Benjamin4199b0d2016-11-01 13:58:25 -0400250 if c.config.Bugs.FilterTicket != nil && len(ticket) > 0 {
251 // Copy the ticket so FilterTicket may act in-place.
David Benjamind5a4ecb2016-07-18 01:17:13 +0200252 ticket = make([]byte, len(session.sessionTicket))
253 copy(ticket, session.sessionTicket)
David Benjamin4199b0d2016-11-01 13:58:25 -0400254
255 ticket, err = c.config.Bugs.FilterTicket(ticket)
256 if err != nil {
257 return err
Adam Langley38311732014-10-16 19:04:35 -0700258 }
David Benjamind5a4ecb2016-07-18 01:17:13 +0200259 }
260
David Benjamin405da482016-08-08 17:25:07 -0400261 if session.vers >= VersionTLS13 || c.config.Bugs.SendBothTickets {
Steven Valdeza833c352016-11-01 13:39:36 -0400262 pskCipherSuite = cipherSuiteFromID(session.cipherSuite)
263 if pskCipherSuite == nil {
264 return errors.New("tls: client session cache has invalid cipher suite")
265 }
Nick Harper0b3625b2016-07-25 16:16:28 -0700266 // TODO(nharper): Support sending more
267 // than one PSK identity.
Steven Valdeza833c352016-11-01 13:39:36 -0400268 ticketAge := uint32(c.config.time().Sub(session.ticketCreationTime) / time.Millisecond)
Steven Valdez5b986082016-09-01 12:29:49 -0400269 psk := pskIdentity{
Steven Valdeza833c352016-11-01 13:39:36 -0400270 ticket: ticket,
271 obfuscatedTicketAge: session.ticketAgeAdd + ticketAge,
Nick Harper0b3625b2016-07-25 16:16:28 -0700272 }
Steven Valdez5b986082016-09-01 12:29:49 -0400273 hello.pskIdentities = []pskIdentity{psk}
Steven Valdezaf3b8a92016-11-01 12:49:22 -0400274
275 if c.config.Bugs.ExtraPSKIdentity {
276 hello.pskIdentities = append(hello.pskIdentities, psk)
277 }
David Benjamin405da482016-08-08 17:25:07 -0400278 }
279
280 if session.vers < VersionTLS13 || c.config.Bugs.SendBothTickets {
281 if ticket != nil {
282 hello.sessionTicket = ticket
283 // A random session ID is used to detect when the
284 // server accepted the ticket and is resuming a session
285 // (see RFC 5077).
286 sessionIdLen := 16
287 if c.config.Bugs.OversizedSessionId {
288 sessionIdLen = 33
289 }
290 hello.sessionId = make([]byte, sessionIdLen)
291 if _, err := io.ReadFull(c.config.rand(), hello.sessionId); err != nil {
292 c.sendAlert(alertInternalError)
293 return errors.New("tls: short read from Rand: " + err.Error())
294 }
295 } else {
296 hello.sessionId = session.sessionId
David Benjaminfe8eb9a2014-11-17 03:19:02 -0500297 }
Adam Langley95c29f32014-06-20 12:00:00 -0700298 }
299 }
300
Steven Valdezfdd10992016-09-15 16:27:05 -0400301 if maxVersion == VersionTLS13 && !c.config.Bugs.OmitSupportedVersions {
302 if hello.vers >= VersionTLS13 {
303 hello.vers = VersionTLS12
304 }
305 for version := maxVersion; version >= minVersion; version-- {
306 hello.supportedVersions = append(hello.supportedVersions, versionToWire(version, c.isDTLS))
307 }
308 }
309
310 if len(c.config.Bugs.SendSupportedVersions) > 0 {
311 hello.supportedVersions = c.config.Bugs.SendSupportedVersions
312 }
313
David Benjamineed24012016-08-13 19:26:00 -0400314 if c.config.Bugs.SendClientVersion != 0 {
315 hello.vers = c.config.Bugs.SendClientVersion
316 }
317
David Benjamin75f99142016-11-12 12:36:06 +0900318 if c.config.Bugs.SendCipherSuites != nil {
319 hello.cipherSuites = c.config.Bugs.SendCipherSuites
320 }
321
Steven Valdeza4ee74d2016-11-29 13:36:45 -0500322 if c.config.Bugs.SendEarlyDataLength > 0 && !c.config.Bugs.OmitEarlyDataExtension {
323 hello.hasEarlyData = true
324 }
325
David Benjamind86c7672014-08-02 04:07:12 -0400326 var helloBytes []byte
327 if c.config.Bugs.SendV2ClientHello {
David Benjamin94d701b2014-11-30 13:54:41 -0500328 // Test that the peer left-pads random.
329 hello.random[0] = 0
David Benjamind86c7672014-08-02 04:07:12 -0400330 v2Hello := &v2ClientHelloMsg{
331 vers: hello.vers,
332 cipherSuites: hello.cipherSuites,
333 // No session resumption for V2ClientHello.
334 sessionId: nil,
David Benjamin94d701b2014-11-30 13:54:41 -0500335 challenge: hello.random[1:],
David Benjamind86c7672014-08-02 04:07:12 -0400336 }
337 helloBytes = v2Hello.marshal()
338 c.writeV2Record(helloBytes)
339 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400340 if len(hello.pskIdentities) > 0 {
341 generatePSKBinders(hello, pskCipherSuite, session.masterSecret, []byte{}, c.config)
342 }
David Benjamind86c7672014-08-02 04:07:12 -0400343 helloBytes = hello.marshal()
Steven Valdeza833c352016-11-01 13:39:36 -0400344
David Benjamin7964b182016-07-14 23:36:30 -0400345 if c.config.Bugs.PartialClientFinishedWithClientHello {
346 // Include one byte of Finished. We can compute it
347 // without completing the handshake. This assumes we
348 // negotiate TLS 1.3 with no HelloRetryRequest or
349 // CertificateRequest.
350 toWrite := make([]byte, 0, len(helloBytes)+1)
351 toWrite = append(toWrite, helloBytes...)
352 toWrite = append(toWrite, typeFinished)
353 c.writeRecord(recordTypeHandshake, toWrite)
354 } else {
355 c.writeRecord(recordTypeHandshake, helloBytes)
356 }
David Benjamind86c7672014-08-02 04:07:12 -0400357 }
David Benjamin582ba042016-07-07 12:33:25 -0700358 c.flushHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700359
David Benjamin83f90402015-01-27 01:09:43 -0500360 if err := c.simulatePacketLoss(nil); err != nil {
361 return err
362 }
Steven Valdeza4ee74d2016-11-29 13:36:45 -0500363 if c.config.Bugs.SendEarlyAlert {
364 c.sendAlert(alertHandshakeFailure)
365 }
366 if c.config.Bugs.SendEarlyDataLength > 0 {
367 c.sendFakeEarlyData(c.config.Bugs.SendEarlyDataLength)
368 }
Adam Langley95c29f32014-06-20 12:00:00 -0700369 msg, err := c.readHandshake()
370 if err != nil {
371 return err
372 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400373
374 if c.isDTLS {
375 helloVerifyRequest, ok := msg.(*helloVerifyRequestMsg)
376 if ok {
David Benjaminda4789e2016-10-31 19:23:34 -0400377 if helloVerifyRequest.vers != versionToWire(VersionTLS10, c.isDTLS) {
David Benjamin8bc38f52014-08-16 12:07:27 -0400378 // Per RFC 6347, the version field in
379 // HelloVerifyRequest SHOULD be always DTLS
380 // 1.0. Enforce this for testing purposes.
381 return errors.New("dtls: bad HelloVerifyRequest version")
382 }
383
David Benjamin83c0bc92014-08-04 01:23:53 -0400384 hello.raw = nil
385 hello.cookie = helloVerifyRequest.cookie
386 helloBytes = hello.marshal()
387 c.writeRecord(recordTypeHandshake, helloBytes)
David Benjamin582ba042016-07-07 12:33:25 -0700388 c.flushHandshake()
David Benjamin83c0bc92014-08-04 01:23:53 -0400389
David Benjamin83f90402015-01-27 01:09:43 -0500390 if err := c.simulatePacketLoss(nil); err != nil {
391 return err
392 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400393 msg, err = c.readHandshake()
394 if err != nil {
395 return err
396 }
397 }
398 }
399
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400400 var serverWireVersion uint16
Nick Harperdcfbc672016-07-16 17:47:31 +0200401 switch m := msg.(type) {
402 case *helloRetryRequestMsg:
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400403 serverWireVersion = m.vers
Nick Harperdcfbc672016-07-16 17:47:31 +0200404 case *serverHelloMsg:
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400405 serverWireVersion = m.vers
Nick Harperdcfbc672016-07-16 17:47:31 +0200406 default:
407 c.sendAlert(alertUnexpectedMessage)
408 return fmt.Errorf("tls: received unexpected message of type %T when waiting for HelloRetryRequest or ServerHello", msg)
409 }
410
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400411 serverVersion, ok := wireToVersion(serverWireVersion, c.isDTLS)
412 if ok {
Steven Valdezfdd10992016-09-15 16:27:05 -0400413 ok = c.config.isSupportedVersion(serverVersion, c.isDTLS)
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400414 }
Nick Harperdcfbc672016-07-16 17:47:31 +0200415 if !ok {
416 c.sendAlert(alertProtocolVersion)
417 return fmt.Errorf("tls: server selected unsupported protocol version %x", c.vers)
418 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400419 c.vers = serverVersion
Nick Harperdcfbc672016-07-16 17:47:31 +0200420 c.haveVers = true
421
422 helloRetryRequest, haveHelloRetryRequest := msg.(*helloRetryRequestMsg)
423 var secondHelloBytes []byte
424 if haveHelloRetryRequest {
David Benjamin3baa6e12016-10-07 21:10:38 -0400425 if len(helloRetryRequest.cookie) > 0 {
426 hello.tls13Cookie = helloRetryRequest.cookie
427 }
428
Steven Valdez5440fe02016-07-18 12:40:30 -0400429 if c.config.Bugs.MisinterpretHelloRetryRequestCurve != 0 {
David Benjamin3baa6e12016-10-07 21:10:38 -0400430 helloRetryRequest.hasSelectedGroup = true
Steven Valdez5440fe02016-07-18 12:40:30 -0400431 helloRetryRequest.selectedGroup = c.config.Bugs.MisinterpretHelloRetryRequestCurve
432 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400433 if helloRetryRequest.hasSelectedGroup {
434 var hrrCurveFound bool
435 group := helloRetryRequest.selectedGroup
436 for _, curveID := range hello.supportedCurves {
437 if group == curveID {
438 hrrCurveFound = true
439 break
440 }
Nick Harperdcfbc672016-07-16 17:47:31 +0200441 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400442 if !hrrCurveFound || keyShares[group] != nil {
443 c.sendAlert(alertHandshakeFailure)
444 return errors.New("tls: received invalid HelloRetryRequest")
445 }
446 curve, ok := curveForCurveID(group)
447 if !ok {
448 return errors.New("tls: Unable to get curve requested in HelloRetryRequest")
449 }
450 publicKey, err := curve.offer(c.config.rand())
451 if err != nil {
452 return err
453 }
454 keyShares[group] = curve
Steven Valdeza833c352016-11-01 13:39:36 -0400455 hello.keyShares = []keyShareEntry{{
David Benjamin3baa6e12016-10-07 21:10:38 -0400456 group: group,
457 keyExchange: publicKey,
Steven Valdeza833c352016-11-01 13:39:36 -0400458 }}
Nick Harperdcfbc672016-07-16 17:47:31 +0200459 }
Nick Harperdcfbc672016-07-16 17:47:31 +0200460
Steven Valdez5440fe02016-07-18 12:40:30 -0400461 if c.config.Bugs.SecondClientHelloMissingKeyShare {
462 hello.hasKeyShares = false
463 }
464
Steven Valdeza4ee74d2016-11-29 13:36:45 -0500465 hello.hasEarlyData = c.config.Bugs.SendEarlyDataOnSecondClientHello
Nick Harperdcfbc672016-07-16 17:47:31 +0200466 hello.raw = nil
467
Steven Valdeza833c352016-11-01 13:39:36 -0400468 if len(hello.pskIdentities) > 0 {
469 generatePSKBinders(hello, pskCipherSuite, session.masterSecret, append(helloBytes, helloRetryRequest.marshal()...), c.config)
470 }
Nick Harperdcfbc672016-07-16 17:47:31 +0200471 secondHelloBytes = hello.marshal()
Steven Valdeza4ee74d2016-11-29 13:36:45 -0500472
473 if c.config.Bugs.InterleaveEarlyData {
474 c.sendFakeEarlyData(4)
475 c.writeRecord(recordTypeHandshake, secondHelloBytes[:16])
476 c.sendFakeEarlyData(4)
477 c.writeRecord(recordTypeHandshake, secondHelloBytes[16:])
478 } else {
479 c.writeRecord(recordTypeHandshake, secondHelloBytes)
480 }
Nick Harperdcfbc672016-07-16 17:47:31 +0200481 c.flushHandshake()
482
Steven Valdeza4ee74d2016-11-29 13:36:45 -0500483 if c.config.Bugs.SendEarlyDataOnSecondClientHello {
484 c.sendFakeEarlyData(4)
485 }
486
Nick Harperdcfbc672016-07-16 17:47:31 +0200487 msg, err = c.readHandshake()
488 if err != nil {
489 return err
490 }
491 }
492
Adam Langley95c29f32014-06-20 12:00:00 -0700493 serverHello, ok := msg.(*serverHelloMsg)
494 if !ok {
495 c.sendAlert(alertUnexpectedMessage)
496 return unexpectedMessageError(serverHello, msg)
497 }
498
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400499 if serverWireVersion != serverHello.vers {
Adam Langley95c29f32014-06-20 12:00:00 -0700500 c.sendAlert(alertProtocolVersion)
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400501 return fmt.Errorf("tls: server sent non-matching version %x vs %x", serverWireVersion, serverHello.vers)
Adam Langley95c29f32014-06-20 12:00:00 -0700502 }
Adam Langley95c29f32014-06-20 12:00:00 -0700503
Nick Harper85f20c22016-07-04 10:11:59 -0700504 // Check for downgrade signals in the server random, per
David Benjamina128a552016-10-13 14:26:33 -0400505 // draft-ietf-tls-tls13-16, section 4.1.3.
Nick Harper85f20c22016-07-04 10:11:59 -0700506 if c.vers <= VersionTLS12 && c.config.maxVersion(c.isDTLS) >= VersionTLS13 {
David Benjamin1f61f0d2016-07-10 12:20:35 -0400507 if bytes.Equal(serverHello.random[len(serverHello.random)-8:], downgradeTLS13) {
Nick Harper85f20c22016-07-04 10:11:59 -0700508 c.sendAlert(alertProtocolVersion)
509 return errors.New("tls: downgrade from TLS 1.3 detected")
510 }
511 }
512 if c.vers <= VersionTLS11 && c.config.maxVersion(c.isDTLS) >= VersionTLS12 {
David Benjamin1f61f0d2016-07-10 12:20:35 -0400513 if bytes.Equal(serverHello.random[len(serverHello.random)-8:], downgradeTLS12) {
Nick Harper85f20c22016-07-04 10:11:59 -0700514 c.sendAlert(alertProtocolVersion)
515 return errors.New("tls: downgrade from TLS 1.2 detected")
516 }
517 }
518
Nick Harper0b3625b2016-07-25 16:16:28 -0700519 suite := mutualCipherSuite(hello.cipherSuites, serverHello.cipherSuite)
Adam Langley95c29f32014-06-20 12:00:00 -0700520 if suite == nil {
521 c.sendAlert(alertHandshakeFailure)
522 return fmt.Errorf("tls: server selected an unsupported cipher suite")
523 }
524
David Benjamin3baa6e12016-10-07 21:10:38 -0400525 if haveHelloRetryRequest && helloRetryRequest.hasSelectedGroup && helloRetryRequest.selectedGroup != serverHello.keyShare.group {
Nick Harperdcfbc672016-07-16 17:47:31 +0200526 c.sendAlert(alertHandshakeFailure)
527 return errors.New("tls: ServerHello parameters did not match HelloRetryRequest")
528 }
529
Adam Langley95c29f32014-06-20 12:00:00 -0700530 hs := &clientHandshakeState{
531 c: c,
532 serverHello: serverHello,
533 hello: hello,
534 suite: suite,
535 finishedHash: newFinishedHash(c.vers, suite),
Nick Harperb41d2e42016-07-01 17:50:32 -0400536 keyShares: keyShares,
Adam Langley95c29f32014-06-20 12:00:00 -0700537 session: session,
538 }
539
David Benjamin83c0bc92014-08-04 01:23:53 -0400540 hs.writeHash(helloBytes, hs.c.sendHandshakeSeq-1)
Nick Harperdcfbc672016-07-16 17:47:31 +0200541 if haveHelloRetryRequest {
542 hs.writeServerHash(helloRetryRequest.marshal())
543 hs.writeClientHash(secondHelloBytes)
544 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400545 hs.writeServerHash(hs.serverHello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700546
David Benjamin8d315d72016-07-18 01:03:18 +0200547 if c.vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400548 if err := hs.doTLS13Handshake(); err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700549 return err
550 }
551 } else {
Nick Harperb41d2e42016-07-01 17:50:32 -0400552 if c.config.Bugs.EarlyChangeCipherSpec > 0 {
553 hs.establishKeys()
554 c.writeRecord(recordTypeChangeCipherSpec, []byte{1})
555 }
556
557 if hs.serverHello.compressionMethod != compressionNone {
558 c.sendAlert(alertUnexpectedMessage)
559 return errors.New("tls: server selected unsupported compression format")
560 }
561
562 err = hs.processServerExtensions(&serverHello.extensions)
563 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700564 return err
565 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400566
567 isResume, err := hs.processServerHello()
568 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700569 return err
570 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400571
572 if isResume {
573 if c.config.Bugs.EarlyChangeCipherSpec == 0 {
574 if err := hs.establishKeys(); err != nil {
575 return err
576 }
577 }
578 if err := hs.readSessionTicket(); err != nil {
579 return err
580 }
581 if err := hs.readFinished(c.firstFinished[:]); err != nil {
582 return err
583 }
584 if err := hs.sendFinished(nil, isResume); err != nil {
585 return err
586 }
587 } else {
588 if err := hs.doFullHandshake(); err != nil {
589 return err
590 }
591 if err := hs.establishKeys(); err != nil {
592 return err
593 }
594 if err := hs.sendFinished(c.firstFinished[:], isResume); err != nil {
595 return err
596 }
597 // Most retransmits are triggered by a timeout, but the final
598 // leg of the handshake is retransmited upon re-receiving a
599 // Finished.
600 if err := c.simulatePacketLoss(func() {
David Benjamin02edcd02016-07-27 17:40:37 -0400601 c.sendHandshakeSeq--
Nick Harperb41d2e42016-07-01 17:50:32 -0400602 c.writeRecord(recordTypeHandshake, hs.finishedBytes)
603 c.flushHandshake()
604 }); err != nil {
605 return err
606 }
607 if err := hs.readSessionTicket(); err != nil {
608 return err
609 }
610 if err := hs.readFinished(nil); err != nil {
611 return err
612 }
Adam Langley95c29f32014-06-20 12:00:00 -0700613 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400614
615 if sessionCache != nil && hs.session != nil && session != hs.session {
616 if c.config.Bugs.RequireSessionTickets && len(hs.session.sessionTicket) == 0 {
617 return errors.New("tls: new session used session IDs instead of tickets")
618 }
619 sessionCache.Put(cacheKey, hs.session)
David Benjamin83f90402015-01-27 01:09:43 -0500620 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400621
622 c.didResume = isResume
David Benjamin97a0a082016-07-13 17:57:35 -0400623 c.exporterSecret = hs.masterSecret
Adam Langley95c29f32014-06-20 12:00:00 -0700624 }
625
Adam Langley95c29f32014-06-20 12:00:00 -0700626 c.handshakeComplete = true
David Benjaminc565ebb2015-04-03 04:06:36 -0400627 c.cipherSuite = suite
628 copy(c.clientRandom[:], hs.hello.random)
629 copy(c.serverRandom[:], hs.serverHello.random)
Paul Lietar4fac72e2015-09-09 13:44:55 +0100630
Adam Langley95c29f32014-06-20 12:00:00 -0700631 return nil
632}
633
Nick Harperb41d2e42016-07-01 17:50:32 -0400634func (hs *clientHandshakeState) doTLS13Handshake() error {
635 c := hs.c
636
637 // Once the PRF hash is known, TLS 1.3 does not require a handshake
638 // buffer.
639 hs.finishedHash.discardHandshakeBuffer()
640
641 zeroSecret := hs.finishedHash.zeroSecret()
642
643 // Resolve PSK and compute the early secret.
644 //
645 // TODO(davidben): This will need to be handled slightly earlier once
646 // 0-RTT is implemented.
647 var psk []byte
Steven Valdez803c77a2016-09-06 14:13:43 -0400648 if hs.serverHello.hasPSKIdentity {
Nick Harper0b3625b2016-07-25 16:16:28 -0700649 // We send at most one PSK identity.
650 if hs.session == nil || hs.serverHello.pskIdentity != 0 {
651 c.sendAlert(alertUnknownPSKIdentity)
652 return errors.New("tls: server sent unknown PSK identity")
653 }
David Benjamin2b02f4b2016-11-16 16:11:47 +0900654 sessionCipher := cipherSuiteFromID(hs.session.cipherSuite)
655 if sessionCipher == nil || sessionCipher.hash() != hs.suite.hash() {
Nick Harper0b3625b2016-07-25 16:16:28 -0700656 c.sendAlert(alertHandshakeFailure)
David Benjamin2b02f4b2016-11-16 16:11:47 +0900657 return errors.New("tls: server resumed an invalid session for the cipher suite")
Nick Harper0b3625b2016-07-25 16:16:28 -0700658 }
Steven Valdeza833c352016-11-01 13:39:36 -0400659 psk = hs.session.masterSecret
Nick Harper0b3625b2016-07-25 16:16:28 -0700660 c.didResume = true
Nick Harperb41d2e42016-07-01 17:50:32 -0400661 } else {
Nick Harperb41d2e42016-07-01 17:50:32 -0400662 psk = zeroSecret
Nick Harperb41d2e42016-07-01 17:50:32 -0400663 }
664
665 earlySecret := hs.finishedHash.extractKey(zeroSecret, psk)
666
Steven Valdeza833c352016-11-01 13:39:36 -0400667 if !hs.serverHello.hasKeyShare {
668 c.sendAlert(alertUnsupportedExtension)
669 return errors.New("tls: server omitted KeyShare on resumption.")
670 }
671
Nick Harperb41d2e42016-07-01 17:50:32 -0400672 // Resolve ECDHE and compute the handshake secret.
673 var ecdheSecret []byte
Steven Valdez803c77a2016-09-06 14:13:43 -0400674 if !c.config.Bugs.MissingKeyShare && !c.config.Bugs.SecondClientHelloMissingKeyShare {
Nick Harperb41d2e42016-07-01 17:50:32 -0400675 curve, ok := hs.keyShares[hs.serverHello.keyShare.group]
676 if !ok {
677 c.sendAlert(alertHandshakeFailure)
678 return errors.New("tls: server selected an unsupported group")
679 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400680 c.curveID = hs.serverHello.keyShare.group
Nick Harperb41d2e42016-07-01 17:50:32 -0400681
682 var err error
683 ecdheSecret, err = curve.finish(hs.serverHello.keyShare.keyExchange)
684 if err != nil {
685 return err
686 }
687 } else {
Nick Harperb41d2e42016-07-01 17:50:32 -0400688 ecdheSecret = zeroSecret
689 }
690
691 // Compute the handshake secret.
692 handshakeSecret := hs.finishedHash.extractKey(earlySecret, ecdheSecret)
693
694 // Switch to handshake traffic keys.
Steven Valdezc4aa7272016-10-03 12:25:56 -0400695 clientHandshakeTrafficSecret := hs.finishedHash.deriveSecret(handshakeSecret, clientHandshakeTrafficLabel)
Steven Valdeza833c352016-11-01 13:39:36 -0400696 c.out.useTrafficSecret(c.vers, hs.suite, clientHandshakeTrafficSecret, clientWrite)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400697 serverHandshakeTrafficSecret := hs.finishedHash.deriveSecret(handshakeSecret, serverHandshakeTrafficLabel)
Steven Valdeza833c352016-11-01 13:39:36 -0400698 c.in.useTrafficSecret(c.vers, hs.suite, serverHandshakeTrafficSecret, serverWrite)
Nick Harperb41d2e42016-07-01 17:50:32 -0400699
700 msg, err := c.readHandshake()
701 if err != nil {
702 return err
703 }
704
705 encryptedExtensions, ok := msg.(*encryptedExtensionsMsg)
706 if !ok {
707 c.sendAlert(alertUnexpectedMessage)
708 return unexpectedMessageError(encryptedExtensions, msg)
709 }
710 hs.writeServerHash(encryptedExtensions.marshal())
711
712 err = hs.processServerExtensions(&encryptedExtensions.extensions)
713 if err != nil {
714 return err
715 }
716
717 var chainToSend *Certificate
David Benjamin8d343b42016-07-09 14:26:01 -0700718 var certReq *certificateRequestMsg
Steven Valdeza833c352016-11-01 13:39:36 -0400719 if c.didResume {
Nick Harper0b3625b2016-07-25 16:16:28 -0700720 // Copy over authentication from the session.
721 c.peerCertificates = hs.session.serverCertificates
722 c.sctList = hs.session.sctList
723 c.ocspResponse = hs.session.ocspResponse
David Benjamin44b33bc2016-07-01 22:40:23 -0400724 } else {
Nick Harperb41d2e42016-07-01 17:50:32 -0400725 msg, err := c.readHandshake()
726 if err != nil {
727 return err
728 }
729
David Benjamin8d343b42016-07-09 14:26:01 -0700730 var ok bool
731 certReq, ok = msg.(*certificateRequestMsg)
Nick Harperb41d2e42016-07-01 17:50:32 -0400732 if ok {
David Benjamin8a8349b2016-08-18 02:32:23 -0400733 if len(certReq.requestContext) != 0 {
734 return errors.New("tls: non-empty certificate request context sent in handshake")
735 }
736
David Benjaminb62d2872016-07-18 14:55:02 +0200737 if c.config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
738 certReq.signatureAlgorithms = c.config.signSignatureAlgorithms()
739 }
740
Nick Harperb41d2e42016-07-01 17:50:32 -0400741 hs.writeServerHash(certReq.marshal())
Nick Harperb41d2e42016-07-01 17:50:32 -0400742
743 chainToSend, err = selectClientCertificate(c, certReq)
744 if err != nil {
745 return err
746 }
747
748 msg, err = c.readHandshake()
749 if err != nil {
750 return err
751 }
752 }
753
754 certMsg, ok := msg.(*certificateMsg)
755 if !ok {
756 c.sendAlert(alertUnexpectedMessage)
757 return unexpectedMessageError(certMsg, msg)
758 }
759 hs.writeServerHash(certMsg.marshal())
760
David Benjamin53210cb2016-11-16 09:01:48 +0900761 // Check for unsolicited extensions.
762 for i, cert := range certMsg.certificates {
763 if c.config.Bugs.NoOCSPStapling && cert.ocspResponse != nil {
764 c.sendAlert(alertUnsupportedExtension)
765 return errors.New("tls: unexpected OCSP response in the server certificate")
766 }
767 if c.config.Bugs.NoSignedCertificateTimestamps && cert.sctList != nil {
768 c.sendAlert(alertUnsupportedExtension)
769 return errors.New("tls: unexpected SCT list in the server certificate")
770 }
771 if i > 0 && c.config.Bugs.ExpectNoExtensionsOnIntermediate && (cert.ocspResponse != nil || cert.sctList != nil) {
772 c.sendAlert(alertUnsupportedExtension)
773 return errors.New("tls: unexpected extensions in the server certificate")
774 }
775 }
776
Nick Harperb41d2e42016-07-01 17:50:32 -0400777 if err := hs.verifyCertificates(certMsg); err != nil {
778 return err
779 }
780 leaf := c.peerCertificates[0]
Steven Valdeza833c352016-11-01 13:39:36 -0400781 c.ocspResponse = certMsg.certificates[0].ocspResponse
782 c.sctList = certMsg.certificates[0].sctList
783
Nick Harperb41d2e42016-07-01 17:50:32 -0400784 msg, err = c.readHandshake()
785 if err != nil {
786 return err
787 }
788 certVerifyMsg, ok := msg.(*certificateVerifyMsg)
789 if !ok {
790 c.sendAlert(alertUnexpectedMessage)
791 return unexpectedMessageError(certVerifyMsg, msg)
792 }
793
David Benjaminf74ec792016-07-13 21:18:49 -0400794 c.peerSignatureAlgorithm = certVerifyMsg.signatureAlgorithm
Nick Harperb41d2e42016-07-01 17:50:32 -0400795 input := hs.finishedHash.certificateVerifyInput(serverCertificateVerifyContextTLS13)
David Benjamin1fb125c2016-07-08 18:52:12 -0700796 err = verifyMessage(c.vers, leaf.PublicKey, c.config, certVerifyMsg.signatureAlgorithm, input, certVerifyMsg.signature)
Nick Harperb41d2e42016-07-01 17:50:32 -0400797 if err != nil {
798 return err
799 }
800
801 hs.writeServerHash(certVerifyMsg.marshal())
802 }
803
804 msg, err = c.readHandshake()
805 if err != nil {
806 return err
807 }
808 serverFinished, ok := msg.(*finishedMsg)
809 if !ok {
810 c.sendAlert(alertUnexpectedMessage)
811 return unexpectedMessageError(serverFinished, msg)
812 }
813
Steven Valdezc4aa7272016-10-03 12:25:56 -0400814 verify := hs.finishedHash.serverSum(serverHandshakeTrafficSecret)
Nick Harperb41d2e42016-07-01 17:50:32 -0400815 if len(verify) != len(serverFinished.verifyData) ||
816 subtle.ConstantTimeCompare(verify, serverFinished.verifyData) != 1 {
817 c.sendAlert(alertHandshakeFailure)
818 return errors.New("tls: server's Finished message was incorrect")
819 }
820
821 hs.writeServerHash(serverFinished.marshal())
822
823 // The various secrets do not incorporate the client's final leg, so
824 // derive them now before updating the handshake context.
825 masterSecret := hs.finishedHash.extractKey(handshakeSecret, zeroSecret)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400826 clientTrafficSecret := hs.finishedHash.deriveSecret(masterSecret, clientApplicationTrafficLabel)
827 serverTrafficSecret := hs.finishedHash.deriveSecret(masterSecret, serverApplicationTrafficLabel)
Nick Harperb41d2e42016-07-01 17:50:32 -0400828
Steven Valdez0ee2e112016-07-15 06:51:15 -0400829 if certReq != nil && !c.config.Bugs.SkipClientCertificate {
David Benjamin8d343b42016-07-09 14:26:01 -0700830 certMsg := &certificateMsg{
831 hasRequestContext: true,
832 requestContext: certReq.requestContext,
833 }
834 if chainToSend != nil {
Steven Valdeza833c352016-11-01 13:39:36 -0400835 for _, certData := range chainToSend.Certificate {
836 certMsg.certificates = append(certMsg.certificates, certificateEntry{
837 data: certData,
838 extraExtension: c.config.Bugs.SendExtensionOnCertificate,
839 })
840 }
David Benjamin8d343b42016-07-09 14:26:01 -0700841 }
842 hs.writeClientHash(certMsg.marshal())
843 c.writeRecord(recordTypeHandshake, certMsg.marshal())
844
845 if chainToSend != nil {
846 certVerify := &certificateVerifyMsg{
847 hasSignatureAlgorithm: true,
848 }
849
850 // Determine the hash to sign.
851 privKey := chainToSend.PrivateKey
852
853 var err error
854 certVerify.signatureAlgorithm, err = selectSignatureAlgorithm(c.vers, privKey, c.config, certReq.signatureAlgorithms)
855 if err != nil {
856 c.sendAlert(alertInternalError)
857 return err
858 }
859
860 input := hs.finishedHash.certificateVerifyInput(clientCertificateVerifyContextTLS13)
861 certVerify.signature, err = signMessage(c.vers, privKey, c.config, certVerify.signatureAlgorithm, input)
862 if err != nil {
863 c.sendAlert(alertInternalError)
864 return err
865 }
Steven Valdez0ee2e112016-07-15 06:51:15 -0400866 if c.config.Bugs.SendSignatureAlgorithm != 0 {
867 certVerify.signatureAlgorithm = c.config.Bugs.SendSignatureAlgorithm
868 }
David Benjamin8d343b42016-07-09 14:26:01 -0700869
870 hs.writeClientHash(certVerify.marshal())
871 c.writeRecord(recordTypeHandshake, certVerify.marshal())
872 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400873 }
874
Nick Harper60a85cb2016-09-23 16:25:11 -0700875 if encryptedExtensions.extensions.channelIDRequested {
876 channelIDHash := crypto.SHA256.New()
877 channelIDHash.Write(hs.finishedHash.certificateVerifyInput(channelIDContextTLS13))
878 channelIDMsgBytes, err := hs.writeChannelIDMessage(channelIDHash.Sum(nil))
879 if err != nil {
880 return err
881 }
882 hs.writeClientHash(channelIDMsgBytes)
883 c.writeRecord(recordTypeHandshake, channelIDMsgBytes)
884 }
885
Nick Harperb41d2e42016-07-01 17:50:32 -0400886 // Send a client Finished message.
887 finished := new(finishedMsg)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400888 finished.verifyData = hs.finishedHash.clientSum(clientHandshakeTrafficSecret)
Nick Harperb41d2e42016-07-01 17:50:32 -0400889 if c.config.Bugs.BadFinished {
890 finished.verifyData[0]++
891 }
David Benjamin97a0a082016-07-13 17:57:35 -0400892 hs.writeClientHash(finished.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400893 if c.config.Bugs.PartialClientFinishedWithClientHello {
894 // The first byte has already been sent.
895 c.writeRecord(recordTypeHandshake, finished.marshal()[1:])
Steven Valdeza4ee74d2016-11-29 13:36:45 -0500896 } else if c.config.Bugs.InterleaveEarlyData {
897 finishedBytes := finished.marshal()
898 c.sendFakeEarlyData(4)
899 c.writeRecord(recordTypeHandshake, finishedBytes[:1])
900 c.sendFakeEarlyData(4)
901 c.writeRecord(recordTypeHandshake, finishedBytes[1:])
David Benjamin7964b182016-07-14 23:36:30 -0400902 } else {
903 c.writeRecord(recordTypeHandshake, finished.marshal())
904 }
David Benjamin02edcd02016-07-27 17:40:37 -0400905 if c.config.Bugs.SendExtraFinished {
906 c.writeRecord(recordTypeHandshake, finished.marshal())
907 }
David Benjaminee51a222016-07-07 18:34:12 -0700908 c.flushHandshake()
Nick Harperb41d2e42016-07-01 17:50:32 -0400909
910 // Switch to application data keys.
Steven Valdeza833c352016-11-01 13:39:36 -0400911 c.out.useTrafficSecret(c.vers, hs.suite, clientTrafficSecret, clientWrite)
912 c.in.useTrafficSecret(c.vers, hs.suite, serverTrafficSecret, serverWrite)
Nick Harperb41d2e42016-07-01 17:50:32 -0400913
David Benjamin97a0a082016-07-13 17:57:35 -0400914 c.exporterSecret = hs.finishedHash.deriveSecret(masterSecret, exporterLabel)
David Benjamind5a4ecb2016-07-18 01:17:13 +0200915 c.resumptionSecret = hs.finishedHash.deriveSecret(masterSecret, resumptionLabel)
Nick Harperb41d2e42016-07-01 17:50:32 -0400916 return nil
917}
918
Adam Langley95c29f32014-06-20 12:00:00 -0700919func (hs *clientHandshakeState) doFullHandshake() error {
920 c := hs.c
921
David Benjamin48cae082014-10-27 01:06:24 -0400922 var leaf *x509.Certificate
923 if hs.suite.flags&suitePSK == 0 {
924 msg, err := c.readHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700925 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -0700926 return err
927 }
Adam Langley95c29f32014-06-20 12:00:00 -0700928
David Benjamin48cae082014-10-27 01:06:24 -0400929 certMsg, ok := msg.(*certificateMsg)
David Benjamin75051442016-07-01 18:58:51 -0400930 if !ok {
David Benjamin48cae082014-10-27 01:06:24 -0400931 c.sendAlert(alertUnexpectedMessage)
932 return unexpectedMessageError(certMsg, msg)
933 }
934 hs.writeServerHash(certMsg.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700935
David Benjamin75051442016-07-01 18:58:51 -0400936 if err := hs.verifyCertificates(certMsg); err != nil {
937 return err
David Benjamin48cae082014-10-27 01:06:24 -0400938 }
David Benjamin75051442016-07-01 18:58:51 -0400939 leaf = c.peerCertificates[0]
David Benjamin48cae082014-10-27 01:06:24 -0400940 }
Adam Langley95c29f32014-06-20 12:00:00 -0700941
Nick Harperb3d51be2016-07-01 11:43:18 -0400942 if hs.serverHello.extensions.ocspStapling {
David Benjamin48cae082014-10-27 01:06:24 -0400943 msg, err := c.readHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700944 if err != nil {
945 return err
946 }
947 cs, ok := msg.(*certificateStatusMsg)
948 if !ok {
949 c.sendAlert(alertUnexpectedMessage)
950 return unexpectedMessageError(cs, msg)
951 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400952 hs.writeServerHash(cs.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700953
954 if cs.statusType == statusTypeOCSP {
955 c.ocspResponse = cs.response
956 }
957 }
958
David Benjamin48cae082014-10-27 01:06:24 -0400959 msg, err := c.readHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -0700960 if err != nil {
961 return err
962 }
963
964 keyAgreement := hs.suite.ka(c.vers)
965
966 skx, ok := msg.(*serverKeyExchangeMsg)
967 if ok {
David Benjamin83c0bc92014-08-04 01:23:53 -0400968 hs.writeServerHash(skx.marshal())
David Benjamin48cae082014-10-27 01:06:24 -0400969 err = keyAgreement.processServerKeyExchange(c.config, hs.hello, hs.serverHello, leaf, skx)
Adam Langley95c29f32014-06-20 12:00:00 -0700970 if err != nil {
971 c.sendAlert(alertUnexpectedMessage)
972 return err
973 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400974 if ecdhe, ok := keyAgreement.(*ecdheKeyAgreement); ok {
975 c.curveID = ecdhe.curveID
976 }
Adam Langley95c29f32014-06-20 12:00:00 -0700977
Nick Harper60edffd2016-06-21 15:19:24 -0700978 c.peerSignatureAlgorithm = keyAgreement.peerSignatureAlgorithm()
979
Adam Langley95c29f32014-06-20 12:00:00 -0700980 msg, err = c.readHandshake()
981 if err != nil {
982 return err
983 }
984 }
985
986 var chainToSend *Certificate
987 var certRequested bool
988 certReq, ok := msg.(*certificateRequestMsg)
989 if ok {
990 certRequested = true
David Benjamin7a41d372016-07-09 11:21:54 -0700991 if c.config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
992 certReq.signatureAlgorithms = c.config.signSignatureAlgorithms()
993 }
Adam Langley95c29f32014-06-20 12:00:00 -0700994
David Benjamin83c0bc92014-08-04 01:23:53 -0400995 hs.writeServerHash(certReq.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -0700996
David Benjamina6f82632016-07-01 18:44:02 -0400997 chainToSend, err = selectClientCertificate(c, certReq)
998 if err != nil {
999 return err
Adam Langley95c29f32014-06-20 12:00:00 -07001000 }
1001
1002 msg, err = c.readHandshake()
1003 if err != nil {
1004 return err
1005 }
1006 }
1007
1008 shd, ok := msg.(*serverHelloDoneMsg)
1009 if !ok {
1010 c.sendAlert(alertUnexpectedMessage)
1011 return unexpectedMessageError(shd, msg)
1012 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001013 hs.writeServerHash(shd.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001014
1015 // If the server requested a certificate then we have to send a
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001016 // Certificate message in TLS, even if it's empty because we don't have
1017 // a certificate to send. In SSL 3.0, skip the message and send a
1018 // no_certificate warning alert.
Adam Langley95c29f32014-06-20 12:00:00 -07001019 if certRequested {
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001020 if c.vers == VersionSSL30 && chainToSend == nil {
1021 c.sendAlert(alertNoCertficate)
1022 } else if !c.config.Bugs.SkipClientCertificate {
1023 certMsg := new(certificateMsg)
1024 if chainToSend != nil {
Steven Valdeza833c352016-11-01 13:39:36 -04001025 for _, certData := range chainToSend.Certificate {
1026 certMsg.certificates = append(certMsg.certificates, certificateEntry{
1027 data: certData,
1028 })
1029 }
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001030 }
1031 hs.writeClientHash(certMsg.marshal())
1032 c.writeRecord(recordTypeHandshake, certMsg.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001033 }
Adam Langley95c29f32014-06-20 12:00:00 -07001034 }
1035
David Benjamin48cae082014-10-27 01:06:24 -04001036 preMasterSecret, ckx, err := keyAgreement.generateClientKeyExchange(c.config, hs.hello, leaf)
Adam Langley95c29f32014-06-20 12:00:00 -07001037 if err != nil {
1038 c.sendAlert(alertInternalError)
1039 return err
1040 }
1041 if ckx != nil {
David Benjaminf3ec83d2014-07-21 22:42:34 -04001042 if c.config.Bugs.EarlyChangeCipherSpec < 2 {
David Benjamin83c0bc92014-08-04 01:23:53 -04001043 hs.writeClientHash(ckx.marshal())
David Benjaminf3ec83d2014-07-21 22:42:34 -04001044 }
Adam Langley95c29f32014-06-20 12:00:00 -07001045 c.writeRecord(recordTypeHandshake, ckx.marshal())
1046 }
1047
Nick Harperb3d51be2016-07-01 11:43:18 -04001048 if hs.serverHello.extensions.extendedMasterSecret && c.vers >= VersionTLS10 {
Adam Langley75712922014-10-10 16:23:43 -07001049 hs.masterSecret = extendedMasterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.finishedHash)
1050 c.extendedMasterSecret = true
1051 } else {
1052 if c.config.Bugs.RequireExtendedMasterSecret {
1053 return errors.New("tls: extended master secret required but not supported by peer")
1054 }
1055 hs.masterSecret = masterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.hello.random, hs.serverHello.random)
1056 }
David Benjamine098ec22014-08-27 23:13:20 -04001057
Adam Langley95c29f32014-06-20 12:00:00 -07001058 if chainToSend != nil {
Adam Langley95c29f32014-06-20 12:00:00 -07001059 certVerify := &certificateVerifyMsg{
Nick Harper60edffd2016-06-21 15:19:24 -07001060 hasSignatureAlgorithm: c.vers >= VersionTLS12,
Adam Langley95c29f32014-06-20 12:00:00 -07001061 }
1062
David Benjamin72dc7832015-03-16 17:49:43 -04001063 // Determine the hash to sign.
Nick Harper60edffd2016-06-21 15:19:24 -07001064 privKey := c.config.Certificates[0].PrivateKey
David Benjamin72dc7832015-03-16 17:49:43 -04001065
Nick Harper60edffd2016-06-21 15:19:24 -07001066 if certVerify.hasSignatureAlgorithm {
David Benjamin0a8deb22016-07-09 21:02:01 -07001067 certVerify.signatureAlgorithm, err = selectSignatureAlgorithm(c.vers, privKey, c.config, certReq.signatureAlgorithms)
Nick Harper60edffd2016-06-21 15:19:24 -07001068 if err != nil {
1069 c.sendAlert(alertInternalError)
1070 return err
Adam Langley95c29f32014-06-20 12:00:00 -07001071 }
Nick Harper60edffd2016-06-21 15:19:24 -07001072 }
1073
1074 if c.vers > VersionSSL30 {
David Benjamin5208fd42016-07-13 21:43:25 -04001075 certVerify.signature, err = signMessage(c.vers, privKey, c.config, certVerify.signatureAlgorithm, hs.finishedHash.buffer)
David Benjamina95e9f32016-07-08 16:28:04 -07001076 if err == nil && c.config.Bugs.SendSignatureAlgorithm != 0 {
1077 certVerify.signatureAlgorithm = c.config.Bugs.SendSignatureAlgorithm
1078 }
Nick Harper60edffd2016-06-21 15:19:24 -07001079 } else {
1080 // SSL 3.0's client certificate construction is
1081 // incompatible with signatureAlgorithm.
1082 rsaKey, ok := privKey.(*rsa.PrivateKey)
1083 if !ok {
1084 err = errors.New("unsupported signature type for client certificate")
1085 } else {
1086 digest := hs.finishedHash.hashForClientCertificateSSL3(hs.masterSecret)
David Benjamin5208fd42016-07-13 21:43:25 -04001087 if c.config.Bugs.InvalidSignature {
Nick Harper60edffd2016-06-21 15:19:24 -07001088 digest[0] ^= 0x80
1089 }
1090 certVerify.signature, err = rsa.SignPKCS1v15(c.config.rand(), rsaKey, crypto.MD5SHA1, digest)
1091 }
Adam Langley95c29f32014-06-20 12:00:00 -07001092 }
1093 if err != nil {
1094 c.sendAlert(alertInternalError)
1095 return errors.New("tls: failed to sign handshake with client certificate: " + err.Error())
1096 }
Adam Langley95c29f32014-06-20 12:00:00 -07001097
David Benjamin83c0bc92014-08-04 01:23:53 -04001098 hs.writeClientHash(certVerify.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001099 c.writeRecord(recordTypeHandshake, certVerify.marshal())
1100 }
David Benjamin82261be2016-07-07 14:32:50 -07001101 // flushHandshake will be called in sendFinished.
Adam Langley95c29f32014-06-20 12:00:00 -07001102
David Benjamine098ec22014-08-27 23:13:20 -04001103 hs.finishedHash.discardHandshakeBuffer()
1104
Adam Langley95c29f32014-06-20 12:00:00 -07001105 return nil
1106}
1107
David Benjamin75051442016-07-01 18:58:51 -04001108func (hs *clientHandshakeState) verifyCertificates(certMsg *certificateMsg) error {
1109 c := hs.c
1110
1111 if len(certMsg.certificates) == 0 {
1112 c.sendAlert(alertIllegalParameter)
1113 return errors.New("tls: no certificates sent")
1114 }
1115
1116 certs := make([]*x509.Certificate, len(certMsg.certificates))
Steven Valdeza833c352016-11-01 13:39:36 -04001117 for i, certEntry := range certMsg.certificates {
1118 cert, err := x509.ParseCertificate(certEntry.data)
David Benjamin75051442016-07-01 18:58:51 -04001119 if err != nil {
1120 c.sendAlert(alertBadCertificate)
1121 return errors.New("tls: failed to parse certificate from server: " + err.Error())
1122 }
1123 certs[i] = cert
1124 }
1125
1126 if !c.config.InsecureSkipVerify {
1127 opts := x509.VerifyOptions{
1128 Roots: c.config.RootCAs,
1129 CurrentTime: c.config.time(),
1130 DNSName: c.config.ServerName,
1131 Intermediates: x509.NewCertPool(),
1132 }
1133
1134 for i, cert := range certs {
1135 if i == 0 {
1136 continue
1137 }
1138 opts.Intermediates.AddCert(cert)
1139 }
1140 var err error
1141 c.verifiedChains, err = certs[0].Verify(opts)
1142 if err != nil {
1143 c.sendAlert(alertBadCertificate)
1144 return err
1145 }
1146 }
1147
1148 switch certs[0].PublicKey.(type) {
1149 case *rsa.PublicKey, *ecdsa.PublicKey:
1150 break
1151 default:
1152 c.sendAlert(alertUnsupportedCertificate)
1153 return fmt.Errorf("tls: server's certificate contains an unsupported type of public key: %T", certs[0].PublicKey)
1154 }
1155
1156 c.peerCertificates = certs
1157 return nil
1158}
1159
Adam Langley95c29f32014-06-20 12:00:00 -07001160func (hs *clientHandshakeState) establishKeys() error {
1161 c := hs.c
1162
1163 clientMAC, serverMAC, clientKey, serverKey, clientIV, serverIV :=
Nick Harper1fd39d82016-06-14 18:14:35 -07001164 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 -07001165 var clientCipher, serverCipher interface{}
1166 var clientHash, serverHash macFunction
1167 if hs.suite.cipher != nil {
1168 clientCipher = hs.suite.cipher(clientKey, clientIV, false /* not for reading */)
1169 clientHash = hs.suite.mac(c.vers, clientMAC)
1170 serverCipher = hs.suite.cipher(serverKey, serverIV, true /* for reading */)
1171 serverHash = hs.suite.mac(c.vers, serverMAC)
1172 } else {
Nick Harper1fd39d82016-06-14 18:14:35 -07001173 clientCipher = hs.suite.aead(c.vers, clientKey, clientIV)
1174 serverCipher = hs.suite.aead(c.vers, serverKey, serverIV)
Adam Langley95c29f32014-06-20 12:00:00 -07001175 }
1176
1177 c.in.prepareCipherSpec(c.vers, serverCipher, serverHash)
1178 c.out.prepareCipherSpec(c.vers, clientCipher, clientHash)
1179 return nil
1180}
1181
David Benjamin75101402016-07-01 13:40:23 -04001182func (hs *clientHandshakeState) processServerExtensions(serverExtensions *serverExtensions) error {
1183 c := hs.c
1184
David Benjamin8d315d72016-07-18 01:03:18 +02001185 if c.vers < VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -04001186 if c.config.Bugs.RequireRenegotiationInfo && serverExtensions.secureRenegotiation == nil {
1187 return errors.New("tls: renegotiation extension missing")
1188 }
David Benjamin75101402016-07-01 13:40:23 -04001189
Nick Harperb41d2e42016-07-01 17:50:32 -04001190 if len(c.clientVerify) > 0 && !c.noRenegotiationInfo() {
1191 var expectedRenegInfo []byte
1192 expectedRenegInfo = append(expectedRenegInfo, c.clientVerify...)
1193 expectedRenegInfo = append(expectedRenegInfo, c.serverVerify...)
1194 if !bytes.Equal(serverExtensions.secureRenegotiation, expectedRenegInfo) {
1195 c.sendAlert(alertHandshakeFailure)
1196 return fmt.Errorf("tls: renegotiation mismatch")
1197 }
David Benjamin75101402016-07-01 13:40:23 -04001198 }
David Benjamincea0ab42016-07-14 12:33:14 -04001199 } else if serverExtensions.secureRenegotiation != nil {
1200 return errors.New("tls: renegotiation info sent in TLS 1.3")
David Benjamin75101402016-07-01 13:40:23 -04001201 }
1202
1203 if expected := c.config.Bugs.ExpectedCustomExtension; expected != nil {
1204 if serverExtensions.customExtension != *expected {
1205 return fmt.Errorf("tls: bad custom extension contents %q", serverExtensions.customExtension)
1206 }
1207 }
1208
1209 clientDidNPN := hs.hello.nextProtoNeg
1210 clientDidALPN := len(hs.hello.alpnProtocols) > 0
1211 serverHasNPN := serverExtensions.nextProtoNeg
1212 serverHasALPN := len(serverExtensions.alpnProtocol) > 0
1213
1214 if !clientDidNPN && serverHasNPN {
1215 c.sendAlert(alertHandshakeFailure)
1216 return errors.New("server advertised unrequested NPN extension")
1217 }
1218
1219 if !clientDidALPN && serverHasALPN {
1220 c.sendAlert(alertHandshakeFailure)
1221 return errors.New("server advertised unrequested ALPN extension")
1222 }
1223
1224 if serverHasNPN && serverHasALPN {
1225 c.sendAlert(alertHandshakeFailure)
1226 return errors.New("server advertised both NPN and ALPN extensions")
1227 }
1228
1229 if serverHasALPN {
1230 c.clientProtocol = serverExtensions.alpnProtocol
1231 c.clientProtocolFallback = false
1232 c.usedALPN = true
1233 }
1234
David Benjamin8d315d72016-07-18 01:03:18 +02001235 if serverHasNPN && c.vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -04001236 c.sendAlert(alertHandshakeFailure)
1237 return errors.New("server advertised NPN over TLS 1.3")
1238 }
1239
David Benjamin75101402016-07-01 13:40:23 -04001240 if !hs.hello.channelIDSupported && serverExtensions.channelIDRequested {
1241 c.sendAlert(alertHandshakeFailure)
1242 return errors.New("server advertised unrequested Channel ID extension")
1243 }
1244
David Benjamin8d315d72016-07-18 01:03:18 +02001245 if serverExtensions.extendedMasterSecret && c.vers >= VersionTLS13 {
David Benjamine9077652016-07-13 21:02:08 -04001246 return errors.New("tls: server advertised extended master secret over TLS 1.3")
1247 }
1248
David Benjamin8d315d72016-07-18 01:03:18 +02001249 if serverExtensions.ticketSupported && c.vers >= VersionTLS13 {
Steven Valdez143e8b32016-07-11 13:19:03 -04001250 return errors.New("tls: server advertised ticket extension over TLS 1.3")
1251 }
1252
Steven Valdeza833c352016-11-01 13:39:36 -04001253 if serverExtensions.ocspStapling && c.vers >= VersionTLS13 {
1254 return errors.New("tls: server advertised OCSP in ServerHello over TLS 1.3")
1255 }
1256
David Benjamin53210cb2016-11-16 09:01:48 +09001257 if serverExtensions.ocspStapling && c.config.Bugs.NoOCSPStapling {
1258 return errors.New("tls: server advertised unrequested OCSP extension")
1259 }
1260
Steven Valdeza833c352016-11-01 13:39:36 -04001261 if len(serverExtensions.sctList) > 0 && c.vers >= VersionTLS13 {
1262 return errors.New("tls: server advertised SCTs in ServerHello over TLS 1.3")
1263 }
1264
David Benjamin53210cb2016-11-16 09:01:48 +09001265 if len(serverExtensions.sctList) > 0 && c.config.Bugs.NoSignedCertificateTimestamps {
1266 return errors.New("tls: server advertised unrequested SCTs")
1267 }
1268
David Benjamin75101402016-07-01 13:40:23 -04001269 if serverExtensions.srtpProtectionProfile != 0 {
1270 if serverExtensions.srtpMasterKeyIdentifier != "" {
1271 return errors.New("tls: server selected SRTP MKI value")
1272 }
1273
1274 found := false
1275 for _, p := range c.config.SRTPProtectionProfiles {
1276 if p == serverExtensions.srtpProtectionProfile {
1277 found = true
1278 break
1279 }
1280 }
1281 if !found {
1282 return errors.New("tls: server advertised unsupported SRTP profile")
1283 }
1284
1285 c.srtpProtectionProfile = serverExtensions.srtpProtectionProfile
1286 }
1287
1288 return nil
1289}
1290
Adam Langley95c29f32014-06-20 12:00:00 -07001291func (hs *clientHandshakeState) serverResumedSession() bool {
1292 // If the server responded with the same sessionId then it means the
1293 // sessionTicket is being used to resume a TLS session.
1294 return hs.session != nil && hs.hello.sessionId != nil &&
1295 bytes.Equal(hs.serverHello.sessionId, hs.hello.sessionId)
1296}
1297
1298func (hs *clientHandshakeState) processServerHello() (bool, error) {
1299 c := hs.c
1300
Adam Langley95c29f32014-06-20 12:00:00 -07001301 if hs.serverResumedSession() {
David Benjamin4b27d9f2015-05-12 22:42:52 -04001302 // For test purposes, assert that the server never accepts the
1303 // resumption offer on renegotiation.
1304 if c.cipherSuite != nil && c.config.Bugs.FailIfResumeOnRenego {
1305 return false, errors.New("tls: server resumed session on renegotiation")
1306 }
1307
Nick Harperb3d51be2016-07-01 11:43:18 -04001308 if hs.serverHello.extensions.sctList != nil {
Paul Lietar62be8ac2015-09-16 10:03:30 +01001309 return false, errors.New("tls: server sent SCT extension on session resumption")
1310 }
1311
Nick Harperb3d51be2016-07-01 11:43:18 -04001312 if hs.serverHello.extensions.ocspStapling {
Paul Lietar62be8ac2015-09-16 10:03:30 +01001313 return false, errors.New("tls: server sent OCSP extension on session resumption")
1314 }
1315
Adam Langley95c29f32014-06-20 12:00:00 -07001316 // Restore masterSecret and peerCerts from previous state
1317 hs.masterSecret = hs.session.masterSecret
1318 c.peerCertificates = hs.session.serverCertificates
Adam Langley75712922014-10-10 16:23:43 -07001319 c.extendedMasterSecret = hs.session.extendedMasterSecret
Paul Lietar62be8ac2015-09-16 10:03:30 +01001320 c.sctList = hs.session.sctList
1321 c.ocspResponse = hs.session.ocspResponse
David Benjamine098ec22014-08-27 23:13:20 -04001322 hs.finishedHash.discardHandshakeBuffer()
Adam Langley95c29f32014-06-20 12:00:00 -07001323 return true, nil
1324 }
Paul Lietar62be8ac2015-09-16 10:03:30 +01001325
Nick Harperb3d51be2016-07-01 11:43:18 -04001326 if hs.serverHello.extensions.sctList != nil {
1327 c.sctList = hs.serverHello.extensions.sctList
Paul Lietar62be8ac2015-09-16 10:03:30 +01001328 }
1329
Adam Langley95c29f32014-06-20 12:00:00 -07001330 return false, nil
1331}
1332
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001333func (hs *clientHandshakeState) readFinished(out []byte) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001334 c := hs.c
1335
1336 c.readRecord(recordTypeChangeCipherSpec)
1337 if err := c.in.error(); err != nil {
1338 return err
1339 }
1340
1341 msg, err := c.readHandshake()
1342 if err != nil {
1343 return err
1344 }
1345 serverFinished, ok := msg.(*finishedMsg)
1346 if !ok {
1347 c.sendAlert(alertUnexpectedMessage)
1348 return unexpectedMessageError(serverFinished, msg)
1349 }
1350
David Benjaminf3ec83d2014-07-21 22:42:34 -04001351 if c.config.Bugs.EarlyChangeCipherSpec == 0 {
1352 verify := hs.finishedHash.serverSum(hs.masterSecret)
1353 if len(verify) != len(serverFinished.verifyData) ||
1354 subtle.ConstantTimeCompare(verify, serverFinished.verifyData) != 1 {
1355 c.sendAlert(alertHandshakeFailure)
1356 return errors.New("tls: server's Finished message was incorrect")
1357 }
Adam Langley95c29f32014-06-20 12:00:00 -07001358 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001359 c.serverVerify = append(c.serverVerify[:0], serverFinished.verifyData...)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001360 copy(out, serverFinished.verifyData)
David Benjamin83c0bc92014-08-04 01:23:53 -04001361 hs.writeServerHash(serverFinished.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001362 return nil
1363}
1364
1365func (hs *clientHandshakeState) readSessionTicket() error {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001366 c := hs.c
1367
1368 // Create a session with no server identifier. Either a
1369 // session ID or session ticket will be attached.
1370 session := &ClientSessionState{
1371 vers: c.vers,
1372 cipherSuite: hs.suite.id,
1373 masterSecret: hs.masterSecret,
Nick Harperc9846112016-10-17 15:05:35 -07001374 handshakeHash: hs.finishedHash.Sum(),
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001375 serverCertificates: c.peerCertificates,
Paul Lietar62be8ac2015-09-16 10:03:30 +01001376 sctList: c.sctList,
1377 ocspResponse: c.ocspResponse,
Nick Harper0b3625b2016-07-25 16:16:28 -07001378 ticketExpiration: c.config.time().Add(time.Duration(7 * 24 * time.Hour)),
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001379 }
1380
Nick Harperb3d51be2016-07-01 11:43:18 -04001381 if !hs.serverHello.extensions.ticketSupported {
David Benjamind98452d2015-06-16 14:16:23 -04001382 if c.config.Bugs.ExpectNewTicket {
1383 return errors.New("tls: expected new ticket")
1384 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001385 if hs.session == nil && len(hs.serverHello.sessionId) > 0 {
1386 session.sessionId = hs.serverHello.sessionId
1387 hs.session = session
1388 }
Adam Langley95c29f32014-06-20 12:00:00 -07001389 return nil
1390 }
1391
David Benjaminc7ce9772015-10-09 19:32:41 -04001392 if c.vers == VersionSSL30 {
1393 return errors.New("tls: negotiated session tickets in SSL 3.0")
1394 }
1395
Adam Langley95c29f32014-06-20 12:00:00 -07001396 msg, err := c.readHandshake()
1397 if err != nil {
1398 return err
1399 }
1400 sessionTicketMsg, ok := msg.(*newSessionTicketMsg)
1401 if !ok {
1402 c.sendAlert(alertUnexpectedMessage)
1403 return unexpectedMessageError(sessionTicketMsg, msg)
1404 }
Adam Langley95c29f32014-06-20 12:00:00 -07001405
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001406 session.sessionTicket = sessionTicketMsg.ticket
1407 hs.session = session
Adam Langley95c29f32014-06-20 12:00:00 -07001408
David Benjamind30a9902014-08-24 01:44:23 -04001409 hs.writeServerHash(sessionTicketMsg.marshal())
1410
Adam Langley95c29f32014-06-20 12:00:00 -07001411 return nil
1412}
1413
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001414func (hs *clientHandshakeState) sendFinished(out []byte, isResume bool) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001415 c := hs.c
1416
David Benjamin0b8d5da2016-07-15 00:39:56 -04001417 var postCCSMsgs [][]byte
David Benjamin83c0bc92014-08-04 01:23:53 -04001418 seqno := hs.c.sendHandshakeSeq
Nick Harperb3d51be2016-07-01 11:43:18 -04001419 if hs.serverHello.extensions.nextProtoNeg {
Adam Langley95c29f32014-06-20 12:00:00 -07001420 nextProto := new(nextProtoMsg)
Nick Harperb3d51be2016-07-01 11:43:18 -04001421 proto, fallback := mutualProtocol(c.config.NextProtos, hs.serverHello.extensions.nextProtos)
Adam Langley95c29f32014-06-20 12:00:00 -07001422 nextProto.proto = proto
1423 c.clientProtocol = proto
1424 c.clientProtocolFallback = fallback
1425
David Benjamin86271ee2014-07-21 16:14:03 -04001426 nextProtoBytes := nextProto.marshal()
David Benjamin83c0bc92014-08-04 01:23:53 -04001427 hs.writeHash(nextProtoBytes, seqno)
1428 seqno++
David Benjamin0b8d5da2016-07-15 00:39:56 -04001429 postCCSMsgs = append(postCCSMsgs, nextProtoBytes)
Adam Langley95c29f32014-06-20 12:00:00 -07001430 }
1431
Nick Harperb3d51be2016-07-01 11:43:18 -04001432 if hs.serverHello.extensions.channelIDRequested {
David Benjamind30a9902014-08-24 01:44:23 -04001433 var resumeHash []byte
1434 if isResume {
1435 resumeHash = hs.session.handshakeHash
1436 }
Nick Harper60a85cb2016-09-23 16:25:11 -07001437 channelIDMsgBytes, err := hs.writeChannelIDMessage(hs.finishedHash.hashForChannelID(resumeHash))
David Benjamind30a9902014-08-24 01:44:23 -04001438 if err != nil {
1439 return err
1440 }
David Benjamin24599a82016-06-30 18:56:53 -04001441 hs.writeHash(channelIDMsgBytes, seqno)
David Benjamind30a9902014-08-24 01:44:23 -04001442 seqno++
David Benjamin0b8d5da2016-07-15 00:39:56 -04001443 postCCSMsgs = append(postCCSMsgs, channelIDMsgBytes)
David Benjamind30a9902014-08-24 01:44:23 -04001444 }
1445
Adam Langley95c29f32014-06-20 12:00:00 -07001446 finished := new(finishedMsg)
David Benjaminf3ec83d2014-07-21 22:42:34 -04001447 if c.config.Bugs.EarlyChangeCipherSpec == 2 {
1448 finished.verifyData = hs.finishedHash.clientSum(nil)
1449 } else {
1450 finished.verifyData = hs.finishedHash.clientSum(hs.masterSecret)
1451 }
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001452 copy(out, finished.verifyData)
David Benjamin513f0ea2015-04-02 19:33:31 -04001453 if c.config.Bugs.BadFinished {
1454 finished.verifyData[0]++
1455 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001456 c.clientVerify = append(c.clientVerify[:0], finished.verifyData...)
David Benjamin83f90402015-01-27 01:09:43 -05001457 hs.finishedBytes = finished.marshal()
1458 hs.writeHash(hs.finishedBytes, seqno)
David Benjamin0b8d5da2016-07-15 00:39:56 -04001459 postCCSMsgs = append(postCCSMsgs, hs.finishedBytes)
David Benjamin86271ee2014-07-21 16:14:03 -04001460
1461 if c.config.Bugs.FragmentAcrossChangeCipherSpec {
David Benjamin0b8d5da2016-07-15 00:39:56 -04001462 c.writeRecord(recordTypeHandshake, postCCSMsgs[0][:5])
1463 postCCSMsgs[0] = postCCSMsgs[0][5:]
David Benjamin61672812016-07-14 23:10:43 -04001464 } else if c.config.Bugs.SendUnencryptedFinished {
David Benjamin0b8d5da2016-07-15 00:39:56 -04001465 c.writeRecord(recordTypeHandshake, postCCSMsgs[0])
1466 postCCSMsgs = postCCSMsgs[1:]
David Benjamin86271ee2014-07-21 16:14:03 -04001467 }
David Benjamin582ba042016-07-07 12:33:25 -07001468 c.flushHandshake()
David Benjamin86271ee2014-07-21 16:14:03 -04001469
1470 if !c.config.Bugs.SkipChangeCipherSpec &&
1471 c.config.Bugs.EarlyChangeCipherSpec == 0 {
David Benjamin8411b242015-11-26 12:07:28 -05001472 ccs := []byte{1}
1473 if c.config.Bugs.BadChangeCipherSpec != nil {
1474 ccs = c.config.Bugs.BadChangeCipherSpec
1475 }
1476 c.writeRecord(recordTypeChangeCipherSpec, ccs)
David Benjamin86271ee2014-07-21 16:14:03 -04001477 }
1478
David Benjamin4189bd92015-01-25 23:52:39 -05001479 if c.config.Bugs.AppDataAfterChangeCipherSpec != nil {
1480 c.writeRecord(recordTypeApplicationData, c.config.Bugs.AppDataAfterChangeCipherSpec)
1481 }
David Benjamindc3da932015-03-12 15:09:02 -04001482 if c.config.Bugs.AlertAfterChangeCipherSpec != 0 {
1483 c.sendAlert(c.config.Bugs.AlertAfterChangeCipherSpec)
1484 return errors.New("tls: simulating post-CCS alert")
1485 }
David Benjamin4189bd92015-01-25 23:52:39 -05001486
David Benjamin0b8d5da2016-07-15 00:39:56 -04001487 if !c.config.Bugs.SkipFinished {
1488 for _, msg := range postCCSMsgs {
1489 c.writeRecord(recordTypeHandshake, msg)
1490 }
David Benjamin02edcd02016-07-27 17:40:37 -04001491
1492 if c.config.Bugs.SendExtraFinished {
1493 c.writeRecord(recordTypeHandshake, finished.marshal())
1494 }
1495
David Benjamin582ba042016-07-07 12:33:25 -07001496 c.flushHandshake()
David Benjaminb3774b92015-01-31 17:16:01 -05001497 }
Adam Langley95c29f32014-06-20 12:00:00 -07001498 return nil
1499}
1500
Nick Harper60a85cb2016-09-23 16:25:11 -07001501func (hs *clientHandshakeState) writeChannelIDMessage(channelIDHash []byte) ([]byte, error) {
1502 c := hs.c
1503 channelIDMsg := new(channelIDMsg)
1504 if c.config.ChannelID.Curve != elliptic.P256() {
1505 return nil, fmt.Errorf("tls: Channel ID is not on P-256.")
1506 }
1507 r, s, err := ecdsa.Sign(c.config.rand(), c.config.ChannelID, channelIDHash)
1508 if err != nil {
1509 return nil, err
1510 }
1511 channelID := make([]byte, 128)
1512 writeIntPadded(channelID[0:32], c.config.ChannelID.X)
1513 writeIntPadded(channelID[32:64], c.config.ChannelID.Y)
1514 writeIntPadded(channelID[64:96], r)
1515 writeIntPadded(channelID[96:128], s)
1516 if c.config.Bugs.InvalidChannelIDSignature {
1517 channelID[64] ^= 1
1518 }
1519 channelIDMsg.channelID = channelID
1520
1521 c.channelID = &c.config.ChannelID.PublicKey
1522
1523 return channelIDMsg.marshal(), nil
1524}
1525
David Benjamin83c0bc92014-08-04 01:23:53 -04001526func (hs *clientHandshakeState) writeClientHash(msg []byte) {
1527 // writeClientHash is called before writeRecord.
1528 hs.writeHash(msg, hs.c.sendHandshakeSeq)
1529}
1530
1531func (hs *clientHandshakeState) writeServerHash(msg []byte) {
1532 // writeServerHash is called after readHandshake.
1533 hs.writeHash(msg, hs.c.recvHandshakeSeq-1)
1534}
1535
1536func (hs *clientHandshakeState) writeHash(msg []byte, seqno uint16) {
1537 if hs.c.isDTLS {
1538 // This is somewhat hacky. DTLS hashes a slightly different format.
1539 // First, the TLS header.
1540 hs.finishedHash.Write(msg[:4])
1541 // Then the sequence number and reassembled fragment offset (always 0).
1542 hs.finishedHash.Write([]byte{byte(seqno >> 8), byte(seqno), 0, 0, 0})
1543 // Then the reassembled fragment (always equal to the message length).
1544 hs.finishedHash.Write(msg[1:4])
1545 // And then the message body.
1546 hs.finishedHash.Write(msg[4:])
1547 } else {
1548 hs.finishedHash.Write(msg)
1549 }
1550}
1551
David Benjamina6f82632016-07-01 18:44:02 -04001552// selectClientCertificate selects a certificate for use with the given
1553// certificate, or none if none match. It may return a particular certificate or
1554// nil on success, or an error on internal error.
1555func selectClientCertificate(c *Conn, certReq *certificateRequestMsg) (*Certificate, error) {
1556 // RFC 4346 on the certificateAuthorities field:
1557 // A list of the distinguished names of acceptable certificate
1558 // authorities. These distinguished names may specify a desired
1559 // distinguished name for a root CA or for a subordinate CA; thus, this
1560 // message can be used to describe both known roots and a desired
1561 // authorization space. If the certificate_authorities list is empty
1562 // then the client MAY send any certificate of the appropriate
1563 // ClientCertificateType, unless there is some external arrangement to
1564 // the contrary.
1565
1566 var rsaAvail, ecdsaAvail bool
Nick Harperb41d2e42016-07-01 17:50:32 -04001567 if !certReq.hasRequestContext {
1568 for _, certType := range certReq.certificateTypes {
1569 switch certType {
1570 case CertTypeRSASign:
1571 rsaAvail = true
1572 case CertTypeECDSASign:
1573 ecdsaAvail = true
1574 }
David Benjamina6f82632016-07-01 18:44:02 -04001575 }
1576 }
1577
1578 // We need to search our list of client certs for one
1579 // where SignatureAlgorithm is RSA and the Issuer is in
1580 // certReq.certificateAuthorities
1581findCert:
1582 for i, chain := range c.config.Certificates {
Nick Harperb41d2e42016-07-01 17:50:32 -04001583 if !certReq.hasRequestContext && !rsaAvail && !ecdsaAvail {
David Benjamina6f82632016-07-01 18:44:02 -04001584 continue
1585 }
1586
1587 // Ensure the private key supports one of the advertised
1588 // signature algorithms.
1589 if certReq.hasSignatureAlgorithm {
David Benjamin0a8deb22016-07-09 21:02:01 -07001590 if _, err := selectSignatureAlgorithm(c.vers, chain.PrivateKey, c.config, certReq.signatureAlgorithms); err != nil {
David Benjamina6f82632016-07-01 18:44:02 -04001591 continue
1592 }
1593 }
1594
1595 for j, cert := range chain.Certificate {
1596 x509Cert := chain.Leaf
1597 // parse the certificate if this isn't the leaf
1598 // node, or if chain.Leaf was nil
1599 if j != 0 || x509Cert == nil {
1600 var err error
1601 if x509Cert, err = x509.ParseCertificate(cert); err != nil {
1602 c.sendAlert(alertInternalError)
1603 return nil, errors.New("tls: failed to parse client certificate #" + strconv.Itoa(i) + ": " + err.Error())
1604 }
1605 }
1606
Nick Harperb41d2e42016-07-01 17:50:32 -04001607 if !certReq.hasRequestContext {
1608 switch {
1609 case rsaAvail && x509Cert.PublicKeyAlgorithm == x509.RSA:
1610 case ecdsaAvail && x509Cert.PublicKeyAlgorithm == x509.ECDSA:
1611 default:
1612 continue findCert
1613 }
David Benjamina6f82632016-07-01 18:44:02 -04001614 }
1615
1616 if len(certReq.certificateAuthorities) == 0 {
1617 // They gave us an empty list, so just take the
1618 // first certificate of valid type from
1619 // c.config.Certificates.
1620 return &chain, nil
1621 }
1622
1623 for _, ca := range certReq.certificateAuthorities {
1624 if bytes.Equal(x509Cert.RawIssuer, ca) {
1625 return &chain, nil
1626 }
1627 }
1628 }
1629 }
1630
1631 return nil, nil
1632}
1633
Adam Langley95c29f32014-06-20 12:00:00 -07001634// clientSessionCacheKey returns a key used to cache sessionTickets that could
1635// be used to resume previously negotiated TLS sessions with a server.
1636func clientSessionCacheKey(serverAddr net.Addr, config *Config) string {
1637 if len(config.ServerName) > 0 {
1638 return config.ServerName
1639 }
1640 return serverAddr.String()
1641}
1642
David Benjaminfa055a22014-09-15 16:51:51 -04001643// mutualProtocol finds the mutual Next Protocol Negotiation or ALPN protocol
1644// given list of possible protocols and a list of the preference order. The
1645// first list must not be empty. It returns the resulting protocol and flag
Adam Langley95c29f32014-06-20 12:00:00 -07001646// indicating if the fallback case was reached.
David Benjaminfa055a22014-09-15 16:51:51 -04001647func mutualProtocol(protos, preferenceProtos []string) (string, bool) {
1648 for _, s := range preferenceProtos {
1649 for _, c := range protos {
Adam Langley95c29f32014-06-20 12:00:00 -07001650 if s == c {
1651 return s, false
1652 }
1653 }
1654 }
1655
David Benjaminfa055a22014-09-15 16:51:51 -04001656 return protos[0], true
Adam Langley95c29f32014-06-20 12:00:00 -07001657}
David Benjamind30a9902014-08-24 01:44:23 -04001658
1659// writeIntPadded writes x into b, padded up with leading zeros as
1660// needed.
1661func writeIntPadded(b []byte, x *big.Int) {
1662 for i := range b {
1663 b[i] = 0
1664 }
1665 xb := x.Bytes()
1666 copy(b[len(b)-len(xb):], xb)
1667}
Steven Valdeza833c352016-11-01 13:39:36 -04001668
1669func generatePSKBinders(hello *clientHelloMsg, pskCipherSuite *cipherSuite, psk, transcript []byte, config *Config) {
1670 if config.Bugs.SendNoPSKBinder {
1671 return
1672 }
1673
1674 binderLen := pskCipherSuite.hash().Size()
1675 if config.Bugs.SendShortPSKBinder {
1676 binderLen--
1677 }
1678
David Benjaminaedf3032016-12-01 16:47:56 -05001679 numBinders := 1
1680 if config.Bugs.SendExtraPSKBinder {
1681 numBinders++
1682 }
1683
Steven Valdeza833c352016-11-01 13:39:36 -04001684 // Fill hello.pskBinders with appropriate length arrays of zeros so the
1685 // length prefixes are correct when computing the binder over the truncated
1686 // ClientHello message.
David Benjaminaedf3032016-12-01 16:47:56 -05001687 hello.pskBinders = make([][]byte, numBinders)
1688 for i := range hello.pskBinders {
Steven Valdeza833c352016-11-01 13:39:36 -04001689 hello.pskBinders[i] = make([]byte, binderLen)
1690 }
1691
1692 helloBytes := hello.marshal()
1693 binderSize := len(hello.pskBinders)*(binderLen+1) + 2
1694 truncatedHello := helloBytes[:len(helloBytes)-binderSize]
1695 binder := computePSKBinder(psk, resumptionPSKBinderLabel, pskCipherSuite, transcript, truncatedHello)
1696 if config.Bugs.SendShortPSKBinder {
1697 binder = binder[:binderLen]
1698 }
1699 if config.Bugs.SendInvalidPSKBinder {
1700 binder[0] ^= 1
1701 }
1702
1703 for i := range hello.pskBinders {
1704 hello.pskBinders[i] = binder
1705 }
1706
1707 hello.raw = nil
1708}