blob: 1e0d313c071b4ecf96e3d31ea852445545dbf25f [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 (
David Benjamin83c0bc92014-08-04 01:23:53 -04008 "bytes"
Adam Langley95c29f32014-06-20 12:00:00 -07009 "crypto"
10 "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 Benjamind30a9902014-08-24 01:44:23 -040018 "math/big"
Steven Valdeza833c352016-11-01 13:39:36 -040019 "time"
Adam Langley95c29f32014-06-20 12:00:00 -070020)
21
22// serverHandshakeState contains details of a server handshake in progress.
23// It's discarded once the handshake has completed.
24type serverHandshakeState struct {
25 c *Conn
26 clientHello *clientHelloMsg
27 hello *serverHelloMsg
28 suite *cipherSuite
29 ellipticOk bool
30 ecdsaOk bool
31 sessionState *sessionState
32 finishedHash finishedHash
33 masterSecret []byte
34 certsFromClient [][]byte
35 cert *Certificate
David Benjamin83f90402015-01-27 01:09:43 -050036 finishedBytes []byte
Adam Langley95c29f32014-06-20 12:00:00 -070037}
38
39// serverHandshake performs a TLS handshake as a server.
40func (c *Conn) serverHandshake() error {
41 config := c.config
42
43 // If this is the first server handshake, we generate a random key to
44 // encrypt the tickets with.
45 config.serverInitOnce.Do(config.serverInit)
46
David Benjamin83c0bc92014-08-04 01:23:53 -040047 c.sendHandshakeSeq = 0
48 c.recvHandshakeSeq = 0
49
Adam Langley95c29f32014-06-20 12:00:00 -070050 hs := serverHandshakeState{
51 c: c,
52 }
David Benjaminf25dda92016-07-04 10:05:26 -070053 if err := hs.readClientHello(); err != nil {
54 return err
55 }
Adam Langley95c29f32014-06-20 12:00:00 -070056
David Benjamin8d315d72016-07-18 01:03:18 +020057 if c.vers >= VersionTLS13 {
Nick Harper728eed82016-07-07 17:36:52 -070058 if err := hs.doTLS13Handshake(); err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -070059 return err
60 }
Nick Harper728eed82016-07-07 17:36:52 -070061 } else {
62 isResume, err := hs.processClientHello()
63 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -070064 return err
65 }
Nick Harper728eed82016-07-07 17:36:52 -070066
67 // For an overview of TLS handshaking, see https://tools.ietf.org/html/rfc5246#section-7.3
68 if isResume {
69 // The client has included a session ticket and so we do an abbreviated handshake.
70 if err := hs.doResumeHandshake(); err != nil {
71 return err
72 }
73 if err := hs.establishKeys(); err != nil {
74 return err
75 }
76 if c.config.Bugs.RenewTicketOnResume {
77 if err := hs.sendSessionTicket(); err != nil {
78 return err
79 }
80 }
81 if err := hs.sendFinished(c.firstFinished[:]); err != nil {
82 return err
83 }
84 // Most retransmits are triggered by a timeout, but the final
85 // leg of the handshake is retransmited upon re-receiving a
86 // Finished.
87 if err := c.simulatePacketLoss(func() {
David Benjamin02edcd02016-07-27 17:40:37 -040088 c.sendHandshakeSeq--
Nick Harper728eed82016-07-07 17:36:52 -070089 c.writeRecord(recordTypeHandshake, hs.finishedBytes)
90 c.flushHandshake()
91 }); err != nil {
92 return err
93 }
94 if err := hs.readFinished(nil, isResume); err != nil {
95 return err
96 }
97 c.didResume = true
98 } else {
99 // The client didn't include a session ticket, or it wasn't
100 // valid so we do a full handshake.
101 if err := hs.doFullHandshake(); err != nil {
102 return err
103 }
104 if err := hs.establishKeys(); err != nil {
105 return err
106 }
107 if err := hs.readFinished(c.firstFinished[:], isResume); err != nil {
108 return err
109 }
110 if c.config.Bugs.AlertBeforeFalseStartTest != 0 {
111 c.sendAlert(c.config.Bugs.AlertBeforeFalseStartTest)
112 }
113 if c.config.Bugs.ExpectFalseStart {
114 if err := c.readRecord(recordTypeApplicationData); err != nil {
115 return fmt.Errorf("tls: peer did not false start: %s", err)
116 }
117 }
David Benjaminbed9aae2014-08-07 19:13:38 -0400118 if err := hs.sendSessionTicket(); err != nil {
119 return err
120 }
Nick Harper728eed82016-07-07 17:36:52 -0700121 if err := hs.sendFinished(nil); err != nil {
122 return err
David Benjamine58c4f52014-08-24 03:47:07 -0400123 }
124 }
David Benjamin97a0a082016-07-13 17:57:35 -0400125
126 c.exporterSecret = hs.masterSecret
Adam Langley95c29f32014-06-20 12:00:00 -0700127 }
128 c.handshakeComplete = true
David Benjaminc565ebb2015-04-03 04:06:36 -0400129 copy(c.clientRandom[:], hs.clientHello.random)
130 copy(c.serverRandom[:], hs.hello.random)
Adam Langley95c29f32014-06-20 12:00:00 -0700131
132 return nil
133}
134
David Benjaminf25dda92016-07-04 10:05:26 -0700135// readClientHello reads a ClientHello message from the client and determines
136// the protocol version.
137func (hs *serverHandshakeState) readClientHello() error {
Adam Langley95c29f32014-06-20 12:00:00 -0700138 config := hs.c.config
139 c := hs.c
140
David Benjamin83f90402015-01-27 01:09:43 -0500141 if err := c.simulatePacketLoss(nil); err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700142 return err
David Benjamin83f90402015-01-27 01:09:43 -0500143 }
Adam Langley95c29f32014-06-20 12:00:00 -0700144 msg, err := c.readHandshake()
145 if err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700146 return err
Adam Langley95c29f32014-06-20 12:00:00 -0700147 }
148 var ok bool
149 hs.clientHello, ok = msg.(*clientHelloMsg)
150 if !ok {
151 c.sendAlert(alertUnexpectedMessage)
David Benjaminf25dda92016-07-04 10:05:26 -0700152 return unexpectedMessageError(hs.clientHello, msg)
Adam Langley95c29f32014-06-20 12:00:00 -0700153 }
Adam Langley33ad2b52015-07-20 17:43:53 -0700154 if size := config.Bugs.RequireClientHelloSize; size != 0 && len(hs.clientHello.raw) != size {
David Benjaminf25dda92016-07-04 10:05:26 -0700155 return fmt.Errorf("tls: ClientHello record size is %d, but expected %d", len(hs.clientHello.raw), size)
Feng Lu41aa3252014-11-21 22:47:56 -0800156 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400157
158 if c.isDTLS && !config.Bugs.SkipHelloVerifyRequest {
David Benjamin8bc38f52014-08-16 12:07:27 -0400159 // Per RFC 6347, the version field in HelloVerifyRequest SHOULD
160 // be always DTLS 1.0
David Benjamin83c0bc92014-08-04 01:23:53 -0400161 helloVerifyRequest := &helloVerifyRequestMsg{
David Benjaminda4789e2016-10-31 19:23:34 -0400162 vers: versionToWire(VersionTLS10, c.isDTLS),
David Benjamin83c0bc92014-08-04 01:23:53 -0400163 cookie: make([]byte, 32),
164 }
165 if _, err := io.ReadFull(c.config.rand(), helloVerifyRequest.cookie); err != nil {
166 c.sendAlert(alertInternalError)
David Benjaminf25dda92016-07-04 10:05:26 -0700167 return errors.New("dtls: short read from Rand: " + err.Error())
David Benjamin83c0bc92014-08-04 01:23:53 -0400168 }
169 c.writeRecord(recordTypeHandshake, helloVerifyRequest.marshal())
David Benjamin582ba042016-07-07 12:33:25 -0700170 c.flushHandshake()
David Benjamin83c0bc92014-08-04 01:23:53 -0400171
David Benjamin83f90402015-01-27 01:09:43 -0500172 if err := c.simulatePacketLoss(nil); err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700173 return err
David Benjamin83f90402015-01-27 01:09:43 -0500174 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400175 msg, err := c.readHandshake()
176 if err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700177 return err
David Benjamin83c0bc92014-08-04 01:23:53 -0400178 }
179 newClientHello, ok := msg.(*clientHelloMsg)
180 if !ok {
181 c.sendAlert(alertUnexpectedMessage)
David Benjaminf25dda92016-07-04 10:05:26 -0700182 return unexpectedMessageError(hs.clientHello, msg)
David Benjamin83c0bc92014-08-04 01:23:53 -0400183 }
184 if !bytes.Equal(newClientHello.cookie, helloVerifyRequest.cookie) {
David Benjaminf25dda92016-07-04 10:05:26 -0700185 return errors.New("dtls: invalid cookie")
David Benjamin83c0bc92014-08-04 01:23:53 -0400186 }
David Benjaminf2fedef2014-08-16 01:37:34 -0400187
188 // Apart from the cookie, the two ClientHellos must
189 // match. Note that clientHello.equal compares the
190 // serialization, so we make a copy.
191 oldClientHelloCopy := *hs.clientHello
192 oldClientHelloCopy.raw = nil
193 oldClientHelloCopy.cookie = nil
194 newClientHelloCopy := *newClientHello
195 newClientHelloCopy.raw = nil
196 newClientHelloCopy.cookie = nil
197 if !oldClientHelloCopy.equal(&newClientHelloCopy) {
David Benjaminf25dda92016-07-04 10:05:26 -0700198 return errors.New("dtls: retransmitted ClientHello does not match")
David Benjamin83c0bc92014-08-04 01:23:53 -0400199 }
200 hs.clientHello = newClientHello
201 }
202
David Benjaminc44b1df2014-11-23 12:11:01 -0500203 if config.Bugs.RequireSameRenegoClientVersion && c.clientVersion != 0 {
204 if c.clientVersion != hs.clientHello.vers {
David Benjaminf25dda92016-07-04 10:05:26 -0700205 return fmt.Errorf("tls: client offered different version on renego")
David Benjaminc44b1df2014-11-23 12:11:01 -0500206 }
207 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400208
David Benjaminc44b1df2014-11-23 12:11:01 -0500209 c.clientVersion = hs.clientHello.vers
Steven Valdezfdd10992016-09-15 16:27:05 -0400210
211 // Convert the ClientHello wire version to a protocol version.
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400212 var clientVersion uint16
213 if c.isDTLS {
214 if hs.clientHello.vers <= 0xfefd {
215 clientVersion = VersionTLS12
216 } else if hs.clientHello.vers <= 0xfeff {
217 clientVersion = VersionTLS10
218 }
219 } else {
Steven Valdezfdd10992016-09-15 16:27:05 -0400220 if hs.clientHello.vers >= VersionTLS12 {
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400221 clientVersion = VersionTLS12
222 } else if hs.clientHello.vers >= VersionTLS11 {
223 clientVersion = VersionTLS11
224 } else if hs.clientHello.vers >= VersionTLS10 {
225 clientVersion = VersionTLS10
226 } else if hs.clientHello.vers >= VersionSSL30 {
227 clientVersion = VersionSSL30
228 }
229 }
230
231 if config.Bugs.NegotiateVersion != 0 {
232 c.vers = config.Bugs.NegotiateVersion
233 } else if c.haveVers && config.Bugs.NegotiateVersionOnRenego != 0 {
234 c.vers = config.Bugs.NegotiateVersionOnRenego
Steven Valdezfdd10992016-09-15 16:27:05 -0400235 } else if len(hs.clientHello.supportedVersions) > 0 {
236 // Use the versions extension if supplied.
David Benjamind9791bf2016-09-27 16:39:52 -0400237 var foundVersion, foundGREASE bool
Steven Valdezfdd10992016-09-15 16:27:05 -0400238 for _, extVersion := range hs.clientHello.supportedVersions {
David Benjamind9791bf2016-09-27 16:39:52 -0400239 if isGREASEValue(extVersion) {
240 foundGREASE = true
241 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400242 extVersion, ok = wireToVersion(extVersion, c.isDTLS)
243 if !ok {
244 continue
245 }
David Benjamind9791bf2016-09-27 16:39:52 -0400246 if config.isSupportedVersion(extVersion, c.isDTLS) && !foundVersion {
Steven Valdezfdd10992016-09-15 16:27:05 -0400247 c.vers = extVersion
248 foundVersion = true
249 break
250 }
251 }
252 if !foundVersion {
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400253 c.sendAlert(alertProtocolVersion)
Steven Valdezfdd10992016-09-15 16:27:05 -0400254 return errors.New("tls: client did not offer any supported protocol versions")
255 }
David Benjamind9791bf2016-09-27 16:39:52 -0400256 if config.Bugs.ExpectGREASE && !foundGREASE {
257 return errors.New("tls: no GREASE version value found")
258 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400259 } else {
260 // Otherwise, use the legacy ClientHello version.
261 version := clientVersion
262 if maxVersion := config.maxVersion(c.isDTLS); version > maxVersion {
263 version = maxVersion
264 }
265 if version == 0 || !config.isSupportedVersion(version, c.isDTLS) {
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400266 return fmt.Errorf("tls: client offered an unsupported, maximum protocol version of %x", hs.clientHello.vers)
267 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400268 c.vers = version
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400269 }
270 c.haveVers = true
David Benjaminc44b1df2014-11-23 12:11:01 -0500271
David Benjamin6ae7f072015-01-26 10:22:13 -0500272 // Reject < 1.2 ClientHellos with signature_algorithms.
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400273 if clientVersion < VersionTLS12 && len(hs.clientHello.signatureAlgorithms) > 0 {
David Benjaminf25dda92016-07-04 10:05:26 -0700274 return fmt.Errorf("tls: client included signature_algorithms before TLS 1.2")
David Benjamin72dc7832015-03-16 17:49:43 -0400275 }
David Benjamin6ae7f072015-01-26 10:22:13 -0500276
David Benjaminf93995b2015-11-05 18:23:20 -0500277 // Check the client cipher list is consistent with the version.
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400278 if clientVersion < VersionTLS12 {
David Benjaminf93995b2015-11-05 18:23:20 -0500279 for _, id := range hs.clientHello.cipherSuites {
280 if isTLS12Cipher(id) {
David Benjaminf25dda92016-07-04 10:05:26 -0700281 return fmt.Errorf("tls: client offered TLS 1.2 cipher before TLS 1.2")
David Benjaminf93995b2015-11-05 18:23:20 -0500282 }
283 }
284 }
285
David Benjamin405da482016-08-08 17:25:07 -0400286 if config.Bugs.ExpectNoTLS12Session {
287 if len(hs.clientHello.sessionId) > 0 {
288 return fmt.Errorf("tls: client offered an unexpected session ID")
289 }
290 if len(hs.clientHello.sessionTicket) > 0 {
291 return fmt.Errorf("tls: client offered an unexpected session ticket")
292 }
293 }
294
295 if config.Bugs.ExpectNoTLS13PSK && len(hs.clientHello.pskIdentities) > 0 {
296 return fmt.Errorf("tls: client offered unexpected PSK identities")
297 }
298
David Benjamin65ac9972016-09-02 21:35:25 -0400299 var scsvFound, greaseFound bool
David Benjaminf25dda92016-07-04 10:05:26 -0700300 for _, cipherSuite := range hs.clientHello.cipherSuites {
301 if cipherSuite == fallbackSCSV {
302 scsvFound = true
David Benjamin65ac9972016-09-02 21:35:25 -0400303 }
304 if isGREASEValue(cipherSuite) {
305 greaseFound = true
David Benjaminf25dda92016-07-04 10:05:26 -0700306 }
307 }
308
309 if !scsvFound && config.Bugs.FailIfNotFallbackSCSV {
310 return errors.New("tls: no fallback SCSV found when expected")
311 } else if scsvFound && !config.Bugs.FailIfNotFallbackSCSV {
312 return errors.New("tls: fallback SCSV found when not expected")
313 }
314
David Benjamin65ac9972016-09-02 21:35:25 -0400315 if !greaseFound && config.Bugs.ExpectGREASE {
316 return errors.New("tls: no GREASE cipher suite value found")
317 }
318
319 greaseFound = false
320 for _, curve := range hs.clientHello.supportedCurves {
321 if isGREASEValue(uint16(curve)) {
322 greaseFound = true
323 break
324 }
325 }
326
327 if !greaseFound && config.Bugs.ExpectGREASE {
328 return errors.New("tls: no GREASE curve value found")
329 }
330
331 if len(hs.clientHello.keyShares) > 0 {
332 greaseFound = false
333 for _, keyShare := range hs.clientHello.keyShares {
334 if isGREASEValue(uint16(keyShare.group)) {
335 greaseFound = true
336 break
337 }
338 }
339
340 if !greaseFound && config.Bugs.ExpectGREASE {
341 return errors.New("tls: no GREASE curve value found")
342 }
343 }
344
David Benjaminf25dda92016-07-04 10:05:26 -0700345 if config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
David Benjamin7a41d372016-07-09 11:21:54 -0700346 hs.clientHello.signatureAlgorithms = config.signSignatureAlgorithms()
David Benjaminf25dda92016-07-04 10:05:26 -0700347 }
348 if config.Bugs.IgnorePeerCurvePreferences {
349 hs.clientHello.supportedCurves = config.curvePreferences()
350 }
351 if config.Bugs.IgnorePeerCipherPreferences {
352 hs.clientHello.cipherSuites = config.cipherSuites()
353 }
354
355 return nil
356}
357
Nick Harper728eed82016-07-07 17:36:52 -0700358func (hs *serverHandshakeState) doTLS13Handshake() error {
359 c := hs.c
360 config := c.config
361
362 hs.hello = &serverHelloMsg{
David Benjamin490469f2016-10-05 22:44:38 -0400363 isDTLS: c.isDTLS,
364 vers: versionToWire(c.vers, c.isDTLS),
365 versOverride: config.Bugs.SendServerHelloVersion,
366 customExtension: config.Bugs.CustomUnencryptedExtension,
367 unencryptedALPN: config.Bugs.SendUnencryptedALPN,
Steven Valdez5440fe02016-07-18 12:40:30 -0400368 }
369
Nick Harper728eed82016-07-07 17:36:52 -0700370 hs.hello.random = make([]byte, 32)
371 if _, err := io.ReadFull(config.rand(), hs.hello.random); err != nil {
372 c.sendAlert(alertInternalError)
373 return err
374 }
375
376 // TLS 1.3 forbids clients from advertising any non-null compression.
377 if len(hs.clientHello.compressionMethods) != 1 || hs.clientHello.compressionMethods[0] != compressionNone {
378 return errors.New("tls: client sent compression method other than null for TLS 1.3")
379 }
380
381 // Prepare an EncryptedExtensions message, but do not send it yet.
382 encryptedExtensions := new(encryptedExtensionsMsg)
Steven Valdez143e8b32016-07-11 13:19:03 -0400383 encryptedExtensions.empty = config.Bugs.EmptyEncryptedExtensions
Nick Harper728eed82016-07-07 17:36:52 -0700384 if err := hs.processClientExtensions(&encryptedExtensions.extensions); err != nil {
385 return err
386 }
387
388 supportedCurve := false
389 var selectedCurve CurveID
390 preferredCurves := config.curvePreferences()
391Curves:
392 for _, curve := range hs.clientHello.supportedCurves {
393 for _, supported := range preferredCurves {
394 if supported == curve {
395 supportedCurve = true
396 selectedCurve = curve
397 break Curves
398 }
399 }
400 }
401
Steven Valdez803c77a2016-09-06 14:13:43 -0400402 if !supportedCurve {
403 c.sendAlert(alertHandshakeFailure)
404 return errors.New("tls: no curve supported by both client and server")
405 }
Nick Harper728eed82016-07-07 17:36:52 -0700406
David Benjamin405da482016-08-08 17:25:07 -0400407 pskIdentities := hs.clientHello.pskIdentities
Steven Valdeza833c352016-11-01 13:39:36 -0400408 pskKEModes := hs.clientHello.pskKEModes
409
David Benjamin405da482016-08-08 17:25:07 -0400410 if len(pskIdentities) == 0 && len(hs.clientHello.sessionTicket) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -0400411 psk := pskIdentity{
Steven Valdeza833c352016-11-01 13:39:36 -0400412 ticket: hs.clientHello.sessionTicket,
Steven Valdez5b986082016-09-01 12:29:49 -0400413 }
414 pskIdentities = []pskIdentity{psk}
Steven Valdeza833c352016-11-01 13:39:36 -0400415 pskKEModes = []byte{pskDHEKEMode}
David Benjamin405da482016-08-08 17:25:07 -0400416 }
Steven Valdez5b986082016-09-01 12:29:49 -0400417
Steven Valdeza833c352016-11-01 13:39:36 -0400418 var pskIndex int
419 foundKEMode := bytes.IndexByte(pskKEModes, pskDHEKEMode) >= 0
420 if foundKEMode {
421 for i, pskIdentity := range pskIdentities {
422 // TODO(svaldez): Check the obfuscatedTicketAge before accepting 0-RTT.
423 sessionState, ok := c.decryptTicket(pskIdentity.ticket)
424 if !ok {
David Benjamin405da482016-08-08 17:25:07 -0400425 continue
426 }
David Benjamin405da482016-08-08 17:25:07 -0400427
Steven Valdeza833c352016-11-01 13:39:36 -0400428 if config.Bugs.AcceptAnySession {
429 // Replace the cipher suite with one known to work, to
430 // test cross-version resumption attempts.
431 sessionState.cipherSuite = TLS_AES_128_GCM_SHA256
432 } else {
433 if sessionState.vers != c.vers && c.config.Bugs.AcceptAnySession {
434 continue
Steven Valdez803c77a2016-09-06 14:13:43 -0400435 }
Steven Valdeza833c352016-11-01 13:39:36 -0400436 if sessionState.ticketExpiration.Before(c.config.time()) {
437 continue
438 }
439
440 clientTicketAge := time.Duration(uint32(pskIdentity.obfuscatedTicketAge-sessionState.ticketAgeAdd)) * time.Millisecond
441 if config.Bugs.ExpectTicketAge != 0 && clientTicketAge != config.Bugs.ExpectTicketAge {
442 c.sendAlert(alertHandshakeFailure)
443 return errors.New("tls: invalid ticket age")
444 }
445
446 cipherSuiteOk := false
447 // Check that the client is still offering the ciphersuite in the session.
448 for _, id := range hs.clientHello.cipherSuites {
449 if id == sessionState.cipherSuite {
450 cipherSuiteOk = true
451 break
452 }
453 }
454 if !cipherSuiteOk {
455 continue
456 }
457
Steven Valdez803c77a2016-09-06 14:13:43 -0400458 }
Steven Valdeza833c352016-11-01 13:39:36 -0400459
460 // Check that we also support the ciphersuite from the session.
461 suite := c.tryCipherSuite(sessionState.cipherSuite, c.config.cipherSuites(), c.vers, true, true)
462 if suite == nil {
Steven Valdez803c77a2016-09-06 14:13:43 -0400463 continue
Nick Harper0b3625b2016-07-25 16:16:28 -0700464 }
David Benjamin405da482016-08-08 17:25:07 -0400465
Steven Valdeza833c352016-11-01 13:39:36 -0400466 hs.sessionState = sessionState
467 hs.suite = suite
468 hs.hello.hasPSKIdentity = true
469 hs.hello.pskIdentity = uint16(i)
470 pskIndex = i
471 if config.Bugs.SelectPSKIdentityOnResume != 0 {
472 hs.hello.pskIdentity = config.Bugs.SelectPSKIdentityOnResume
473 }
474 c.didResume = true
475 break
Nick Harper0b3625b2016-07-25 16:16:28 -0700476 }
Nick Harper728eed82016-07-07 17:36:52 -0700477 }
478
David Benjamin7f78df42016-10-05 22:33:19 -0400479 if config.Bugs.AlwaysSelectPSKIdentity {
480 hs.hello.hasPSKIdentity = true
481 hs.hello.pskIdentity = 0
482 }
483
Steven Valdeza833c352016-11-01 13:39:36 -0400484 // Verify the PSK binder. Note there may not be a PSK binder if
485 // AcceptAnyBinder is set. See https://crbug.com/boringssl/115.
486 if hs.sessionState != nil && !config.Bugs.AcceptAnySession {
487 binderToVerify := hs.clientHello.pskBinders[pskIndex]
488 if err := verifyPSKBinder(hs.clientHello, hs.sessionState, binderToVerify, []byte{}); err != nil {
489 return err
490 }
491 }
492
Nick Harper0b3625b2016-07-25 16:16:28 -0700493 // If not resuming, select the cipher suite.
494 if hs.suite == nil {
495 var preferenceList, supportedList []uint16
496 if config.PreferServerCipherSuites {
497 preferenceList = config.cipherSuites()
498 supportedList = hs.clientHello.cipherSuites
499 } else {
500 preferenceList = hs.clientHello.cipherSuites
501 supportedList = config.cipherSuites()
502 }
503
504 for _, id := range preferenceList {
Steven Valdez803c77a2016-09-06 14:13:43 -0400505 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, true, true); hs.suite != nil {
Nick Harper0b3625b2016-07-25 16:16:28 -0700506 break
507 }
Nick Harper728eed82016-07-07 17:36:52 -0700508 }
509 }
510
511 if hs.suite == nil {
512 c.sendAlert(alertHandshakeFailure)
513 return errors.New("tls: no cipher suite supported by both client and server")
514 }
515
516 hs.hello.cipherSuite = hs.suite.id
Steven Valdez0ee2e112016-07-15 06:51:15 -0400517 if c.config.Bugs.SendCipherSuite != 0 {
518 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
519 }
520
Nick Harper728eed82016-07-07 17:36:52 -0700521 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
522 hs.finishedHash.discardHandshakeBuffer()
523 hs.writeClientHash(hs.clientHello.marshal())
524
525 // Resolve PSK and compute the early secret.
Nick Harper0b3625b2016-07-25 16:16:28 -0700526 var psk []byte
Steven Valdez803c77a2016-09-06 14:13:43 -0400527 if hs.sessionState != nil {
Steven Valdeza833c352016-11-01 13:39:36 -0400528 psk = hs.sessionState.masterSecret
Nick Harper0b3625b2016-07-25 16:16:28 -0700529 } else {
530 psk = hs.finishedHash.zeroSecret()
Nick Harper0b3625b2016-07-25 16:16:28 -0700531 }
Nick Harper728eed82016-07-07 17:36:52 -0700532
533 earlySecret := hs.finishedHash.extractKey(hs.finishedHash.zeroSecret(), psk)
534
Steven Valdez803c77a2016-09-06 14:13:43 -0400535 hs.hello.hasKeyShare = true
536 if hs.sessionState != nil && config.Bugs.NegotiatePSKResumption {
537 hs.hello.hasKeyShare = false
538 }
539 if config.Bugs.MissingKeyShare {
540 hs.hello.hasKeyShare = false
541 }
542
David Benjamin3baa6e12016-10-07 21:10:38 -0400543 firstHelloRetryRequest := true
544
545ResendHelloRetryRequest:
546 var sendHelloRetryRequest bool
547 helloRetryRequest := &helloRetryRequestMsg{
548 vers: versionToWire(c.vers, c.isDTLS),
549 duplicateExtensions: config.Bugs.DuplicateHelloRetryRequestExtensions,
550 }
551
552 if config.Bugs.AlwaysSendHelloRetryRequest {
553 sendHelloRetryRequest = true
554 }
555
556 if config.Bugs.SendHelloRetryRequestCookie != nil {
557 sendHelloRetryRequest = true
558 helloRetryRequest.cookie = config.Bugs.SendHelloRetryRequestCookie
559 }
560
561 if len(config.Bugs.CustomHelloRetryRequestExtension) > 0 {
562 sendHelloRetryRequest = true
563 helloRetryRequest.customExtension = config.Bugs.CustomHelloRetryRequestExtension
564 }
565
566 var selectedKeyShare *keyShareEntry
Steven Valdez803c77a2016-09-06 14:13:43 -0400567 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700568 // Look for the key share corresponding to our selected curve.
Nick Harper728eed82016-07-07 17:36:52 -0700569 for i := range hs.clientHello.keyShares {
570 if hs.clientHello.keyShares[i].group == selectedCurve {
571 selectedKeyShare = &hs.clientHello.keyShares[i]
572 break
573 }
574 }
575
David Benjamine73c7f42016-08-17 00:29:33 -0400576 if config.Bugs.ExpectMissingKeyShare && selectedKeyShare != nil {
577 return errors.New("tls: expected missing key share")
578 }
579
David Benjamin3baa6e12016-10-07 21:10:38 -0400580 if selectedKeyShare == nil {
581 helloRetryRequest.hasSelectedGroup = true
582 helloRetryRequest.selectedGroup = selectedCurve
Steven Valdez5440fe02016-07-18 12:40:30 -0400583 sendHelloRetryRequest = true
584 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400585 }
586
587 if config.Bugs.SendHelloRetryRequestCurve != 0 {
588 helloRetryRequest.hasSelectedGroup = true
589 helloRetryRequest.selectedGroup = config.Bugs.SendHelloRetryRequestCurve
590 sendHelloRetryRequest = true
591 }
592
593 if config.Bugs.SkipHelloRetryRequest {
594 sendHelloRetryRequest = false
595 }
596
597 if sendHelloRetryRequest {
Steven Valdeza833c352016-11-01 13:39:36 -0400598 oldClientHelloBytes := hs.clientHello.marshal()
David Benjamin3baa6e12016-10-07 21:10:38 -0400599 hs.writeServerHash(helloRetryRequest.marshal())
600 c.writeRecord(recordTypeHandshake, helloRetryRequest.marshal())
601 c.flushHandshake()
602
603 // Read new ClientHello.
604 newMsg, err := c.readHandshake()
605 if err != nil {
606 return err
Steven Valdez5440fe02016-07-18 12:40:30 -0400607 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400608 newClientHello, ok := newMsg.(*clientHelloMsg)
609 if !ok {
610 c.sendAlert(alertUnexpectedMessage)
611 return unexpectedMessageError(newClientHello, newMsg)
612 }
613 hs.writeClientHash(newClientHello.marshal())
Nick Harperdcfbc672016-07-16 17:47:31 +0200614
David Benjamin3baa6e12016-10-07 21:10:38 -0400615 // Check that the new ClientHello matches the old ClientHello,
616 // except for relevant modifications.
617 //
618 // TODO(davidben): Make this check more precise.
619 oldClientHelloCopy := *hs.clientHello
620 oldClientHelloCopy.raw = nil
621 oldClientHelloCopy.hasEarlyData = false
622 oldClientHelloCopy.earlyDataContext = nil
623 newClientHelloCopy := *newClientHello
624 newClientHelloCopy.raw = nil
Nick Harperdcfbc672016-07-16 17:47:31 +0200625
David Benjamin3baa6e12016-10-07 21:10:38 -0400626 if helloRetryRequest.hasSelectedGroup {
627 newKeyShares := newClientHelloCopy.keyShares
Steven Valdeza833c352016-11-01 13:39:36 -0400628 if len(newKeyShares) != 1 || newKeyShares[0].group != helloRetryRequest.selectedGroup {
629 return errors.New("tls: KeyShare from HelloRetryRequest not in new ClientHello")
Nick Harperdcfbc672016-07-16 17:47:31 +0200630 }
Steven Valdeza833c352016-11-01 13:39:36 -0400631 selectedKeyShare = &newKeyShares[0]
632 newClientHelloCopy.keyShares = oldClientHelloCopy.keyShares
Nick Harper728eed82016-07-07 17:36:52 -0700633 }
634
David Benjamin3baa6e12016-10-07 21:10:38 -0400635 if len(helloRetryRequest.cookie) > 0 {
636 if !bytes.Equal(newClientHelloCopy.tls13Cookie, helloRetryRequest.cookie) {
637 return errors.New("tls: cookie from HelloRetryRequest not present in new ClientHello")
638 }
639 newClientHelloCopy.tls13Cookie = nil
640 }
Steven Valdeza833c352016-11-01 13:39:36 -0400641 newClientHelloCopy.pskBinders = oldClientHelloCopy.pskBinders
David Benjamin3baa6e12016-10-07 21:10:38 -0400642
643 if !oldClientHelloCopy.equal(&newClientHelloCopy) {
644 return errors.New("tls: new ClientHello does not match")
645 }
646
647 if firstHelloRetryRequest && config.Bugs.SecondHelloRetryRequest {
648 firstHelloRetryRequest = false
649 goto ResendHelloRetryRequest
650 }
Steven Valdeza833c352016-11-01 13:39:36 -0400651
652 // Verify the PSK binder. Note there may not be a PSK binder if
653 // AcceptAnyBinder is set. See https://crbug.com/115.
654 if hs.sessionState != nil && !config.Bugs.AcceptAnySession {
655 binderToVerify := newClientHello.pskBinders[pskIndex]
656 err := verifyPSKBinder(newClientHello, hs.sessionState, binderToVerify, append(oldClientHelloBytes, helloRetryRequest.marshal()...))
657 if err != nil {
658 return err
659 }
660 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400661 }
662
663 // Resolve ECDHE and compute the handshake secret.
664 var ecdheSecret []byte
665 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700666 // Once a curve has been selected and a key share identified,
667 // the server needs to generate a public value and send it in
668 // the ServerHello.
Steven Valdez5440fe02016-07-18 12:40:30 -0400669 curve, ok := curveForCurveID(selectedCurve)
Nick Harper728eed82016-07-07 17:36:52 -0700670 if !ok {
671 panic("tls: server failed to look up curve ID")
672 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400673 c.curveID = selectedCurve
674
675 var peerKey []byte
676 if config.Bugs.SkipHelloRetryRequest {
677 // If skipping HelloRetryRequest, use a random key to
678 // avoid crashing.
679 curve2, _ := curveForCurveID(selectedCurve)
680 var err error
681 peerKey, err = curve2.offer(config.rand())
682 if err != nil {
683 return err
684 }
685 } else {
686 peerKey = selectedKeyShare.keyExchange
687 }
688
Nick Harper728eed82016-07-07 17:36:52 -0700689 var publicKey []byte
690 var err error
Steven Valdez5440fe02016-07-18 12:40:30 -0400691 publicKey, ecdheSecret, err = curve.accept(config.rand(), peerKey)
Nick Harper728eed82016-07-07 17:36:52 -0700692 if err != nil {
693 c.sendAlert(alertHandshakeFailure)
694 return err
695 }
696 hs.hello.hasKeyShare = true
Steven Valdez0ee2e112016-07-15 06:51:15 -0400697
Steven Valdez5440fe02016-07-18 12:40:30 -0400698 curveID := selectedCurve
Steven Valdez0ee2e112016-07-15 06:51:15 -0400699 if c.config.Bugs.SendCurve != 0 {
700 curveID = config.Bugs.SendCurve
701 }
702 if c.config.Bugs.InvalidECDHPoint {
703 publicKey[0] ^= 0xff
704 }
705
Nick Harper728eed82016-07-07 17:36:52 -0700706 hs.hello.keyShare = keyShareEntry{
Steven Valdez0ee2e112016-07-15 06:51:15 -0400707 group: curveID,
Nick Harper728eed82016-07-07 17:36:52 -0700708 keyExchange: publicKey,
709 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400710
711 if config.Bugs.EncryptedExtensionsWithKeyShare {
712 encryptedExtensions.extensions.hasKeyShare = true
713 encryptedExtensions.extensions.keyShare = keyShareEntry{
714 group: curveID,
715 keyExchange: publicKey,
716 }
717 }
Nick Harper728eed82016-07-07 17:36:52 -0700718 } else {
719 ecdheSecret = hs.finishedHash.zeroSecret()
720 }
721
722 // Send unencrypted ServerHello.
723 hs.writeServerHash(hs.hello.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400724 if config.Bugs.PartialEncryptedExtensionsWithServerHello {
725 helloBytes := hs.hello.marshal()
726 toWrite := make([]byte, 0, len(helloBytes)+1)
727 toWrite = append(toWrite, helloBytes...)
728 toWrite = append(toWrite, typeEncryptedExtensions)
729 c.writeRecord(recordTypeHandshake, toWrite)
730 } else {
731 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
732 }
Nick Harper728eed82016-07-07 17:36:52 -0700733 c.flushHandshake()
734
735 // Compute the handshake secret.
736 handshakeSecret := hs.finishedHash.extractKey(earlySecret, ecdheSecret)
737
738 // Switch to handshake traffic keys.
Steven Valdezc4aa7272016-10-03 12:25:56 -0400739 serverHandshakeTrafficSecret := hs.finishedHash.deriveSecret(handshakeSecret, serverHandshakeTrafficLabel)
Steven Valdeza833c352016-11-01 13:39:36 -0400740 c.out.useTrafficSecret(c.vers, hs.suite, serverHandshakeTrafficSecret, serverWrite)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400741 clientHandshakeTrafficSecret := hs.finishedHash.deriveSecret(handshakeSecret, clientHandshakeTrafficLabel)
Steven Valdeza833c352016-11-01 13:39:36 -0400742 c.in.useTrafficSecret(c.vers, hs.suite, clientHandshakeTrafficSecret, clientWrite)
David Benjamin615119a2016-07-06 19:22:55 -0700743
Nick Harper728eed82016-07-07 17:36:52 -0700744 // Send EncryptedExtensions.
745 hs.writeServerHash(encryptedExtensions.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400746 if config.Bugs.PartialEncryptedExtensionsWithServerHello {
747 // The first byte has already been sent.
748 c.writeRecord(recordTypeHandshake, encryptedExtensions.marshal()[1:])
749 } else {
750 c.writeRecord(recordTypeHandshake, encryptedExtensions.marshal())
751 }
Nick Harper728eed82016-07-07 17:36:52 -0700752
Steven Valdeza833c352016-11-01 13:39:36 -0400753 if hs.sessionState == nil {
Nick Harper728eed82016-07-07 17:36:52 -0700754 if config.ClientAuth >= RequestClientCert {
David Benjamin8d343b42016-07-09 14:26:01 -0700755 // Request a client certificate
756 certReq := &certificateRequestMsg{
757 hasSignatureAlgorithm: true,
758 hasRequestContext: true,
David Benjamin8a8349b2016-08-18 02:32:23 -0400759 requestContext: config.Bugs.SendRequestContext,
David Benjamin8d343b42016-07-09 14:26:01 -0700760 }
761 if !config.Bugs.NoSignatureAlgorithms {
David Benjaminf74ec792016-07-13 21:18:49 -0400762 certReq.signatureAlgorithms = config.verifySignatureAlgorithms()
David Benjamin8d343b42016-07-09 14:26:01 -0700763 }
764
765 // An empty list of certificateAuthorities signals to
766 // the client that it may send any certificate in response
767 // to our request. When we know the CAs we trust, then
768 // we can send them down, so that the client can choose
769 // an appropriate certificate to give to us.
770 if config.ClientCAs != nil {
771 certReq.certificateAuthorities = config.ClientCAs.Subjects()
772 }
773 hs.writeServerHash(certReq.marshal())
774 c.writeRecord(recordTypeHandshake, certReq.marshal())
Nick Harper728eed82016-07-07 17:36:52 -0700775 }
776
777 certMsg := &certificateMsg{
778 hasRequestContext: true,
779 }
780 if !config.Bugs.EmptyCertificateList {
Steven Valdeza833c352016-11-01 13:39:36 -0400781 for i, certData := range hs.cert.Certificate {
782 cert := certificateEntry{
783 data: certData,
784 }
785 if i == 0 {
786 if hs.clientHello.ocspStapling {
787 cert.ocspResponse = hs.cert.OCSPStaple
788 }
789 if hs.clientHello.sctListSupported {
790 cert.sctList = hs.cert.SignedCertificateTimestampList
791 }
792 cert.duplicateExtensions = config.Bugs.SendDuplicateCertExtensions
793 cert.extraExtension = config.Bugs.SendExtensionOnCertificate
794 } else {
795 if config.Bugs.SendOCSPOnIntermediates != nil {
796 cert.ocspResponse = config.Bugs.SendOCSPOnIntermediates
797 }
798 if config.Bugs.SendSCTOnIntermediates != nil {
799 cert.sctList = config.Bugs.SendSCTOnIntermediates
800 }
801 }
802 certMsg.certificates = append(certMsg.certificates, cert)
803 }
Nick Harper728eed82016-07-07 17:36:52 -0700804 }
David Benjamin1edae6b2016-07-13 16:58:23 -0400805 certMsgBytes := certMsg.marshal()
David Benjamin1edae6b2016-07-13 16:58:23 -0400806 hs.writeServerHash(certMsgBytes)
807 c.writeRecord(recordTypeHandshake, certMsgBytes)
Nick Harper728eed82016-07-07 17:36:52 -0700808
809 certVerify := &certificateVerifyMsg{
810 hasSignatureAlgorithm: true,
811 }
812
813 // Determine the hash to sign.
814 privKey := hs.cert.PrivateKey
815
816 var err error
817 certVerify.signatureAlgorithm, err = selectSignatureAlgorithm(c.vers, privKey, config, hs.clientHello.signatureAlgorithms)
818 if err != nil {
819 c.sendAlert(alertInternalError)
820 return err
821 }
822
823 input := hs.finishedHash.certificateVerifyInput(serverCertificateVerifyContextTLS13)
824 certVerify.signature, err = signMessage(c.vers, privKey, c.config, certVerify.signatureAlgorithm, input)
825 if err != nil {
826 c.sendAlert(alertInternalError)
827 return err
828 }
829
Steven Valdez0ee2e112016-07-15 06:51:15 -0400830 if config.Bugs.SendSignatureAlgorithm != 0 {
831 certVerify.signatureAlgorithm = config.Bugs.SendSignatureAlgorithm
832 }
833
Nick Harper728eed82016-07-07 17:36:52 -0700834 hs.writeServerHash(certVerify.marshal())
835 c.writeRecord(recordTypeHandshake, certVerify.marshal())
Steven Valdez803c77a2016-09-06 14:13:43 -0400836 } else if hs.sessionState != nil {
Nick Harper0b3625b2016-07-25 16:16:28 -0700837 // Pick up certificates from the session instead.
David Benjamin5ecb88b2016-10-04 17:51:35 -0400838 if len(hs.sessionState.certificates) > 0 {
Nick Harper0b3625b2016-07-25 16:16:28 -0700839 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
840 return err
841 }
842 }
Nick Harper728eed82016-07-07 17:36:52 -0700843 }
844
845 finished := new(finishedMsg)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400846 finished.verifyData = hs.finishedHash.serverSum(serverHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700847 if config.Bugs.BadFinished {
848 finished.verifyData[0]++
849 }
850 hs.writeServerHash(finished.marshal())
851 c.writeRecord(recordTypeHandshake, finished.marshal())
David Benjamin02edcd02016-07-27 17:40:37 -0400852 if c.config.Bugs.SendExtraFinished {
853 c.writeRecord(recordTypeHandshake, finished.marshal())
854 }
Nick Harper728eed82016-07-07 17:36:52 -0700855 c.flushHandshake()
856
857 // The various secrets do not incorporate the client's final leg, so
858 // derive them now before updating the handshake context.
859 masterSecret := hs.finishedHash.extractKey(handshakeSecret, hs.finishedHash.zeroSecret())
Steven Valdezc4aa7272016-10-03 12:25:56 -0400860 clientTrafficSecret := hs.finishedHash.deriveSecret(masterSecret, clientApplicationTrafficLabel)
861 serverTrafficSecret := hs.finishedHash.deriveSecret(masterSecret, serverApplicationTrafficLabel)
Steven Valdeza833c352016-11-01 13:39:36 -0400862 c.exporterSecret = hs.finishedHash.deriveSecret(masterSecret, exporterLabel)
Nick Harper728eed82016-07-07 17:36:52 -0700863
David Benjamin2aad4062016-07-14 23:15:40 -0400864 // Switch to application data keys on write. In particular, any alerts
865 // from the client certificate are sent over these keys.
Steven Valdeza833c352016-11-01 13:39:36 -0400866 c.out.useTrafficSecret(c.vers, hs.suite, serverTrafficSecret, serverWrite)
David Benjamin2aad4062016-07-14 23:15:40 -0400867
Nick Harper728eed82016-07-07 17:36:52 -0700868 // If we requested a client certificate, then the client must send a
869 // certificate message, even if it's empty.
870 if config.ClientAuth >= RequestClientCert {
David Benjamin8d343b42016-07-09 14:26:01 -0700871 msg, err := c.readHandshake()
872 if err != nil {
873 return err
874 }
875
876 certMsg, ok := msg.(*certificateMsg)
877 if !ok {
878 c.sendAlert(alertUnexpectedMessage)
879 return unexpectedMessageError(certMsg, msg)
880 }
881 hs.writeClientHash(certMsg.marshal())
882
883 if len(certMsg.certificates) == 0 {
884 // The client didn't actually send a certificate
885 switch config.ClientAuth {
886 case RequireAnyClientCert, RequireAndVerifyClientCert:
David Benjamin1db9e1b2016-10-07 20:51:43 -0400887 c.sendAlert(alertCertificateRequired)
David Benjamin8d343b42016-07-09 14:26:01 -0700888 return errors.New("tls: client didn't provide a certificate")
889 }
890 }
891
Steven Valdeza833c352016-11-01 13:39:36 -0400892 var certs [][]byte
893 for _, cert := range certMsg.certificates {
894 certs = append(certs, cert.data)
895 // OCSP responses and SCT lists are not negotiated in
896 // client certificates.
897 if cert.ocspResponse != nil || cert.sctList != nil {
898 c.sendAlert(alertUnsupportedExtension)
899 return errors.New("tls: unexpected extensions in the client certificate")
900 }
901 }
902 pub, err := hs.processCertsFromClient(certs)
David Benjamin8d343b42016-07-09 14:26:01 -0700903 if err != nil {
904 return err
905 }
906
907 if len(c.peerCertificates) > 0 {
908 msg, err = c.readHandshake()
909 if err != nil {
910 return err
911 }
912
913 certVerify, ok := msg.(*certificateVerifyMsg)
914 if !ok {
915 c.sendAlert(alertUnexpectedMessage)
916 return unexpectedMessageError(certVerify, msg)
917 }
918
David Benjaminf74ec792016-07-13 21:18:49 -0400919 c.peerSignatureAlgorithm = certVerify.signatureAlgorithm
David Benjamin8d343b42016-07-09 14:26:01 -0700920 input := hs.finishedHash.certificateVerifyInput(clientCertificateVerifyContextTLS13)
921 if err := verifyMessage(c.vers, pub, config, certVerify.signatureAlgorithm, input, certVerify.signature); err != nil {
922 c.sendAlert(alertBadCertificate)
923 return err
924 }
925 hs.writeClientHash(certVerify.marshal())
926 }
Nick Harper728eed82016-07-07 17:36:52 -0700927 }
928
Nick Harper60a85cb2016-09-23 16:25:11 -0700929 if encryptedExtensions.extensions.channelIDRequested {
930 msg, err := c.readHandshake()
931 if err != nil {
932 return err
933 }
934 channelIDMsg, ok := msg.(*channelIDMsg)
935 if !ok {
936 c.sendAlert(alertUnexpectedMessage)
937 return unexpectedMessageError(channelIDMsg, msg)
938 }
939 channelIDHash := crypto.SHA256.New()
940 channelIDHash.Write(hs.finishedHash.certificateVerifyInput(channelIDContextTLS13))
941 channelID, err := verifyChannelIDMessage(channelIDMsg, channelIDHash.Sum(nil))
942 if err != nil {
943 return err
944 }
945 c.channelID = channelID
946
947 hs.writeClientHash(channelIDMsg.marshal())
948 }
949
Nick Harper728eed82016-07-07 17:36:52 -0700950 // Read the client Finished message.
951 msg, err := c.readHandshake()
952 if err != nil {
953 return err
954 }
955 clientFinished, ok := msg.(*finishedMsg)
956 if !ok {
957 c.sendAlert(alertUnexpectedMessage)
958 return unexpectedMessageError(clientFinished, msg)
959 }
960
Steven Valdezc4aa7272016-10-03 12:25:56 -0400961 verify := hs.finishedHash.clientSum(clientHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700962 if len(verify) != len(clientFinished.verifyData) ||
963 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
964 c.sendAlert(alertHandshakeFailure)
965 return errors.New("tls: client's Finished message was incorrect")
966 }
David Benjamin97a0a082016-07-13 17:57:35 -0400967 hs.writeClientHash(clientFinished.marshal())
Nick Harper728eed82016-07-07 17:36:52 -0700968
David Benjamin2aad4062016-07-14 23:15:40 -0400969 // Switch to application data keys on read.
Steven Valdeza833c352016-11-01 13:39:36 -0400970 c.in.useTrafficSecret(c.vers, hs.suite, clientTrafficSecret, clientWrite)
Nick Harper728eed82016-07-07 17:36:52 -0700971
Nick Harper728eed82016-07-07 17:36:52 -0700972 c.cipherSuite = hs.suite
David Benjamin58104882016-07-18 01:25:41 +0200973 c.resumptionSecret = hs.finishedHash.deriveSecret(masterSecret, resumptionLabel)
974
975 // TODO(davidben): Allow configuring the number of tickets sent for
976 // testing.
Steven Valdeza833c352016-11-01 13:39:36 -0400977 if !c.config.SessionTicketsDisabled && foundKEMode {
David Benjamin58104882016-07-18 01:25:41 +0200978 ticketCount := 2
979 for i := 0; i < ticketCount; i++ {
980 c.SendNewSessionTicket()
981 }
982 }
Nick Harper728eed82016-07-07 17:36:52 -0700983 return nil
984}
985
David Benjaminf25dda92016-07-04 10:05:26 -0700986// processClientHello processes the ClientHello message from the client and
987// decides whether we will perform session resumption.
988func (hs *serverHandshakeState) processClientHello() (isResume bool, err error) {
989 config := hs.c.config
990 c := hs.c
991
992 hs.hello = &serverHelloMsg{
993 isDTLS: c.isDTLS,
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400994 vers: versionToWire(c.vers, c.isDTLS),
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400995 versOverride: config.Bugs.SendServerHelloVersion,
David Benjaminf25dda92016-07-04 10:05:26 -0700996 compressionMethod: compressionNone,
997 }
998
999 hs.hello.random = make([]byte, 32)
1000 _, err = io.ReadFull(config.rand(), hs.hello.random)
1001 if err != nil {
1002 c.sendAlert(alertInternalError)
1003 return false, err
1004 }
David Benjamina128a552016-10-13 14:26:33 -04001005 // Signal downgrades in the server random, per draft-ietf-tls-tls13-16,
1006 // section 4.1.3.
Nick Harper85f20c22016-07-04 10:11:59 -07001007 if c.vers <= VersionTLS12 && config.maxVersion(c.isDTLS) >= VersionTLS13 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001008 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS13)
Nick Harper85f20c22016-07-04 10:11:59 -07001009 }
1010 if c.vers <= VersionTLS11 && config.maxVersion(c.isDTLS) == VersionTLS12 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001011 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS12)
Nick Harper85f20c22016-07-04 10:11:59 -07001012 }
David Benjaminf25dda92016-07-04 10:05:26 -07001013
1014 foundCompression := false
1015 // We only support null compression, so check that the client offered it.
1016 for _, compression := range hs.clientHello.compressionMethods {
1017 if compression == compressionNone {
1018 foundCompression = true
1019 break
1020 }
1021 }
1022
1023 if !foundCompression {
1024 c.sendAlert(alertHandshakeFailure)
1025 return false, errors.New("tls: client does not support uncompressed connections")
1026 }
David Benjamin7d79f832016-07-04 09:20:45 -07001027
1028 if err := hs.processClientExtensions(&hs.hello.extensions); err != nil {
1029 return false, err
Adam Langley09505632015-07-30 18:10:13 -07001030 }
Adam Langley95c29f32014-06-20 12:00:00 -07001031
1032 supportedCurve := false
1033 preferredCurves := config.curvePreferences()
1034Curves:
1035 for _, curve := range hs.clientHello.supportedCurves {
1036 for _, supported := range preferredCurves {
1037 if supported == curve {
1038 supportedCurve = true
1039 break Curves
1040 }
1041 }
1042 }
1043
1044 supportedPointFormat := false
1045 for _, pointFormat := range hs.clientHello.supportedPoints {
1046 if pointFormat == pointFormatUncompressed {
1047 supportedPointFormat = true
1048 break
1049 }
1050 }
1051 hs.ellipticOk = supportedCurve && supportedPointFormat
1052
Adam Langley95c29f32014-06-20 12:00:00 -07001053 _, hs.ecdsaOk = hs.cert.PrivateKey.(*ecdsa.PrivateKey)
1054
David Benjamin4b27d9f2015-05-12 22:42:52 -04001055 // For test purposes, check that the peer never offers a session when
1056 // renegotiating.
1057 if c.cipherSuite != nil && len(hs.clientHello.sessionId) > 0 && c.config.Bugs.FailIfResumeOnRenego {
1058 return false, errors.New("tls: offered resumption on renegotiation")
1059 }
1060
David Benjamindd6fed92015-10-23 17:41:12 -04001061 if c.config.Bugs.FailIfSessionOffered && (len(hs.clientHello.sessionTicket) > 0 || len(hs.clientHello.sessionId) > 0) {
1062 return false, errors.New("tls: client offered a session ticket or ID")
1063 }
1064
Adam Langley95c29f32014-06-20 12:00:00 -07001065 if hs.checkForResumption() {
1066 return true, nil
1067 }
1068
Adam Langley95c29f32014-06-20 12:00:00 -07001069 var preferenceList, supportedList []uint16
1070 if c.config.PreferServerCipherSuites {
1071 preferenceList = c.config.cipherSuites()
1072 supportedList = hs.clientHello.cipherSuites
1073 } else {
1074 preferenceList = hs.clientHello.cipherSuites
1075 supportedList = c.config.cipherSuites()
1076 }
1077
1078 for _, id := range preferenceList {
Steven Valdez803c77a2016-09-06 14:13:43 -04001079 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, hs.ellipticOk, hs.ecdsaOk); hs.suite != nil {
Adam Langley95c29f32014-06-20 12:00:00 -07001080 break
1081 }
1082 }
1083
1084 if hs.suite == nil {
1085 c.sendAlert(alertHandshakeFailure)
1086 return false, errors.New("tls: no cipher suite supported by both client and server")
1087 }
1088
1089 return false, nil
1090}
1091
David Benjamin7d79f832016-07-04 09:20:45 -07001092// processClientExtensions processes all ClientHello extensions not directly
1093// related to cipher suite negotiation and writes responses in serverExtensions.
1094func (hs *serverHandshakeState) processClientExtensions(serverExtensions *serverExtensions) error {
1095 config := hs.c.config
1096 c := hs.c
1097
David Benjamin8d315d72016-07-18 01:03:18 +02001098 if c.vers < VersionTLS13 || config.Bugs.NegotiateRenegotiationInfoAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001099 if !bytes.Equal(c.clientVerify, hs.clientHello.secureRenegotiation) {
1100 c.sendAlert(alertHandshakeFailure)
1101 return errors.New("tls: renegotiation mismatch")
David Benjamin7d79f832016-07-04 09:20:45 -07001102 }
David Benjamin7d79f832016-07-04 09:20:45 -07001103
Nick Harper728eed82016-07-07 17:36:52 -07001104 if len(c.clientVerify) > 0 && !c.config.Bugs.EmptyRenegotiationInfo {
1105 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.clientVerify...)
1106 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.serverVerify...)
1107 if c.config.Bugs.BadRenegotiationInfo {
1108 serverExtensions.secureRenegotiation[0] ^= 0x80
1109 }
1110 } else {
1111 serverExtensions.secureRenegotiation = hs.clientHello.secureRenegotiation
1112 }
1113
1114 if c.noRenegotiationInfo() {
1115 serverExtensions.secureRenegotiation = nil
1116 }
David Benjamin7d79f832016-07-04 09:20:45 -07001117 }
1118
1119 serverExtensions.duplicateExtension = c.config.Bugs.DuplicateExtension
1120
1121 if len(hs.clientHello.serverName) > 0 {
1122 c.serverName = hs.clientHello.serverName
1123 }
1124 if len(config.Certificates) == 0 {
1125 c.sendAlert(alertInternalError)
1126 return errors.New("tls: no certificates configured")
1127 }
1128 hs.cert = &config.Certificates[0]
1129 if len(hs.clientHello.serverName) > 0 {
1130 hs.cert = config.getCertificateForName(hs.clientHello.serverName)
1131 }
1132 if expected := c.config.Bugs.ExpectServerName; expected != "" && expected != hs.clientHello.serverName {
1133 return errors.New("tls: unexpected server name")
1134 }
1135
1136 if len(hs.clientHello.alpnProtocols) > 0 {
1137 if proto := c.config.Bugs.ALPNProtocol; proto != nil {
1138 serverExtensions.alpnProtocol = *proto
1139 serverExtensions.alpnProtocolEmpty = len(*proto) == 0
1140 c.clientProtocol = *proto
1141 c.usedALPN = true
1142 } else if selectedProto, fallback := mutualProtocol(hs.clientHello.alpnProtocols, c.config.NextProtos); !fallback {
1143 serverExtensions.alpnProtocol = selectedProto
1144 c.clientProtocol = selectedProto
1145 c.usedALPN = true
1146 }
1147 }
Nick Harper728eed82016-07-07 17:36:52 -07001148
David Benjamin0c40a962016-08-01 12:05:50 -04001149 if len(c.config.Bugs.SendALPN) > 0 {
1150 serverExtensions.alpnProtocol = c.config.Bugs.SendALPN
1151 }
1152
David Benjamin8d315d72016-07-18 01:03:18 +02001153 if c.vers < VersionTLS13 || config.Bugs.NegotiateNPNAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001154 if len(hs.clientHello.alpnProtocols) == 0 || c.config.Bugs.NegotiateALPNAndNPN {
1155 // Although sending an empty NPN extension is reasonable, Firefox has
1156 // had a bug around this. Best to send nothing at all if
1157 // config.NextProtos is empty. See
1158 // https://code.google.com/p/go/issues/detail?id=5445.
1159 if hs.clientHello.nextProtoNeg && len(config.NextProtos) > 0 {
1160 serverExtensions.nextProtoNeg = true
1161 serverExtensions.nextProtos = config.NextProtos
Steven Valdeza833c352016-11-01 13:39:36 -04001162 serverExtensions.npnAfterAlpn = config.Bugs.SwapNPNAndALPN
Nick Harper728eed82016-07-07 17:36:52 -07001163 }
David Benjamin7d79f832016-07-04 09:20:45 -07001164 }
Steven Valdez143e8b32016-07-11 13:19:03 -04001165 }
David Benjamin7d79f832016-07-04 09:20:45 -07001166
David Benjamin8d315d72016-07-18 01:03:18 +02001167 if c.vers < VersionTLS13 || config.Bugs.NegotiateEMSAtAllVersions {
David Benjamin163c9562016-08-29 23:14:17 -04001168 disableEMS := config.Bugs.NoExtendedMasterSecret
1169 if c.cipherSuite != nil {
1170 disableEMS = config.Bugs.NoExtendedMasterSecretOnRenegotiation
1171 }
1172 serverExtensions.extendedMasterSecret = c.vers >= VersionTLS10 && hs.clientHello.extendedMasterSecret && !disableEMS
Steven Valdez143e8b32016-07-11 13:19:03 -04001173 }
David Benjamin7d79f832016-07-04 09:20:45 -07001174
Nick Harper60a85cb2016-09-23 16:25:11 -07001175 if hs.clientHello.channelIDSupported && config.RequestChannelID {
1176 serverExtensions.channelIDRequested = true
David Benjamin7d79f832016-07-04 09:20:45 -07001177 }
1178
1179 if hs.clientHello.srtpProtectionProfiles != nil {
1180 SRTPLoop:
1181 for _, p1 := range c.config.SRTPProtectionProfiles {
1182 for _, p2 := range hs.clientHello.srtpProtectionProfiles {
1183 if p1 == p2 {
1184 serverExtensions.srtpProtectionProfile = p1
1185 c.srtpProtectionProfile = p1
1186 break SRTPLoop
1187 }
1188 }
1189 }
1190 }
1191
1192 if c.config.Bugs.SendSRTPProtectionProfile != 0 {
1193 serverExtensions.srtpProtectionProfile = c.config.Bugs.SendSRTPProtectionProfile
1194 }
1195
1196 if expected := c.config.Bugs.ExpectedCustomExtension; expected != nil {
1197 if hs.clientHello.customExtension != *expected {
1198 return fmt.Errorf("tls: bad custom extension contents %q", hs.clientHello.customExtension)
1199 }
1200 }
1201 serverExtensions.customExtension = config.Bugs.CustomExtension
1202
Steven Valdez143e8b32016-07-11 13:19:03 -04001203 if c.config.Bugs.AdvertiseTicketExtension {
1204 serverExtensions.ticketSupported = true
1205 }
1206
David Benjamin65ac9972016-09-02 21:35:25 -04001207 if !hs.clientHello.hasGREASEExtension && config.Bugs.ExpectGREASE {
1208 return errors.New("tls: no GREASE extension found")
1209 }
1210
David Benjamin7d79f832016-07-04 09:20:45 -07001211 return nil
1212}
1213
Adam Langley95c29f32014-06-20 12:00:00 -07001214// checkForResumption returns true if we should perform resumption on this connection.
1215func (hs *serverHandshakeState) checkForResumption() bool {
1216 c := hs.c
1217
David Benjamin405da482016-08-08 17:25:07 -04001218 ticket := hs.clientHello.sessionTicket
1219 if len(ticket) == 0 && len(hs.clientHello.pskIdentities) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -04001220 ticket = hs.clientHello.pskIdentities[0].ticket
David Benjamin405da482016-08-08 17:25:07 -04001221 }
1222 if len(ticket) > 0 {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001223 if c.config.SessionTicketsDisabled {
1224 return false
1225 }
David Benjaminb0c8db72014-09-24 15:19:56 -04001226
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001227 var ok bool
David Benjamin405da482016-08-08 17:25:07 -04001228 if hs.sessionState, ok = c.decryptTicket(ticket); !ok {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001229 return false
1230 }
1231 } else {
1232 if c.config.ServerSessionCache == nil {
1233 return false
1234 }
1235
1236 var ok bool
1237 sessionId := string(hs.clientHello.sessionId)
1238 if hs.sessionState, ok = c.config.ServerSessionCache.Get(sessionId); !ok {
1239 return false
1240 }
Adam Langley95c29f32014-06-20 12:00:00 -07001241 }
1242
Steven Valdez803c77a2016-09-06 14:13:43 -04001243 if c.config.Bugs.AcceptAnySession {
1244 // Replace the cipher suite with one known to work, to test
1245 // cross-version resumption attempts.
1246 hs.sessionState.cipherSuite = TLS_RSA_WITH_AES_128_CBC_SHA
1247 } else {
David Benjamin405da482016-08-08 17:25:07 -04001248 // Never resume a session for a different SSL version.
1249 if c.vers != hs.sessionState.vers {
1250 return false
Adam Langley95c29f32014-06-20 12:00:00 -07001251 }
David Benjamin405da482016-08-08 17:25:07 -04001252
1253 cipherSuiteOk := false
1254 // Check that the client is still offering the ciphersuite in the session.
1255 for _, id := range hs.clientHello.cipherSuites {
1256 if id == hs.sessionState.cipherSuite {
1257 cipherSuiteOk = true
1258 break
1259 }
1260 }
1261 if !cipherSuiteOk {
1262 return false
1263 }
Adam Langley95c29f32014-06-20 12:00:00 -07001264 }
1265
1266 // Check that we also support the ciphersuite from the session.
Steven Valdez803c77a2016-09-06 14:13:43 -04001267 hs.suite = c.tryCipherSuite(hs.sessionState.cipherSuite, c.config.cipherSuites(), c.vers, hs.ellipticOk, hs.ecdsaOk)
1268
Adam Langley95c29f32014-06-20 12:00:00 -07001269 if hs.suite == nil {
1270 return false
1271 }
1272
1273 sessionHasClientCerts := len(hs.sessionState.certificates) != 0
1274 needClientCerts := c.config.ClientAuth == RequireAnyClientCert || c.config.ClientAuth == RequireAndVerifyClientCert
1275 if needClientCerts && !sessionHasClientCerts {
1276 return false
1277 }
1278 if sessionHasClientCerts && c.config.ClientAuth == NoClientCert {
1279 return false
1280 }
1281
1282 return true
1283}
1284
1285func (hs *serverHandshakeState) doResumeHandshake() error {
1286 c := hs.c
1287
1288 hs.hello.cipherSuite = hs.suite.id
David Benjaminece3de92015-03-16 18:02:20 -04001289 if c.config.Bugs.SendCipherSuite != 0 {
1290 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
1291 }
Adam Langley95c29f32014-06-20 12:00:00 -07001292 // We echo the client's session ID in the ServerHello to let it know
1293 // that we're doing a resumption.
1294 hs.hello.sessionId = hs.clientHello.sessionId
Nick Harperb3d51be2016-07-01 11:43:18 -04001295 hs.hello.extensions.ticketSupported = c.config.Bugs.RenewTicketOnResume
Adam Langley95c29f32014-06-20 12:00:00 -07001296
David Benjamin80d1b352016-05-04 19:19:06 -04001297 if c.config.Bugs.SendSCTListOnResume != nil {
Nick Harperb3d51be2016-07-01 11:43:18 -04001298 hs.hello.extensions.sctList = c.config.Bugs.SendSCTListOnResume
David Benjamin80d1b352016-05-04 19:19:06 -04001299 }
1300
David Benjamindaa88502016-10-04 16:32:16 -04001301 if c.config.Bugs.SendOCSPResponseOnResume != nil {
1302 // There is no way, syntactically, to send an OCSP response on a
1303 // resumption handshake.
1304 hs.hello.extensions.ocspStapling = true
1305 }
1306
Adam Langley95c29f32014-06-20 12:00:00 -07001307 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamine098ec22014-08-27 23:13:20 -04001308 hs.finishedHash.discardHandshakeBuffer()
David Benjamin83c0bc92014-08-04 01:23:53 -04001309 hs.writeClientHash(hs.clientHello.marshal())
1310 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001311
1312 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1313
1314 if len(hs.sessionState.certificates) > 0 {
1315 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
1316 return err
1317 }
1318 }
1319
1320 hs.masterSecret = hs.sessionState.masterSecret
Adam Langley75712922014-10-10 16:23:43 -07001321 c.extendedMasterSecret = hs.sessionState.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001322
1323 return nil
1324}
1325
1326func (hs *serverHandshakeState) doFullHandshake() error {
1327 config := hs.c.config
1328 c := hs.c
1329
David Benjamin48cae082014-10-27 01:06:24 -04001330 isPSK := hs.suite.flags&suitePSK != 0
1331 if !isPSK && hs.clientHello.ocspStapling && len(hs.cert.OCSPStaple) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001332 hs.hello.extensions.ocspStapling = true
Adam Langley95c29f32014-06-20 12:00:00 -07001333 }
1334
David Benjamin61f95272014-11-25 01:55:35 -05001335 if hs.clientHello.sctListSupported && len(hs.cert.SignedCertificateTimestampList) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001336 hs.hello.extensions.sctList = hs.cert.SignedCertificateTimestampList
David Benjamin61f95272014-11-25 01:55:35 -05001337 }
1338
Nick Harperb3d51be2016-07-01 11:43:18 -04001339 hs.hello.extensions.ticketSupported = hs.clientHello.ticketSupported && !config.SessionTicketsDisabled && c.vers > VersionSSL30
Adam Langley95c29f32014-06-20 12:00:00 -07001340 hs.hello.cipherSuite = hs.suite.id
David Benjamin6095de82014-12-27 01:50:38 -05001341 if config.Bugs.SendCipherSuite != 0 {
1342 hs.hello.cipherSuite = config.Bugs.SendCipherSuite
1343 }
Nick Harperb3d51be2016-07-01 11:43:18 -04001344 c.extendedMasterSecret = hs.hello.extensions.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001345
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001346 // Generate a session ID if we're to save the session.
Nick Harperb3d51be2016-07-01 11:43:18 -04001347 if !hs.hello.extensions.ticketSupported && config.ServerSessionCache != nil {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001348 hs.hello.sessionId = make([]byte, 32)
1349 if _, err := io.ReadFull(config.rand(), hs.hello.sessionId); err != nil {
1350 c.sendAlert(alertInternalError)
1351 return errors.New("tls: short read from Rand: " + err.Error())
1352 }
1353 }
1354
Adam Langley95c29f32014-06-20 12:00:00 -07001355 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamin83c0bc92014-08-04 01:23:53 -04001356 hs.writeClientHash(hs.clientHello.marshal())
1357 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001358
David Benjaminabe94e32016-09-04 14:18:58 -04001359 if config.Bugs.SendSNIWarningAlert {
1360 c.SendAlert(alertLevelWarning, alertUnrecognizedName)
1361 }
1362
Adam Langley95c29f32014-06-20 12:00:00 -07001363 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1364
David Benjamin48cae082014-10-27 01:06:24 -04001365 if !isPSK {
1366 certMsg := new(certificateMsg)
David Benjamin8923c0b2015-06-07 11:42:34 -04001367 if !config.Bugs.EmptyCertificateList {
Steven Valdeza833c352016-11-01 13:39:36 -04001368 for _, certData := range hs.cert.Certificate {
1369 certMsg.certificates = append(certMsg.certificates, certificateEntry{
1370 data: certData,
1371 })
1372 }
David Benjamin8923c0b2015-06-07 11:42:34 -04001373 }
David Benjamin48cae082014-10-27 01:06:24 -04001374 if !config.Bugs.UnauthenticatedECDH {
David Benjaminbcb2d912015-02-24 23:45:43 -05001375 certMsgBytes := certMsg.marshal()
David Benjaminbcb2d912015-02-24 23:45:43 -05001376 hs.writeServerHash(certMsgBytes)
1377 c.writeRecord(recordTypeHandshake, certMsgBytes)
David Benjamin48cae082014-10-27 01:06:24 -04001378 }
David Benjamin1c375dd2014-07-12 00:48:23 -04001379 }
Adam Langley95c29f32014-06-20 12:00:00 -07001380
Nick Harperb3d51be2016-07-01 11:43:18 -04001381 if hs.hello.extensions.ocspStapling && !c.config.Bugs.SkipCertificateStatus {
Adam Langley95c29f32014-06-20 12:00:00 -07001382 certStatus := new(certificateStatusMsg)
1383 certStatus.statusType = statusTypeOCSP
1384 certStatus.response = hs.cert.OCSPStaple
David Benjamin83c0bc92014-08-04 01:23:53 -04001385 hs.writeServerHash(certStatus.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001386 c.writeRecord(recordTypeHandshake, certStatus.marshal())
1387 }
1388
1389 keyAgreement := hs.suite.ka(c.vers)
1390 skx, err := keyAgreement.generateServerKeyExchange(config, hs.cert, hs.clientHello, hs.hello)
1391 if err != nil {
1392 c.sendAlert(alertHandshakeFailure)
1393 return err
1394 }
Steven Valdez5440fe02016-07-18 12:40:30 -04001395 if ecdhe, ok := keyAgreement.(*ecdheKeyAgreement); ok {
1396 c.curveID = ecdhe.curveID
1397 }
David Benjamin9c651c92014-07-12 13:27:45 -04001398 if skx != nil && !config.Bugs.SkipServerKeyExchange {
David Benjamin83c0bc92014-08-04 01:23:53 -04001399 hs.writeServerHash(skx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001400 c.writeRecord(recordTypeHandshake, skx.marshal())
1401 }
1402
1403 if config.ClientAuth >= RequestClientCert {
1404 // Request a client certificate
David Benjamin7b030512014-07-08 17:30:11 -04001405 certReq := &certificateRequestMsg{
1406 certificateTypes: config.ClientCertificateTypes,
1407 }
1408 if certReq.certificateTypes == nil {
1409 certReq.certificateTypes = []byte{
1410 byte(CertTypeRSASign),
1411 byte(CertTypeECDSASign),
1412 }
Adam Langley95c29f32014-06-20 12:00:00 -07001413 }
1414 if c.vers >= VersionTLS12 {
Nick Harper60edffd2016-06-21 15:19:24 -07001415 certReq.hasSignatureAlgorithm = true
1416 if !config.Bugs.NoSignatureAlgorithms {
David Benjamin7a41d372016-07-09 11:21:54 -07001417 certReq.signatureAlgorithms = config.verifySignatureAlgorithms()
David Benjamin000800a2014-11-14 01:43:59 -05001418 }
Adam Langley95c29f32014-06-20 12:00:00 -07001419 }
1420
1421 // An empty list of certificateAuthorities signals to
1422 // the client that it may send any certificate in response
1423 // to our request. When we know the CAs we trust, then
1424 // we can send them down, so that the client can choose
1425 // an appropriate certificate to give to us.
1426 if config.ClientCAs != nil {
1427 certReq.certificateAuthorities = config.ClientCAs.Subjects()
1428 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001429 hs.writeServerHash(certReq.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001430 c.writeRecord(recordTypeHandshake, certReq.marshal())
1431 }
1432
1433 helloDone := new(serverHelloDoneMsg)
David Benjamin83c0bc92014-08-04 01:23:53 -04001434 hs.writeServerHash(helloDone.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001435 c.writeRecord(recordTypeHandshake, helloDone.marshal())
David Benjamin582ba042016-07-07 12:33:25 -07001436 c.flushHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -07001437
1438 var pub crypto.PublicKey // public key for client auth, if any
1439
David Benjamin83f90402015-01-27 01:09:43 -05001440 if err := c.simulatePacketLoss(nil); err != nil {
1441 return err
1442 }
Adam Langley95c29f32014-06-20 12:00:00 -07001443 msg, err := c.readHandshake()
1444 if err != nil {
1445 return err
1446 }
1447
1448 var ok bool
1449 // If we requested a client certificate, then the client must send a
1450 // certificate message, even if it's empty.
1451 if config.ClientAuth >= RequestClientCert {
David Benjamin48cae082014-10-27 01:06:24 -04001452 var certMsg *certificateMsg
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001453 var certificates [][]byte
1454 if certMsg, ok = msg.(*certificateMsg); ok {
1455 if c.vers == VersionSSL30 && len(certMsg.certificates) == 0 {
1456 return errors.New("tls: empty certificate message in SSL 3.0")
1457 }
1458
1459 hs.writeClientHash(certMsg.marshal())
Steven Valdeza833c352016-11-01 13:39:36 -04001460 for _, cert := range certMsg.certificates {
1461 certificates = append(certificates, cert.data)
1462 }
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001463 } else if c.vers != VersionSSL30 {
1464 // In TLS, the Certificate message is required. In SSL
1465 // 3.0, the peer skips it when sending no certificates.
Adam Langley95c29f32014-06-20 12:00:00 -07001466 c.sendAlert(alertUnexpectedMessage)
1467 return unexpectedMessageError(certMsg, msg)
1468 }
Adam Langley95c29f32014-06-20 12:00:00 -07001469
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001470 if len(certificates) == 0 {
Adam Langley95c29f32014-06-20 12:00:00 -07001471 // The client didn't actually send a certificate
1472 switch config.ClientAuth {
1473 case RequireAnyClientCert, RequireAndVerifyClientCert:
1474 c.sendAlert(alertBadCertificate)
1475 return errors.New("tls: client didn't provide a certificate")
1476 }
1477 }
1478
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001479 pub, err = hs.processCertsFromClient(certificates)
Adam Langley95c29f32014-06-20 12:00:00 -07001480 if err != nil {
1481 return err
1482 }
1483
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001484 if ok {
1485 msg, err = c.readHandshake()
1486 if err != nil {
1487 return err
1488 }
Adam Langley95c29f32014-06-20 12:00:00 -07001489 }
1490 }
1491
1492 // Get client key exchange
1493 ckx, ok := msg.(*clientKeyExchangeMsg)
1494 if !ok {
1495 c.sendAlert(alertUnexpectedMessage)
1496 return unexpectedMessageError(ckx, msg)
1497 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001498 hs.writeClientHash(ckx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001499
David Benjamine098ec22014-08-27 23:13:20 -04001500 preMasterSecret, err := keyAgreement.processClientKeyExchange(config, hs.cert, ckx, c.vers)
1501 if err != nil {
1502 c.sendAlert(alertHandshakeFailure)
1503 return err
1504 }
Adam Langley75712922014-10-10 16:23:43 -07001505 if c.extendedMasterSecret {
1506 hs.masterSecret = extendedMasterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.finishedHash)
1507 } else {
1508 if c.config.Bugs.RequireExtendedMasterSecret {
1509 return errors.New("tls: extended master secret required but not supported by peer")
1510 }
1511 hs.masterSecret = masterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.clientHello.random, hs.hello.random)
1512 }
David Benjamine098ec22014-08-27 23:13:20 -04001513
Adam Langley95c29f32014-06-20 12:00:00 -07001514 // If we received a client cert in response to our certificate request message,
1515 // the client will send us a certificateVerifyMsg immediately after the
1516 // clientKeyExchangeMsg. This message is a digest of all preceding
1517 // handshake-layer messages that is signed using the private key corresponding
1518 // to the client's certificate. This allows us to verify that the client is in
1519 // possession of the private key of the certificate.
1520 if len(c.peerCertificates) > 0 {
1521 msg, err = c.readHandshake()
1522 if err != nil {
1523 return err
1524 }
1525 certVerify, ok := msg.(*certificateVerifyMsg)
1526 if !ok {
1527 c.sendAlert(alertUnexpectedMessage)
1528 return unexpectedMessageError(certVerify, msg)
1529 }
1530
David Benjaminde620d92014-07-18 15:03:41 -04001531 // Determine the signature type.
Nick Harper60edffd2016-06-21 15:19:24 -07001532 var sigAlg signatureAlgorithm
1533 if certVerify.hasSignatureAlgorithm {
1534 sigAlg = certVerify.signatureAlgorithm
Nick Harper60edffd2016-06-21 15:19:24 -07001535 c.peerSignatureAlgorithm = sigAlg
David Benjaminde620d92014-07-18 15:03:41 -04001536 }
1537
Nick Harper60edffd2016-06-21 15:19:24 -07001538 if c.vers > VersionSSL30 {
David Benjamin1fb125c2016-07-08 18:52:12 -07001539 err = verifyMessage(c.vers, pub, c.config, sigAlg, hs.finishedHash.buffer, certVerify.signature)
Nick Harper60edffd2016-06-21 15:19:24 -07001540 } else {
1541 // SSL 3.0's client certificate construction is
1542 // incompatible with signatureAlgorithm.
1543 rsaPub, ok := pub.(*rsa.PublicKey)
1544 if !ok {
1545 err = errors.New("unsupported key type for client certificate")
1546 } else {
1547 digest := hs.finishedHash.hashForClientCertificateSSL3(hs.masterSecret)
1548 err = rsa.VerifyPKCS1v15(rsaPub, crypto.MD5SHA1, digest, certVerify.signature)
David Benjaminde620d92014-07-18 15:03:41 -04001549 }
Adam Langley95c29f32014-06-20 12:00:00 -07001550 }
1551 if err != nil {
1552 c.sendAlert(alertBadCertificate)
1553 return errors.New("could not validate signature of connection nonces: " + err.Error())
1554 }
1555
David Benjamin83c0bc92014-08-04 01:23:53 -04001556 hs.writeClientHash(certVerify.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001557 }
1558
David Benjamine098ec22014-08-27 23:13:20 -04001559 hs.finishedHash.discardHandshakeBuffer()
Adam Langley95c29f32014-06-20 12:00:00 -07001560
1561 return nil
1562}
1563
1564func (hs *serverHandshakeState) establishKeys() error {
1565 c := hs.c
1566
1567 clientMAC, serverMAC, clientKey, serverKey, clientIV, serverIV :=
Nick Harper1fd39d82016-06-14 18:14:35 -07001568 keysFromMasterSecret(c.vers, hs.suite, hs.masterSecret, hs.clientHello.random, hs.hello.random, hs.suite.macLen, hs.suite.keyLen, hs.suite.ivLen(c.vers))
Adam Langley95c29f32014-06-20 12:00:00 -07001569
1570 var clientCipher, serverCipher interface{}
1571 var clientHash, serverHash macFunction
1572
1573 if hs.suite.aead == nil {
1574 clientCipher = hs.suite.cipher(clientKey, clientIV, true /* for reading */)
1575 clientHash = hs.suite.mac(c.vers, clientMAC)
1576 serverCipher = hs.suite.cipher(serverKey, serverIV, false /* not for reading */)
1577 serverHash = hs.suite.mac(c.vers, serverMAC)
1578 } else {
Nick Harper1fd39d82016-06-14 18:14:35 -07001579 clientCipher = hs.suite.aead(c.vers, clientKey, clientIV)
1580 serverCipher = hs.suite.aead(c.vers, serverKey, serverIV)
Adam Langley95c29f32014-06-20 12:00:00 -07001581 }
1582
1583 c.in.prepareCipherSpec(c.vers, clientCipher, clientHash)
1584 c.out.prepareCipherSpec(c.vers, serverCipher, serverHash)
1585
1586 return nil
1587}
1588
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001589func (hs *serverHandshakeState) readFinished(out []byte, isResume bool) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001590 c := hs.c
1591
1592 c.readRecord(recordTypeChangeCipherSpec)
1593 if err := c.in.error(); err != nil {
1594 return err
1595 }
1596
Nick Harperb3d51be2016-07-01 11:43:18 -04001597 if hs.hello.extensions.nextProtoNeg {
Adam Langley95c29f32014-06-20 12:00:00 -07001598 msg, err := c.readHandshake()
1599 if err != nil {
1600 return err
1601 }
1602 nextProto, ok := msg.(*nextProtoMsg)
1603 if !ok {
1604 c.sendAlert(alertUnexpectedMessage)
1605 return unexpectedMessageError(nextProto, msg)
1606 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001607 hs.writeClientHash(nextProto.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001608 c.clientProtocol = nextProto.proto
1609 }
1610
Nick Harperb3d51be2016-07-01 11:43:18 -04001611 if hs.hello.extensions.channelIDRequested {
David Benjamind30a9902014-08-24 01:44:23 -04001612 msg, err := c.readHandshake()
1613 if err != nil {
1614 return err
1615 }
David Benjamin24599a82016-06-30 18:56:53 -04001616 channelIDMsg, ok := msg.(*channelIDMsg)
David Benjamind30a9902014-08-24 01:44:23 -04001617 if !ok {
1618 c.sendAlert(alertUnexpectedMessage)
David Benjamin24599a82016-06-30 18:56:53 -04001619 return unexpectedMessageError(channelIDMsg, msg)
David Benjamind30a9902014-08-24 01:44:23 -04001620 }
David Benjamind30a9902014-08-24 01:44:23 -04001621 var resumeHash []byte
1622 if isResume {
1623 resumeHash = hs.sessionState.handshakeHash
1624 }
Nick Harper60a85cb2016-09-23 16:25:11 -07001625 channelID, err := verifyChannelIDMessage(channelIDMsg, hs.finishedHash.hashForChannelID(resumeHash))
1626 if err != nil {
1627 return err
David Benjamind30a9902014-08-24 01:44:23 -04001628 }
1629 c.channelID = channelID
1630
David Benjamin24599a82016-06-30 18:56:53 -04001631 hs.writeClientHash(channelIDMsg.marshal())
David Benjamind30a9902014-08-24 01:44:23 -04001632 }
1633
Adam Langley95c29f32014-06-20 12:00:00 -07001634 msg, err := c.readHandshake()
1635 if err != nil {
1636 return err
1637 }
1638 clientFinished, ok := msg.(*finishedMsg)
1639 if !ok {
1640 c.sendAlert(alertUnexpectedMessage)
1641 return unexpectedMessageError(clientFinished, msg)
1642 }
1643
1644 verify := hs.finishedHash.clientSum(hs.masterSecret)
1645 if len(verify) != len(clientFinished.verifyData) ||
1646 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
1647 c.sendAlert(alertHandshakeFailure)
1648 return errors.New("tls: client's Finished message is incorrect")
1649 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001650 c.clientVerify = append(c.clientVerify[:0], clientFinished.verifyData...)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001651 copy(out, clientFinished.verifyData)
Adam Langley95c29f32014-06-20 12:00:00 -07001652
David Benjamin83c0bc92014-08-04 01:23:53 -04001653 hs.writeClientHash(clientFinished.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001654 return nil
1655}
1656
1657func (hs *serverHandshakeState) sendSessionTicket() error {
Adam Langley95c29f32014-06-20 12:00:00 -07001658 c := hs.c
Adam Langley95c29f32014-06-20 12:00:00 -07001659 state := sessionState{
David Benjamind30a9902014-08-24 01:44:23 -04001660 vers: c.vers,
1661 cipherSuite: hs.suite.id,
1662 masterSecret: hs.masterSecret,
1663 certificates: hs.certsFromClient,
Nick Harperc9846112016-10-17 15:05:35 -07001664 handshakeHash: hs.finishedHash.Sum(),
Adam Langley95c29f32014-06-20 12:00:00 -07001665 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001666
Nick Harperb3d51be2016-07-01 11:43:18 -04001667 if !hs.hello.extensions.ticketSupported || hs.c.config.Bugs.SkipNewSessionTicket {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001668 if c.config.ServerSessionCache != nil && len(hs.hello.sessionId) != 0 {
1669 c.config.ServerSessionCache.Put(string(hs.hello.sessionId), &state)
1670 }
1671 return nil
1672 }
1673
1674 m := new(newSessionTicketMsg)
1675
David Benjamindd6fed92015-10-23 17:41:12 -04001676 if !c.config.Bugs.SendEmptySessionTicket {
1677 var err error
1678 m.ticket, err = c.encryptTicket(&state)
1679 if err != nil {
1680 return err
1681 }
Adam Langley95c29f32014-06-20 12:00:00 -07001682 }
Adam Langley95c29f32014-06-20 12:00:00 -07001683
David Benjamin83c0bc92014-08-04 01:23:53 -04001684 hs.writeServerHash(m.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001685 c.writeRecord(recordTypeHandshake, m.marshal())
1686
1687 return nil
1688}
1689
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001690func (hs *serverHandshakeState) sendFinished(out []byte) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001691 c := hs.c
1692
David Benjamin86271ee2014-07-21 16:14:03 -04001693 finished := new(finishedMsg)
1694 finished.verifyData = hs.finishedHash.serverSum(hs.masterSecret)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001695 copy(out, finished.verifyData)
David Benjamin513f0ea2015-04-02 19:33:31 -04001696 if c.config.Bugs.BadFinished {
1697 finished.verifyData[0]++
1698 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001699 c.serverVerify = append(c.serverVerify[:0], finished.verifyData...)
David Benjamin83f90402015-01-27 01:09:43 -05001700 hs.finishedBytes = finished.marshal()
1701 hs.writeServerHash(hs.finishedBytes)
1702 postCCSBytes := hs.finishedBytes
David Benjamin86271ee2014-07-21 16:14:03 -04001703
1704 if c.config.Bugs.FragmentAcrossChangeCipherSpec {
1705 c.writeRecord(recordTypeHandshake, postCCSBytes[:5])
1706 postCCSBytes = postCCSBytes[5:]
David Benjamin61672812016-07-14 23:10:43 -04001707 } else if c.config.Bugs.SendUnencryptedFinished {
1708 c.writeRecord(recordTypeHandshake, postCCSBytes)
1709 postCCSBytes = nil
David Benjamin86271ee2014-07-21 16:14:03 -04001710 }
David Benjamin582ba042016-07-07 12:33:25 -07001711 c.flushHandshake()
David Benjamin86271ee2014-07-21 16:14:03 -04001712
David Benjamina0e52232014-07-19 17:39:58 -04001713 if !c.config.Bugs.SkipChangeCipherSpec {
David Benjamin8411b242015-11-26 12:07:28 -05001714 ccs := []byte{1}
1715 if c.config.Bugs.BadChangeCipherSpec != nil {
1716 ccs = c.config.Bugs.BadChangeCipherSpec
1717 }
1718 c.writeRecord(recordTypeChangeCipherSpec, ccs)
David Benjamina0e52232014-07-19 17:39:58 -04001719 }
Adam Langley95c29f32014-06-20 12:00:00 -07001720
David Benjamin4189bd92015-01-25 23:52:39 -05001721 if c.config.Bugs.AppDataAfterChangeCipherSpec != nil {
1722 c.writeRecord(recordTypeApplicationData, c.config.Bugs.AppDataAfterChangeCipherSpec)
1723 }
David Benjamindc3da932015-03-12 15:09:02 -04001724 if c.config.Bugs.AlertAfterChangeCipherSpec != 0 {
1725 c.sendAlert(c.config.Bugs.AlertAfterChangeCipherSpec)
1726 return errors.New("tls: simulating post-CCS alert")
1727 }
David Benjamin4189bd92015-01-25 23:52:39 -05001728
David Benjamin61672812016-07-14 23:10:43 -04001729 if !c.config.Bugs.SkipFinished && len(postCCSBytes) > 0 {
David Benjaminb80168e2015-02-08 18:30:14 -05001730 c.writeRecord(recordTypeHandshake, postCCSBytes)
David Benjamin02edcd02016-07-27 17:40:37 -04001731 if c.config.Bugs.SendExtraFinished {
1732 c.writeRecord(recordTypeHandshake, finished.marshal())
1733 }
1734
David Benjamin12d2c482016-07-24 10:56:51 -04001735 if !c.config.Bugs.PackHelloRequestWithFinished {
1736 // Defer flushing until renegotiation.
1737 c.flushHandshake()
1738 }
David Benjaminb3774b92015-01-31 17:16:01 -05001739 }
Adam Langley95c29f32014-06-20 12:00:00 -07001740
David Benjaminc565ebb2015-04-03 04:06:36 -04001741 c.cipherSuite = hs.suite
Adam Langley95c29f32014-06-20 12:00:00 -07001742
1743 return nil
1744}
1745
1746// processCertsFromClient takes a chain of client certificates either from a
1747// Certificates message or from a sessionState and verifies them. It returns
1748// the public key of the leaf certificate.
1749func (hs *serverHandshakeState) processCertsFromClient(certificates [][]byte) (crypto.PublicKey, error) {
1750 c := hs.c
1751
1752 hs.certsFromClient = certificates
1753 certs := make([]*x509.Certificate, len(certificates))
1754 var err error
1755 for i, asn1Data := range certificates {
1756 if certs[i], err = x509.ParseCertificate(asn1Data); err != nil {
1757 c.sendAlert(alertBadCertificate)
1758 return nil, errors.New("tls: failed to parse client certificate: " + err.Error())
1759 }
1760 }
1761
1762 if c.config.ClientAuth >= VerifyClientCertIfGiven && len(certs) > 0 {
1763 opts := x509.VerifyOptions{
1764 Roots: c.config.ClientCAs,
1765 CurrentTime: c.config.time(),
1766 Intermediates: x509.NewCertPool(),
1767 KeyUsages: []x509.ExtKeyUsage{x509.ExtKeyUsageClientAuth},
1768 }
1769
1770 for _, cert := range certs[1:] {
1771 opts.Intermediates.AddCert(cert)
1772 }
1773
1774 chains, err := certs[0].Verify(opts)
1775 if err != nil {
1776 c.sendAlert(alertBadCertificate)
1777 return nil, errors.New("tls: failed to verify client's certificate: " + err.Error())
1778 }
1779
1780 ok := false
1781 for _, ku := range certs[0].ExtKeyUsage {
1782 if ku == x509.ExtKeyUsageClientAuth {
1783 ok = true
1784 break
1785 }
1786 }
1787 if !ok {
1788 c.sendAlert(alertHandshakeFailure)
1789 return nil, errors.New("tls: client's certificate's extended key usage doesn't permit it to be used for client authentication")
1790 }
1791
1792 c.verifiedChains = chains
1793 }
1794
1795 if len(certs) > 0 {
1796 var pub crypto.PublicKey
1797 switch key := certs[0].PublicKey.(type) {
1798 case *ecdsa.PublicKey, *rsa.PublicKey:
1799 pub = key
1800 default:
1801 c.sendAlert(alertUnsupportedCertificate)
1802 return nil, fmt.Errorf("tls: client's certificate contains an unsupported public key of type %T", certs[0].PublicKey)
1803 }
1804 c.peerCertificates = certs
1805 return pub, nil
1806 }
1807
1808 return nil, nil
1809}
1810
Nick Harper60a85cb2016-09-23 16:25:11 -07001811func verifyChannelIDMessage(channelIDMsg *channelIDMsg, channelIDHash []byte) (*ecdsa.PublicKey, error) {
1812 x := new(big.Int).SetBytes(channelIDMsg.channelID[0:32])
1813 y := new(big.Int).SetBytes(channelIDMsg.channelID[32:64])
1814 r := new(big.Int).SetBytes(channelIDMsg.channelID[64:96])
1815 s := new(big.Int).SetBytes(channelIDMsg.channelID[96:128])
1816 if !elliptic.P256().IsOnCurve(x, y) {
1817 return nil, errors.New("tls: invalid channel ID public key")
1818 }
1819 channelID := &ecdsa.PublicKey{elliptic.P256(), x, y}
1820 if !ecdsa.Verify(channelID, channelIDHash, r, s) {
1821 return nil, errors.New("tls: invalid channel ID signature")
1822 }
1823 return channelID, nil
1824}
1825
David Benjamin83c0bc92014-08-04 01:23:53 -04001826func (hs *serverHandshakeState) writeServerHash(msg []byte) {
1827 // writeServerHash is called before writeRecord.
1828 hs.writeHash(msg, hs.c.sendHandshakeSeq)
1829}
1830
1831func (hs *serverHandshakeState) writeClientHash(msg []byte) {
1832 // writeClientHash is called after readHandshake.
1833 hs.writeHash(msg, hs.c.recvHandshakeSeq-1)
1834}
1835
1836func (hs *serverHandshakeState) writeHash(msg []byte, seqno uint16) {
1837 if hs.c.isDTLS {
1838 // This is somewhat hacky. DTLS hashes a slightly different format.
1839 // First, the TLS header.
1840 hs.finishedHash.Write(msg[:4])
1841 // Then the sequence number and reassembled fragment offset (always 0).
1842 hs.finishedHash.Write([]byte{byte(seqno >> 8), byte(seqno), 0, 0, 0})
1843 // Then the reassembled fragment (always equal to the message length).
1844 hs.finishedHash.Write(msg[1:4])
1845 // And then the message body.
1846 hs.finishedHash.Write(msg[4:])
1847 } else {
1848 hs.finishedHash.Write(msg)
1849 }
1850}
1851
Adam Langley95c29f32014-06-20 12:00:00 -07001852// tryCipherSuite returns a cipherSuite with the given id if that cipher suite
1853// is acceptable to use.
Steven Valdez803c77a2016-09-06 14:13:43 -04001854func (c *Conn) tryCipherSuite(id uint16, supportedCipherSuites []uint16, version uint16, ellipticOk, ecdsaOk bool) *cipherSuite {
Adam Langley95c29f32014-06-20 12:00:00 -07001855 for _, supported := range supportedCipherSuites {
1856 if id == supported {
1857 var candidate *cipherSuite
1858
1859 for _, s := range cipherSuites {
1860 if s.id == id {
1861 candidate = s
1862 break
1863 }
1864 }
1865 if candidate == nil {
1866 continue
1867 }
Steven Valdez803c77a2016-09-06 14:13:43 -04001868
Adam Langley95c29f32014-06-20 12:00:00 -07001869 // Don't select a ciphersuite which we can't
1870 // support for this client.
Steven Valdez803c77a2016-09-06 14:13:43 -04001871 if version >= VersionTLS13 || candidate.flags&suiteTLS13 != 0 {
1872 if version < VersionTLS13 || candidate.flags&suiteTLS13 == 0 {
1873 continue
1874 }
1875 return candidate
David Benjamin5ecb88b2016-10-04 17:51:35 -04001876 }
1877 if (candidate.flags&suiteECDHE != 0) && !ellipticOk {
1878 continue
1879 }
1880 if (candidate.flags&suiteECDSA != 0) != ecdsaOk {
1881 continue
1882 }
1883 if version < VersionTLS12 && candidate.flags&suiteTLS12 != 0 {
1884 continue
1885 }
David Benjamin5ecb88b2016-10-04 17:51:35 -04001886 if c.isDTLS && candidate.flags&suiteNoDTLS != 0 {
1887 continue
David Benjamin83c0bc92014-08-04 01:23:53 -04001888 }
Adam Langley95c29f32014-06-20 12:00:00 -07001889 return candidate
1890 }
1891 }
1892
1893 return nil
1894}
David Benjaminf93995b2015-11-05 18:23:20 -05001895
1896func isTLS12Cipher(id uint16) bool {
1897 for _, cipher := range cipherSuites {
1898 if cipher.id != id {
1899 continue
1900 }
1901 return cipher.flags&suiteTLS12 != 0
1902 }
1903 // Unknown cipher.
1904 return false
1905}
David Benjamin65ac9972016-09-02 21:35:25 -04001906
1907func isGREASEValue(val uint16) bool {
David Benjamin3c6a1ea2016-09-26 18:30:05 -04001908 return val&0x0f0f == 0x0a0a && val&0xff == val>>8
David Benjamin65ac9972016-09-02 21:35:25 -04001909}
Steven Valdeza833c352016-11-01 13:39:36 -04001910
1911func verifyPSKBinder(clientHello *clientHelloMsg, sessionState *sessionState, binderToVerify, transcript []byte) error {
1912 binderLen := 2
1913 for _, binder := range clientHello.pskBinders {
1914 binderLen += 1 + len(binder)
1915 }
1916
1917 truncatedHello := clientHello.marshal()
1918 truncatedHello = truncatedHello[:len(truncatedHello)-binderLen]
1919 pskCipherSuite := cipherSuiteFromID(sessionState.cipherSuite)
1920 if pskCipherSuite == nil {
1921 return errors.New("tls: Unknown cipher suite for PSK in session")
1922 }
1923
1924 binder := computePSKBinder(sessionState.masterSecret, resumptionPSKBinderLabel, pskCipherSuite, transcript, truncatedHello)
1925 if !bytes.Equal(binder, binderToVerify) {
1926 return errors.New("tls: PSK binder does not verify")
1927 }
1928
1929 return nil
1930}