blob: ef144c36258c350b70e1fe9b25cc383447ab4930 [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
Adam Langley2070f8a2017-03-10 15:25:14 -0800345 applyBugsToClientHello(hs.clientHello, config)
David Benjaminf25dda92016-07-04 10:05:26 -0700346
347 return nil
348}
349
Adam Langley2070f8a2017-03-10 15:25:14 -0800350func applyBugsToClientHello(clientHello *clientHelloMsg, config *Config) {
351 if config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
352 clientHello.signatureAlgorithms = config.signSignatureAlgorithms()
353 }
354 if config.Bugs.IgnorePeerCurvePreferences {
355 clientHello.supportedCurves = config.curvePreferences()
356 }
357 if config.Bugs.IgnorePeerCipherPreferences {
358 clientHello.cipherSuites = config.cipherSuites()
359 }
360}
361
Nick Harper728eed82016-07-07 17:36:52 -0700362func (hs *serverHandshakeState) doTLS13Handshake() error {
363 c := hs.c
364 config := c.config
365
366 hs.hello = &serverHelloMsg{
David Benjamin490469f2016-10-05 22:44:38 -0400367 isDTLS: c.isDTLS,
368 vers: versionToWire(c.vers, c.isDTLS),
369 versOverride: config.Bugs.SendServerHelloVersion,
370 customExtension: config.Bugs.CustomUnencryptedExtension,
371 unencryptedALPN: config.Bugs.SendUnencryptedALPN,
Steven Valdez5440fe02016-07-18 12:40:30 -0400372 }
373
Nick Harper728eed82016-07-07 17:36:52 -0700374 hs.hello.random = make([]byte, 32)
375 if _, err := io.ReadFull(config.rand(), hs.hello.random); err != nil {
376 c.sendAlert(alertInternalError)
377 return err
378 }
379
380 // TLS 1.3 forbids clients from advertising any non-null compression.
381 if len(hs.clientHello.compressionMethods) != 1 || hs.clientHello.compressionMethods[0] != compressionNone {
382 return errors.New("tls: client sent compression method other than null for TLS 1.3")
383 }
384
385 // Prepare an EncryptedExtensions message, but do not send it yet.
386 encryptedExtensions := new(encryptedExtensionsMsg)
Steven Valdez143e8b32016-07-11 13:19:03 -0400387 encryptedExtensions.empty = config.Bugs.EmptyEncryptedExtensions
Nick Harper728eed82016-07-07 17:36:52 -0700388 if err := hs.processClientExtensions(&encryptedExtensions.extensions); err != nil {
389 return err
390 }
391
David Benjamind0d532f2016-11-16 13:16:13 +0900392 // Select the cipher suite.
393 var preferenceList, supportedList []uint16
394 if config.PreferServerCipherSuites {
395 preferenceList = config.cipherSuites()
396 supportedList = hs.clientHello.cipherSuites
397 } else {
398 preferenceList = hs.clientHello.cipherSuites
399 supportedList = config.cipherSuites()
400 }
401
402 for _, id := range preferenceList {
403 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, true, true); hs.suite != nil {
404 break
405 }
406 }
407
408 if hs.suite == nil {
409 c.sendAlert(alertHandshakeFailure)
410 return errors.New("tls: no cipher suite supported by both client and server")
411 }
412
413 hs.hello.cipherSuite = hs.suite.id
414 if c.config.Bugs.SendCipherSuite != 0 {
415 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
416 }
417
418 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
419 hs.finishedHash.discardHandshakeBuffer()
420 hs.writeClientHash(hs.clientHello.marshal())
421
Nick Harper728eed82016-07-07 17:36:52 -0700422 supportedCurve := false
423 var selectedCurve CurveID
424 preferredCurves := config.curvePreferences()
425Curves:
426 for _, curve := range hs.clientHello.supportedCurves {
427 for _, supported := range preferredCurves {
428 if supported == curve {
429 supportedCurve = true
430 selectedCurve = curve
431 break Curves
432 }
433 }
434 }
435
Steven Valdez803c77a2016-09-06 14:13:43 -0400436 if !supportedCurve {
437 c.sendAlert(alertHandshakeFailure)
438 return errors.New("tls: no curve supported by both client and server")
439 }
Nick Harper728eed82016-07-07 17:36:52 -0700440
David Benjamin405da482016-08-08 17:25:07 -0400441 pskIdentities := hs.clientHello.pskIdentities
Steven Valdeza833c352016-11-01 13:39:36 -0400442 pskKEModes := hs.clientHello.pskKEModes
443
David Benjamin405da482016-08-08 17:25:07 -0400444 if len(pskIdentities) == 0 && len(hs.clientHello.sessionTicket) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -0400445 psk := pskIdentity{
Steven Valdeza833c352016-11-01 13:39:36 -0400446 ticket: hs.clientHello.sessionTicket,
Steven Valdez5b986082016-09-01 12:29:49 -0400447 }
448 pskIdentities = []pskIdentity{psk}
Steven Valdeza833c352016-11-01 13:39:36 -0400449 pskKEModes = []byte{pskDHEKEMode}
David Benjamin405da482016-08-08 17:25:07 -0400450 }
Steven Valdez5b986082016-09-01 12:29:49 -0400451
Steven Valdeza833c352016-11-01 13:39:36 -0400452 var pskIndex int
453 foundKEMode := bytes.IndexByte(pskKEModes, pskDHEKEMode) >= 0
Steven Valdez2d850622017-01-11 11:34:52 -0500454 if foundKEMode && !config.SessionTicketsDisabled {
Steven Valdeza833c352016-11-01 13:39:36 -0400455 for i, pskIdentity := range pskIdentities {
456 // TODO(svaldez): Check the obfuscatedTicketAge before accepting 0-RTT.
457 sessionState, ok := c.decryptTicket(pskIdentity.ticket)
458 if !ok {
David Benjamin405da482016-08-08 17:25:07 -0400459 continue
460 }
David Benjamin405da482016-08-08 17:25:07 -0400461
David Benjamind0d532f2016-11-16 13:16:13 +0900462 if !config.Bugs.AcceptAnySession {
David Benjamin0b8f85e2016-11-16 11:45:34 +0900463 if sessionState.vers != c.vers {
Steven Valdeza833c352016-11-01 13:39:36 -0400464 continue
Steven Valdez803c77a2016-09-06 14:13:43 -0400465 }
Steven Valdeza833c352016-11-01 13:39:36 -0400466 if sessionState.ticketExpiration.Before(c.config.time()) {
467 continue
468 }
David Benjamin2b02f4b2016-11-16 16:11:47 +0900469 sessionCipher := cipherSuiteFromID(sessionState.cipherSuite)
470 if sessionCipher == nil || sessionCipher.hash() != hs.suite.hash() {
Steven Valdeza833c352016-11-01 13:39:36 -0400471 continue
472 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400473 }
Steven Valdeza833c352016-11-01 13:39:36 -0400474
David Benjamin71186e82016-11-16 11:48:17 +0900475 clientTicketAge := time.Duration(uint32(pskIdentity.obfuscatedTicketAge-sessionState.ticketAgeAdd)) * time.Millisecond
476 if config.Bugs.ExpectTicketAge != 0 && clientTicketAge != config.Bugs.ExpectTicketAge {
477 c.sendAlert(alertHandshakeFailure)
478 return errors.New("tls: invalid ticket age")
479 }
480
Steven Valdeza833c352016-11-01 13:39:36 -0400481 hs.sessionState = sessionState
Steven Valdeza833c352016-11-01 13:39:36 -0400482 hs.hello.hasPSKIdentity = true
483 hs.hello.pskIdentity = uint16(i)
484 pskIndex = i
485 if config.Bugs.SelectPSKIdentityOnResume != 0 {
486 hs.hello.pskIdentity = config.Bugs.SelectPSKIdentityOnResume
487 }
488 c.didResume = true
489 break
Nick Harper0b3625b2016-07-25 16:16:28 -0700490 }
Nick Harper728eed82016-07-07 17:36:52 -0700491 }
492
David Benjamin7f78df42016-10-05 22:33:19 -0400493 if config.Bugs.AlwaysSelectPSKIdentity {
494 hs.hello.hasPSKIdentity = true
495 hs.hello.pskIdentity = 0
496 }
497
Steven Valdeza833c352016-11-01 13:39:36 -0400498 // Verify the PSK binder. Note there may not be a PSK binder if
499 // AcceptAnyBinder is set. See https://crbug.com/boringssl/115.
500 if hs.sessionState != nil && !config.Bugs.AcceptAnySession {
501 binderToVerify := hs.clientHello.pskBinders[pskIndex]
502 if err := verifyPSKBinder(hs.clientHello, hs.sessionState, binderToVerify, []byte{}); err != nil {
503 return err
504 }
505 }
506
Nick Harper728eed82016-07-07 17:36:52 -0700507 // Resolve PSK and compute the early secret.
Steven Valdez803c77a2016-09-06 14:13:43 -0400508 if hs.sessionState != nil {
David Benjamin48891ad2016-12-04 00:02:43 -0500509 hs.finishedHash.addEntropy(hs.sessionState.masterSecret)
Nick Harper0b3625b2016-07-25 16:16:28 -0700510 } else {
David Benjamin48891ad2016-12-04 00:02:43 -0500511 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
Nick Harper0b3625b2016-07-25 16:16:28 -0700512 }
Nick Harper728eed82016-07-07 17:36:52 -0700513
Steven Valdez803c77a2016-09-06 14:13:43 -0400514 hs.hello.hasKeyShare = true
515 if hs.sessionState != nil && config.Bugs.NegotiatePSKResumption {
516 hs.hello.hasKeyShare = false
517 }
518 if config.Bugs.MissingKeyShare {
519 hs.hello.hasKeyShare = false
520 }
521
David Benjamin3baa6e12016-10-07 21:10:38 -0400522 firstHelloRetryRequest := true
523
524ResendHelloRetryRequest:
525 var sendHelloRetryRequest bool
526 helloRetryRequest := &helloRetryRequestMsg{
527 vers: versionToWire(c.vers, c.isDTLS),
528 duplicateExtensions: config.Bugs.DuplicateHelloRetryRequestExtensions,
529 }
530
531 if config.Bugs.AlwaysSendHelloRetryRequest {
532 sendHelloRetryRequest = true
533 }
534
535 if config.Bugs.SendHelloRetryRequestCookie != nil {
536 sendHelloRetryRequest = true
537 helloRetryRequest.cookie = config.Bugs.SendHelloRetryRequestCookie
538 }
539
540 if len(config.Bugs.CustomHelloRetryRequestExtension) > 0 {
541 sendHelloRetryRequest = true
542 helloRetryRequest.customExtension = config.Bugs.CustomHelloRetryRequestExtension
543 }
544
545 var selectedKeyShare *keyShareEntry
Steven Valdez803c77a2016-09-06 14:13:43 -0400546 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700547 // Look for the key share corresponding to our selected curve.
Nick Harper728eed82016-07-07 17:36:52 -0700548 for i := range hs.clientHello.keyShares {
549 if hs.clientHello.keyShares[i].group == selectedCurve {
550 selectedKeyShare = &hs.clientHello.keyShares[i]
551 break
552 }
553 }
554
David Benjamine73c7f42016-08-17 00:29:33 -0400555 if config.Bugs.ExpectMissingKeyShare && selectedKeyShare != nil {
556 return errors.New("tls: expected missing key share")
557 }
558
David Benjamin3baa6e12016-10-07 21:10:38 -0400559 if selectedKeyShare == nil {
560 helloRetryRequest.hasSelectedGroup = true
561 helloRetryRequest.selectedGroup = selectedCurve
Steven Valdez5440fe02016-07-18 12:40:30 -0400562 sendHelloRetryRequest = true
563 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400564 }
565
566 if config.Bugs.SendHelloRetryRequestCurve != 0 {
567 helloRetryRequest.hasSelectedGroup = true
568 helloRetryRequest.selectedGroup = config.Bugs.SendHelloRetryRequestCurve
569 sendHelloRetryRequest = true
570 }
571
572 if config.Bugs.SkipHelloRetryRequest {
573 sendHelloRetryRequest = false
574 }
575
576 if sendHelloRetryRequest {
Steven Valdeza833c352016-11-01 13:39:36 -0400577 oldClientHelloBytes := hs.clientHello.marshal()
David Benjamin3baa6e12016-10-07 21:10:38 -0400578 hs.writeServerHash(helloRetryRequest.marshal())
579 c.writeRecord(recordTypeHandshake, helloRetryRequest.marshal())
580 c.flushHandshake()
581
Steven Valdez2d850622017-01-11 11:34:52 -0500582 if hs.clientHello.hasEarlyData {
583 c.skipEarlyData = true
584 }
585
David Benjamin3baa6e12016-10-07 21:10:38 -0400586 // Read new ClientHello.
587 newMsg, err := c.readHandshake()
588 if err != nil {
589 return err
Steven Valdez5440fe02016-07-18 12:40:30 -0400590 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400591 newClientHello, ok := newMsg.(*clientHelloMsg)
592 if !ok {
593 c.sendAlert(alertUnexpectedMessage)
594 return unexpectedMessageError(newClientHello, newMsg)
595 }
596 hs.writeClientHash(newClientHello.marshal())
Nick Harperdcfbc672016-07-16 17:47:31 +0200597
Steven Valdez2d850622017-01-11 11:34:52 -0500598 if newClientHello.hasEarlyData {
599 return errors.New("tls: EarlyData sent in new ClientHello")
600 }
601
Adam Langley2070f8a2017-03-10 15:25:14 -0800602 applyBugsToClientHello(newClientHello, config)
603
David Benjamin3baa6e12016-10-07 21:10:38 -0400604 // Check that the new ClientHello matches the old ClientHello,
605 // except for relevant modifications.
606 //
607 // TODO(davidben): Make this check more precise.
608 oldClientHelloCopy := *hs.clientHello
609 oldClientHelloCopy.raw = nil
610 oldClientHelloCopy.hasEarlyData = false
David Benjamin3baa6e12016-10-07 21:10:38 -0400611 newClientHelloCopy := *newClientHello
612 newClientHelloCopy.raw = nil
Nick Harperdcfbc672016-07-16 17:47:31 +0200613
David Benjamin3baa6e12016-10-07 21:10:38 -0400614 if helloRetryRequest.hasSelectedGroup {
615 newKeyShares := newClientHelloCopy.keyShares
Steven Valdeza833c352016-11-01 13:39:36 -0400616 if len(newKeyShares) != 1 || newKeyShares[0].group != helloRetryRequest.selectedGroup {
617 return errors.New("tls: KeyShare from HelloRetryRequest not in new ClientHello")
Nick Harperdcfbc672016-07-16 17:47:31 +0200618 }
Steven Valdeza833c352016-11-01 13:39:36 -0400619 selectedKeyShare = &newKeyShares[0]
620 newClientHelloCopy.keyShares = oldClientHelloCopy.keyShares
Nick Harper728eed82016-07-07 17:36:52 -0700621 }
622
David Benjamin3baa6e12016-10-07 21:10:38 -0400623 if len(helloRetryRequest.cookie) > 0 {
624 if !bytes.Equal(newClientHelloCopy.tls13Cookie, helloRetryRequest.cookie) {
625 return errors.New("tls: cookie from HelloRetryRequest not present in new ClientHello")
626 }
627 newClientHelloCopy.tls13Cookie = nil
628 }
David Benjaminea80f9d2016-11-15 18:19:55 +0900629
630 // PSK binders and obfuscated ticket age are both updated in the
631 // second ClientHello.
632 if len(oldClientHelloCopy.pskIdentities) != len(newClientHelloCopy.pskIdentities) {
633 return errors.New("tls: PSK identity count from old and new ClientHello do not match")
634 }
635 for i, identity := range oldClientHelloCopy.pskIdentities {
636 newClientHelloCopy.pskIdentities[i].obfuscatedTicketAge = identity.obfuscatedTicketAge
637 }
Steven Valdeza833c352016-11-01 13:39:36 -0400638 newClientHelloCopy.pskBinders = oldClientHelloCopy.pskBinders
Steven Valdez2d850622017-01-11 11:34:52 -0500639 newClientHelloCopy.hasEarlyData = oldClientHelloCopy.hasEarlyData
David Benjamin3baa6e12016-10-07 21:10:38 -0400640
641 if !oldClientHelloCopy.equal(&newClientHelloCopy) {
642 return errors.New("tls: new ClientHello does not match")
643 }
644
645 if firstHelloRetryRequest && config.Bugs.SecondHelloRetryRequest {
646 firstHelloRetryRequest = false
647 goto ResendHelloRetryRequest
648 }
Steven Valdeza833c352016-11-01 13:39:36 -0400649
650 // Verify the PSK binder. Note there may not be a PSK binder if
651 // AcceptAnyBinder is set. See https://crbug.com/115.
652 if hs.sessionState != nil && !config.Bugs.AcceptAnySession {
653 binderToVerify := newClientHello.pskBinders[pskIndex]
654 err := verifyPSKBinder(newClientHello, hs.sessionState, binderToVerify, append(oldClientHelloBytes, helloRetryRequest.marshal()...))
655 if err != nil {
656 return err
657 }
658 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400659 }
660
Nick Harperab20cec2016-12-19 17:38:41 -0800661 // Decide whether or not to accept early data.
Steven Valdez2d850622017-01-11 11:34:52 -0500662 if !sendHelloRetryRequest && hs.clientHello.hasEarlyData {
663 if !config.Bugs.AlwaysRejectEarlyData && hs.sessionState != nil {
664 if c.clientProtocol == string(hs.sessionState.earlyALPN) || config.Bugs.AlwaysAcceptEarlyData {
665 encryptedExtensions.extensions.hasEarlyData = true
666 }
667 }
668 if encryptedExtensions.extensions.hasEarlyData {
Nick Harperab20cec2016-12-19 17:38:41 -0800669 earlyTrafficSecret := hs.finishedHash.deriveSecret(earlyTrafficLabel)
670 c.in.useTrafficSecret(c.vers, hs.suite, earlyTrafficSecret, clientWrite)
671
672 for _, expectedMsg := range config.Bugs.ExpectEarlyData {
673 if err := c.readRecord(recordTypeApplicationData); err != nil {
674 return err
675 }
676 if !bytes.Equal(c.input.data[c.input.off:], expectedMsg) {
677 return errors.New("ExpectEarlyData: did not get expected message")
678 }
679 c.in.freeBlock(c.input)
680 c.input = nil
681
682 }
683 } else {
684 c.skipEarlyData = true
685 }
686 }
687
Steven Valdez2d850622017-01-11 11:34:52 -0500688 if config.Bugs.SendEarlyDataExtension {
689 encryptedExtensions.extensions.hasEarlyData = true
690 }
691
David Benjamin3baa6e12016-10-07 21:10:38 -0400692 // Resolve ECDHE and compute the handshake secret.
David Benjamin3baa6e12016-10-07 21:10:38 -0400693 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700694 // Once a curve has been selected and a key share identified,
695 // the server needs to generate a public value and send it in
696 // the ServerHello.
Steven Valdez5440fe02016-07-18 12:40:30 -0400697 curve, ok := curveForCurveID(selectedCurve)
Nick Harper728eed82016-07-07 17:36:52 -0700698 if !ok {
699 panic("tls: server failed to look up curve ID")
700 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400701 c.curveID = selectedCurve
702
703 var peerKey []byte
704 if config.Bugs.SkipHelloRetryRequest {
705 // If skipping HelloRetryRequest, use a random key to
706 // avoid crashing.
707 curve2, _ := curveForCurveID(selectedCurve)
708 var err error
709 peerKey, err = curve2.offer(config.rand())
710 if err != nil {
711 return err
712 }
713 } else {
714 peerKey = selectedKeyShare.keyExchange
715 }
716
David Benjamin48891ad2016-12-04 00:02:43 -0500717 publicKey, ecdheSecret, err := curve.accept(config.rand(), peerKey)
Nick Harper728eed82016-07-07 17:36:52 -0700718 if err != nil {
719 c.sendAlert(alertHandshakeFailure)
720 return err
721 }
David Benjamin48891ad2016-12-04 00:02:43 -0500722 hs.finishedHash.addEntropy(ecdheSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700723 hs.hello.hasKeyShare = true
Steven Valdez0ee2e112016-07-15 06:51:15 -0400724
Steven Valdez5440fe02016-07-18 12:40:30 -0400725 curveID := selectedCurve
Steven Valdez0ee2e112016-07-15 06:51:15 -0400726 if c.config.Bugs.SendCurve != 0 {
727 curveID = config.Bugs.SendCurve
728 }
729 if c.config.Bugs.InvalidECDHPoint {
730 publicKey[0] ^= 0xff
731 }
732
Nick Harper728eed82016-07-07 17:36:52 -0700733 hs.hello.keyShare = keyShareEntry{
Steven Valdez0ee2e112016-07-15 06:51:15 -0400734 group: curveID,
Nick Harper728eed82016-07-07 17:36:52 -0700735 keyExchange: publicKey,
736 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400737
738 if config.Bugs.EncryptedExtensionsWithKeyShare {
739 encryptedExtensions.extensions.hasKeyShare = true
740 encryptedExtensions.extensions.keyShare = keyShareEntry{
741 group: curveID,
742 keyExchange: publicKey,
743 }
744 }
Nick Harper728eed82016-07-07 17:36:52 -0700745 } else {
David Benjamin48891ad2016-12-04 00:02:43 -0500746 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
Nick Harper728eed82016-07-07 17:36:52 -0700747 }
748
749 // Send unencrypted ServerHello.
750 hs.writeServerHash(hs.hello.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400751 if config.Bugs.PartialEncryptedExtensionsWithServerHello {
752 helloBytes := hs.hello.marshal()
753 toWrite := make([]byte, 0, len(helloBytes)+1)
754 toWrite = append(toWrite, helloBytes...)
755 toWrite = append(toWrite, typeEncryptedExtensions)
756 c.writeRecord(recordTypeHandshake, toWrite)
757 } else {
758 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
759 }
Nick Harper728eed82016-07-07 17:36:52 -0700760 c.flushHandshake()
761
Nick Harper728eed82016-07-07 17:36:52 -0700762 // Switch to handshake traffic keys.
David Benjamin48891ad2016-12-04 00:02:43 -0500763 serverHandshakeTrafficSecret := hs.finishedHash.deriveSecret(serverHandshakeTrafficLabel)
Steven Valdeza833c352016-11-01 13:39:36 -0400764 c.out.useTrafficSecret(c.vers, hs.suite, serverHandshakeTrafficSecret, serverWrite)
Nick Harperab20cec2016-12-19 17:38:41 -0800765 // Derive handshake traffic read key, but don't switch yet.
David Benjamin48891ad2016-12-04 00:02:43 -0500766 clientHandshakeTrafficSecret := hs.finishedHash.deriveSecret(clientHandshakeTrafficLabel)
David Benjamin615119a2016-07-06 19:22:55 -0700767
Nick Harper728eed82016-07-07 17:36:52 -0700768 // Send EncryptedExtensions.
769 hs.writeServerHash(encryptedExtensions.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400770 if config.Bugs.PartialEncryptedExtensionsWithServerHello {
771 // The first byte has already been sent.
772 c.writeRecord(recordTypeHandshake, encryptedExtensions.marshal()[1:])
773 } else {
774 c.writeRecord(recordTypeHandshake, encryptedExtensions.marshal())
775 }
Nick Harper728eed82016-07-07 17:36:52 -0700776
Steven Valdeza833c352016-11-01 13:39:36 -0400777 if hs.sessionState == nil {
Nick Harper728eed82016-07-07 17:36:52 -0700778 if config.ClientAuth >= RequestClientCert {
David Benjamin8d343b42016-07-09 14:26:01 -0700779 // Request a client certificate
780 certReq := &certificateRequestMsg{
781 hasSignatureAlgorithm: true,
782 hasRequestContext: true,
David Benjamin8a8349b2016-08-18 02:32:23 -0400783 requestContext: config.Bugs.SendRequestContext,
David Benjamin8d343b42016-07-09 14:26:01 -0700784 }
785 if !config.Bugs.NoSignatureAlgorithms {
David Benjaminf74ec792016-07-13 21:18:49 -0400786 certReq.signatureAlgorithms = config.verifySignatureAlgorithms()
David Benjamin8d343b42016-07-09 14:26:01 -0700787 }
788
789 // An empty list of certificateAuthorities signals to
790 // the client that it may send any certificate in response
791 // to our request. When we know the CAs we trust, then
792 // we can send them down, so that the client can choose
793 // an appropriate certificate to give to us.
794 if config.ClientCAs != nil {
795 certReq.certificateAuthorities = config.ClientCAs.Subjects()
796 }
797 hs.writeServerHash(certReq.marshal())
798 c.writeRecord(recordTypeHandshake, certReq.marshal())
Nick Harper728eed82016-07-07 17:36:52 -0700799 }
800
801 certMsg := &certificateMsg{
802 hasRequestContext: true,
803 }
804 if !config.Bugs.EmptyCertificateList {
Steven Valdeza833c352016-11-01 13:39:36 -0400805 for i, certData := range hs.cert.Certificate {
806 cert := certificateEntry{
807 data: certData,
808 }
809 if i == 0 {
810 if hs.clientHello.ocspStapling {
811 cert.ocspResponse = hs.cert.OCSPStaple
812 }
813 if hs.clientHello.sctListSupported {
814 cert.sctList = hs.cert.SignedCertificateTimestampList
815 }
816 cert.duplicateExtensions = config.Bugs.SendDuplicateCertExtensions
817 cert.extraExtension = config.Bugs.SendExtensionOnCertificate
818 } else {
819 if config.Bugs.SendOCSPOnIntermediates != nil {
820 cert.ocspResponse = config.Bugs.SendOCSPOnIntermediates
821 }
822 if config.Bugs.SendSCTOnIntermediates != nil {
823 cert.sctList = config.Bugs.SendSCTOnIntermediates
824 }
825 }
826 certMsg.certificates = append(certMsg.certificates, cert)
827 }
Nick Harper728eed82016-07-07 17:36:52 -0700828 }
David Benjamin1edae6b2016-07-13 16:58:23 -0400829 certMsgBytes := certMsg.marshal()
David Benjamin1edae6b2016-07-13 16:58:23 -0400830 hs.writeServerHash(certMsgBytes)
831 c.writeRecord(recordTypeHandshake, certMsgBytes)
Nick Harper728eed82016-07-07 17:36:52 -0700832
833 certVerify := &certificateVerifyMsg{
834 hasSignatureAlgorithm: true,
835 }
836
837 // Determine the hash to sign.
838 privKey := hs.cert.PrivateKey
839
840 var err error
841 certVerify.signatureAlgorithm, err = selectSignatureAlgorithm(c.vers, privKey, config, hs.clientHello.signatureAlgorithms)
842 if err != nil {
843 c.sendAlert(alertInternalError)
844 return err
845 }
846
847 input := hs.finishedHash.certificateVerifyInput(serverCertificateVerifyContextTLS13)
848 certVerify.signature, err = signMessage(c.vers, privKey, c.config, certVerify.signatureAlgorithm, input)
849 if err != nil {
850 c.sendAlert(alertInternalError)
851 return err
852 }
853
Steven Valdez0ee2e112016-07-15 06:51:15 -0400854 if config.Bugs.SendSignatureAlgorithm != 0 {
855 certVerify.signatureAlgorithm = config.Bugs.SendSignatureAlgorithm
856 }
857
Nick Harper728eed82016-07-07 17:36:52 -0700858 hs.writeServerHash(certVerify.marshal())
859 c.writeRecord(recordTypeHandshake, certVerify.marshal())
Steven Valdez803c77a2016-09-06 14:13:43 -0400860 } else if hs.sessionState != nil {
Nick Harper0b3625b2016-07-25 16:16:28 -0700861 // Pick up certificates from the session instead.
David Benjamin5ecb88b2016-10-04 17:51:35 -0400862 if len(hs.sessionState.certificates) > 0 {
Nick Harper0b3625b2016-07-25 16:16:28 -0700863 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
864 return err
865 }
866 }
Nick Harper728eed82016-07-07 17:36:52 -0700867 }
868
869 finished := new(finishedMsg)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400870 finished.verifyData = hs.finishedHash.serverSum(serverHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700871 if config.Bugs.BadFinished {
872 finished.verifyData[0]++
873 }
874 hs.writeServerHash(finished.marshal())
875 c.writeRecord(recordTypeHandshake, finished.marshal())
David Benjamin02edcd02016-07-27 17:40:37 -0400876 if c.config.Bugs.SendExtraFinished {
877 c.writeRecord(recordTypeHandshake, finished.marshal())
878 }
Nick Harper728eed82016-07-07 17:36:52 -0700879 c.flushHandshake()
880
881 // The various secrets do not incorporate the client's final leg, so
882 // derive them now before updating the handshake context.
David Benjamin48891ad2016-12-04 00:02:43 -0500883 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
884 clientTrafficSecret := hs.finishedHash.deriveSecret(clientApplicationTrafficLabel)
885 serverTrafficSecret := hs.finishedHash.deriveSecret(serverApplicationTrafficLabel)
886 c.exporterSecret = hs.finishedHash.deriveSecret(exporterLabel)
Nick Harper728eed82016-07-07 17:36:52 -0700887
David Benjamin2aad4062016-07-14 23:15:40 -0400888 // Switch to application data keys on write. In particular, any alerts
889 // from the client certificate are sent over these keys.
Steven Valdeza833c352016-11-01 13:39:36 -0400890 c.out.useTrafficSecret(c.vers, hs.suite, serverTrafficSecret, serverWrite)
David Benjamin2aad4062016-07-14 23:15:40 -0400891
Nick Harper7cd0a972016-12-02 11:08:40 -0800892 // Send 0.5-RTT messages.
893 for _, halfRTTMsg := range config.Bugs.SendHalfRTTData {
894 if _, err := c.writeRecord(recordTypeApplicationData, halfRTTMsg); err != nil {
895 return err
896 }
897 }
898
Nick Harperab20cec2016-12-19 17:38:41 -0800899 // Read end_of_early_data alert.
900 if encryptedExtensions.extensions.hasEarlyData {
901 if err := c.readRecord(recordTypeAlert); err != errEndOfEarlyDataAlert {
902 if err == nil {
903 panic("readRecord(recordTypeAlert) returned nil")
904 }
905 return err
906 }
907 }
908
909 // Switch input stream to handshake traffic keys.
910 c.in.useTrafficSecret(c.vers, hs.suite, clientHandshakeTrafficSecret, clientWrite)
911
Nick Harper728eed82016-07-07 17:36:52 -0700912 // If we requested a client certificate, then the client must send a
913 // certificate message, even if it's empty.
914 if config.ClientAuth >= RequestClientCert {
David Benjamin8d343b42016-07-09 14:26:01 -0700915 msg, err := c.readHandshake()
916 if err != nil {
917 return err
918 }
919
920 certMsg, ok := msg.(*certificateMsg)
921 if !ok {
922 c.sendAlert(alertUnexpectedMessage)
923 return unexpectedMessageError(certMsg, msg)
924 }
925 hs.writeClientHash(certMsg.marshal())
926
927 if len(certMsg.certificates) == 0 {
928 // The client didn't actually send a certificate
929 switch config.ClientAuth {
930 case RequireAnyClientCert, RequireAndVerifyClientCert:
David Benjamin1db9e1b2016-10-07 20:51:43 -0400931 c.sendAlert(alertCertificateRequired)
David Benjamin8d343b42016-07-09 14:26:01 -0700932 return errors.New("tls: client didn't provide a certificate")
933 }
934 }
935
Steven Valdeza833c352016-11-01 13:39:36 -0400936 var certs [][]byte
937 for _, cert := range certMsg.certificates {
938 certs = append(certs, cert.data)
939 // OCSP responses and SCT lists are not negotiated in
940 // client certificates.
941 if cert.ocspResponse != nil || cert.sctList != nil {
942 c.sendAlert(alertUnsupportedExtension)
943 return errors.New("tls: unexpected extensions in the client certificate")
944 }
945 }
946 pub, err := hs.processCertsFromClient(certs)
David Benjamin8d343b42016-07-09 14:26:01 -0700947 if err != nil {
948 return err
949 }
950
951 if len(c.peerCertificates) > 0 {
952 msg, err = c.readHandshake()
953 if err != nil {
954 return err
955 }
956
957 certVerify, ok := msg.(*certificateVerifyMsg)
958 if !ok {
959 c.sendAlert(alertUnexpectedMessage)
960 return unexpectedMessageError(certVerify, msg)
961 }
962
David Benjaminf74ec792016-07-13 21:18:49 -0400963 c.peerSignatureAlgorithm = certVerify.signatureAlgorithm
David Benjamin8d343b42016-07-09 14:26:01 -0700964 input := hs.finishedHash.certificateVerifyInput(clientCertificateVerifyContextTLS13)
965 if err := verifyMessage(c.vers, pub, config, certVerify.signatureAlgorithm, input, certVerify.signature); err != nil {
966 c.sendAlert(alertBadCertificate)
967 return err
968 }
969 hs.writeClientHash(certVerify.marshal())
970 }
Nick Harper728eed82016-07-07 17:36:52 -0700971 }
972
Nick Harper60a85cb2016-09-23 16:25:11 -0700973 if encryptedExtensions.extensions.channelIDRequested {
974 msg, err := c.readHandshake()
975 if err != nil {
976 return err
977 }
978 channelIDMsg, ok := msg.(*channelIDMsg)
979 if !ok {
980 c.sendAlert(alertUnexpectedMessage)
981 return unexpectedMessageError(channelIDMsg, msg)
982 }
983 channelIDHash := crypto.SHA256.New()
984 channelIDHash.Write(hs.finishedHash.certificateVerifyInput(channelIDContextTLS13))
985 channelID, err := verifyChannelIDMessage(channelIDMsg, channelIDHash.Sum(nil))
986 if err != nil {
987 return err
988 }
989 c.channelID = channelID
990
991 hs.writeClientHash(channelIDMsg.marshal())
992 }
993
Nick Harper728eed82016-07-07 17:36:52 -0700994 // Read the client Finished message.
995 msg, err := c.readHandshake()
996 if err != nil {
997 return err
998 }
999 clientFinished, ok := msg.(*finishedMsg)
1000 if !ok {
1001 c.sendAlert(alertUnexpectedMessage)
1002 return unexpectedMessageError(clientFinished, msg)
1003 }
1004
Steven Valdezc4aa7272016-10-03 12:25:56 -04001005 verify := hs.finishedHash.clientSum(clientHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -07001006 if len(verify) != len(clientFinished.verifyData) ||
1007 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
1008 c.sendAlert(alertHandshakeFailure)
1009 return errors.New("tls: client's Finished message was incorrect")
1010 }
David Benjamin97a0a082016-07-13 17:57:35 -04001011 hs.writeClientHash(clientFinished.marshal())
Nick Harper728eed82016-07-07 17:36:52 -07001012
David Benjamin2aad4062016-07-14 23:15:40 -04001013 // Switch to application data keys on read.
Steven Valdeza833c352016-11-01 13:39:36 -04001014 c.in.useTrafficSecret(c.vers, hs.suite, clientTrafficSecret, clientWrite)
Nick Harper728eed82016-07-07 17:36:52 -07001015
Nick Harper728eed82016-07-07 17:36:52 -07001016 c.cipherSuite = hs.suite
David Benjamin48891ad2016-12-04 00:02:43 -05001017 c.resumptionSecret = hs.finishedHash.deriveSecret(resumptionLabel)
David Benjamin58104882016-07-18 01:25:41 +02001018
1019 // TODO(davidben): Allow configuring the number of tickets sent for
1020 // testing.
Steven Valdeza833c352016-11-01 13:39:36 -04001021 if !c.config.SessionTicketsDisabled && foundKEMode {
David Benjamin58104882016-07-18 01:25:41 +02001022 ticketCount := 2
1023 for i := 0; i < ticketCount; i++ {
1024 c.SendNewSessionTicket()
1025 }
1026 }
Nick Harper728eed82016-07-07 17:36:52 -07001027 return nil
1028}
1029
David Benjaminf25dda92016-07-04 10:05:26 -07001030// processClientHello processes the ClientHello message from the client and
1031// decides whether we will perform session resumption.
1032func (hs *serverHandshakeState) processClientHello() (isResume bool, err error) {
1033 config := hs.c.config
1034 c := hs.c
1035
1036 hs.hello = &serverHelloMsg{
1037 isDTLS: c.isDTLS,
David Benjamin3c6a1ea2016-09-26 18:30:05 -04001038 vers: versionToWire(c.vers, c.isDTLS),
David Benjaminb1dd8cd2016-09-26 19:20:48 -04001039 versOverride: config.Bugs.SendServerHelloVersion,
David Benjaminf25dda92016-07-04 10:05:26 -07001040 compressionMethod: compressionNone,
1041 }
1042
1043 hs.hello.random = make([]byte, 32)
1044 _, err = io.ReadFull(config.rand(), hs.hello.random)
1045 if err != nil {
1046 c.sendAlert(alertInternalError)
1047 return false, err
1048 }
David Benjamina128a552016-10-13 14:26:33 -04001049 // Signal downgrades in the server random, per draft-ietf-tls-tls13-16,
1050 // section 4.1.3.
Nick Harper85f20c22016-07-04 10:11:59 -07001051 if c.vers <= VersionTLS12 && config.maxVersion(c.isDTLS) >= VersionTLS13 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001052 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS13)
Nick Harper85f20c22016-07-04 10:11:59 -07001053 }
1054 if c.vers <= VersionTLS11 && config.maxVersion(c.isDTLS) == VersionTLS12 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001055 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS12)
Nick Harper85f20c22016-07-04 10:11:59 -07001056 }
David Benjaminf25dda92016-07-04 10:05:26 -07001057
1058 foundCompression := false
1059 // We only support null compression, so check that the client offered it.
1060 for _, compression := range hs.clientHello.compressionMethods {
1061 if compression == compressionNone {
1062 foundCompression = true
1063 break
1064 }
1065 }
1066
1067 if !foundCompression {
1068 c.sendAlert(alertHandshakeFailure)
1069 return false, errors.New("tls: client does not support uncompressed connections")
1070 }
David Benjamin7d79f832016-07-04 09:20:45 -07001071
1072 if err := hs.processClientExtensions(&hs.hello.extensions); err != nil {
1073 return false, err
Adam Langley09505632015-07-30 18:10:13 -07001074 }
Adam Langley95c29f32014-06-20 12:00:00 -07001075
1076 supportedCurve := false
1077 preferredCurves := config.curvePreferences()
1078Curves:
1079 for _, curve := range hs.clientHello.supportedCurves {
1080 for _, supported := range preferredCurves {
1081 if supported == curve {
1082 supportedCurve = true
1083 break Curves
1084 }
1085 }
1086 }
1087
1088 supportedPointFormat := false
1089 for _, pointFormat := range hs.clientHello.supportedPoints {
1090 if pointFormat == pointFormatUncompressed {
1091 supportedPointFormat = true
1092 break
1093 }
1094 }
1095 hs.ellipticOk = supportedCurve && supportedPointFormat
1096
Adam Langley95c29f32014-06-20 12:00:00 -07001097 _, hs.ecdsaOk = hs.cert.PrivateKey.(*ecdsa.PrivateKey)
1098
David Benjamin4b27d9f2015-05-12 22:42:52 -04001099 // For test purposes, check that the peer never offers a session when
1100 // renegotiating.
1101 if c.cipherSuite != nil && len(hs.clientHello.sessionId) > 0 && c.config.Bugs.FailIfResumeOnRenego {
1102 return false, errors.New("tls: offered resumption on renegotiation")
1103 }
1104
David Benjamindd6fed92015-10-23 17:41:12 -04001105 if c.config.Bugs.FailIfSessionOffered && (len(hs.clientHello.sessionTicket) > 0 || len(hs.clientHello.sessionId) > 0) {
1106 return false, errors.New("tls: client offered a session ticket or ID")
1107 }
1108
Adam Langley95c29f32014-06-20 12:00:00 -07001109 if hs.checkForResumption() {
1110 return true, nil
1111 }
1112
Adam Langley95c29f32014-06-20 12:00:00 -07001113 var preferenceList, supportedList []uint16
1114 if c.config.PreferServerCipherSuites {
1115 preferenceList = c.config.cipherSuites()
1116 supportedList = hs.clientHello.cipherSuites
1117 } else {
1118 preferenceList = hs.clientHello.cipherSuites
1119 supportedList = c.config.cipherSuites()
1120 }
1121
1122 for _, id := range preferenceList {
Steven Valdez803c77a2016-09-06 14:13:43 -04001123 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, hs.ellipticOk, hs.ecdsaOk); hs.suite != nil {
Adam Langley95c29f32014-06-20 12:00:00 -07001124 break
1125 }
1126 }
1127
1128 if hs.suite == nil {
1129 c.sendAlert(alertHandshakeFailure)
1130 return false, errors.New("tls: no cipher suite supported by both client and server")
1131 }
1132
1133 return false, nil
1134}
1135
David Benjamin7d79f832016-07-04 09:20:45 -07001136// processClientExtensions processes all ClientHello extensions not directly
1137// related to cipher suite negotiation and writes responses in serverExtensions.
1138func (hs *serverHandshakeState) processClientExtensions(serverExtensions *serverExtensions) error {
1139 config := hs.c.config
1140 c := hs.c
1141
David Benjamin8d315d72016-07-18 01:03:18 +02001142 if c.vers < VersionTLS13 || config.Bugs.NegotiateRenegotiationInfoAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001143 if !bytes.Equal(c.clientVerify, hs.clientHello.secureRenegotiation) {
1144 c.sendAlert(alertHandshakeFailure)
1145 return errors.New("tls: renegotiation mismatch")
David Benjamin7d79f832016-07-04 09:20:45 -07001146 }
David Benjamin7d79f832016-07-04 09:20:45 -07001147
Nick Harper728eed82016-07-07 17:36:52 -07001148 if len(c.clientVerify) > 0 && !c.config.Bugs.EmptyRenegotiationInfo {
1149 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.clientVerify...)
1150 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.serverVerify...)
1151 if c.config.Bugs.BadRenegotiationInfo {
1152 serverExtensions.secureRenegotiation[0] ^= 0x80
1153 }
1154 } else {
1155 serverExtensions.secureRenegotiation = hs.clientHello.secureRenegotiation
1156 }
1157
1158 if c.noRenegotiationInfo() {
1159 serverExtensions.secureRenegotiation = nil
1160 }
David Benjamin7d79f832016-07-04 09:20:45 -07001161 }
1162
1163 serverExtensions.duplicateExtension = c.config.Bugs.DuplicateExtension
1164
1165 if len(hs.clientHello.serverName) > 0 {
1166 c.serverName = hs.clientHello.serverName
1167 }
1168 if len(config.Certificates) == 0 {
1169 c.sendAlert(alertInternalError)
1170 return errors.New("tls: no certificates configured")
1171 }
1172 hs.cert = &config.Certificates[0]
1173 if len(hs.clientHello.serverName) > 0 {
1174 hs.cert = config.getCertificateForName(hs.clientHello.serverName)
1175 }
1176 if expected := c.config.Bugs.ExpectServerName; expected != "" && expected != hs.clientHello.serverName {
1177 return errors.New("tls: unexpected server name")
1178 }
1179
David Benjamina58baaf2017-02-28 20:54:28 -05001180 if cert := config.Bugs.RenegotiationCertificate; c.cipherSuite != nil && cert != nil {
1181 hs.cert = cert
1182 }
1183
David Benjamin7d79f832016-07-04 09:20:45 -07001184 if len(hs.clientHello.alpnProtocols) > 0 {
David Benjaminbbf42462017-03-14 21:27:10 -04001185 // We will never offer ALPN as a client on renegotiation
1186 // handshakes.
1187 if len(c.clientVerify) > 0 {
1188 return errors.New("tls: offered ALPN on renegotiation")
1189 }
David Benjamin7d79f832016-07-04 09:20:45 -07001190 if proto := c.config.Bugs.ALPNProtocol; proto != nil {
1191 serverExtensions.alpnProtocol = *proto
1192 serverExtensions.alpnProtocolEmpty = len(*proto) == 0
1193 c.clientProtocol = *proto
1194 c.usedALPN = true
1195 } else if selectedProto, fallback := mutualProtocol(hs.clientHello.alpnProtocols, c.config.NextProtos); !fallback {
1196 serverExtensions.alpnProtocol = selectedProto
1197 c.clientProtocol = selectedProto
1198 c.usedALPN = true
1199 }
1200 }
Nick Harper728eed82016-07-07 17:36:52 -07001201
David Benjamin0c40a962016-08-01 12:05:50 -04001202 if len(c.config.Bugs.SendALPN) > 0 {
1203 serverExtensions.alpnProtocol = c.config.Bugs.SendALPN
1204 }
1205
David Benjamin8d315d72016-07-18 01:03:18 +02001206 if c.vers < VersionTLS13 || config.Bugs.NegotiateNPNAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001207 if len(hs.clientHello.alpnProtocols) == 0 || c.config.Bugs.NegotiateALPNAndNPN {
1208 // Although sending an empty NPN extension is reasonable, Firefox has
1209 // had a bug around this. Best to send nothing at all if
1210 // config.NextProtos is empty. See
1211 // https://code.google.com/p/go/issues/detail?id=5445.
1212 if hs.clientHello.nextProtoNeg && len(config.NextProtos) > 0 {
1213 serverExtensions.nextProtoNeg = true
1214 serverExtensions.nextProtos = config.NextProtos
Steven Valdeza833c352016-11-01 13:39:36 -04001215 serverExtensions.npnAfterAlpn = config.Bugs.SwapNPNAndALPN
Nick Harper728eed82016-07-07 17:36:52 -07001216 }
David Benjamin7d79f832016-07-04 09:20:45 -07001217 }
Steven Valdez143e8b32016-07-11 13:19:03 -04001218 }
David Benjamin7d79f832016-07-04 09:20:45 -07001219
David Benjamin8d315d72016-07-18 01:03:18 +02001220 if c.vers < VersionTLS13 || config.Bugs.NegotiateEMSAtAllVersions {
David Benjamin163c9562016-08-29 23:14:17 -04001221 disableEMS := config.Bugs.NoExtendedMasterSecret
1222 if c.cipherSuite != nil {
1223 disableEMS = config.Bugs.NoExtendedMasterSecretOnRenegotiation
1224 }
1225 serverExtensions.extendedMasterSecret = c.vers >= VersionTLS10 && hs.clientHello.extendedMasterSecret && !disableEMS
Steven Valdez143e8b32016-07-11 13:19:03 -04001226 }
David Benjamin7d79f832016-07-04 09:20:45 -07001227
Nick Harper60a85cb2016-09-23 16:25:11 -07001228 if hs.clientHello.channelIDSupported && config.RequestChannelID {
1229 serverExtensions.channelIDRequested = true
David Benjamin7d79f832016-07-04 09:20:45 -07001230 }
1231
1232 if hs.clientHello.srtpProtectionProfiles != nil {
1233 SRTPLoop:
1234 for _, p1 := range c.config.SRTPProtectionProfiles {
1235 for _, p2 := range hs.clientHello.srtpProtectionProfiles {
1236 if p1 == p2 {
1237 serverExtensions.srtpProtectionProfile = p1
1238 c.srtpProtectionProfile = p1
1239 break SRTPLoop
1240 }
1241 }
1242 }
1243 }
1244
1245 if c.config.Bugs.SendSRTPProtectionProfile != 0 {
1246 serverExtensions.srtpProtectionProfile = c.config.Bugs.SendSRTPProtectionProfile
1247 }
1248
1249 if expected := c.config.Bugs.ExpectedCustomExtension; expected != nil {
1250 if hs.clientHello.customExtension != *expected {
1251 return fmt.Errorf("tls: bad custom extension contents %q", hs.clientHello.customExtension)
1252 }
1253 }
1254 serverExtensions.customExtension = config.Bugs.CustomExtension
1255
Steven Valdez143e8b32016-07-11 13:19:03 -04001256 if c.config.Bugs.AdvertiseTicketExtension {
1257 serverExtensions.ticketSupported = true
1258 }
1259
David Benjamina81967b2016-12-22 09:16:57 -05001260 if c.config.Bugs.SendSupportedPointFormats != nil {
1261 serverExtensions.supportedPoints = c.config.Bugs.SendSupportedPointFormats
1262 }
1263
David Benjamin65ac9972016-09-02 21:35:25 -04001264 if !hs.clientHello.hasGREASEExtension && config.Bugs.ExpectGREASE {
1265 return errors.New("tls: no GREASE extension found")
1266 }
1267
David Benjamin023d4192017-02-06 13:49:07 -05001268 serverExtensions.serverNameAck = c.config.Bugs.SendServerNameAck
1269
David Benjamin7d79f832016-07-04 09:20:45 -07001270 return nil
1271}
1272
Adam Langley95c29f32014-06-20 12:00:00 -07001273// checkForResumption returns true if we should perform resumption on this connection.
1274func (hs *serverHandshakeState) checkForResumption() bool {
1275 c := hs.c
1276
David Benjamin405da482016-08-08 17:25:07 -04001277 ticket := hs.clientHello.sessionTicket
1278 if len(ticket) == 0 && len(hs.clientHello.pskIdentities) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -04001279 ticket = hs.clientHello.pskIdentities[0].ticket
David Benjamin405da482016-08-08 17:25:07 -04001280 }
1281 if len(ticket) > 0 {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001282 if c.config.SessionTicketsDisabled {
1283 return false
1284 }
David Benjaminb0c8db72014-09-24 15:19:56 -04001285
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001286 var ok bool
David Benjamin405da482016-08-08 17:25:07 -04001287 if hs.sessionState, ok = c.decryptTicket(ticket); !ok {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001288 return false
1289 }
1290 } else {
1291 if c.config.ServerSessionCache == nil {
1292 return false
1293 }
1294
1295 var ok bool
1296 sessionId := string(hs.clientHello.sessionId)
1297 if hs.sessionState, ok = c.config.ServerSessionCache.Get(sessionId); !ok {
1298 return false
1299 }
Adam Langley95c29f32014-06-20 12:00:00 -07001300 }
1301
Steven Valdez803c77a2016-09-06 14:13:43 -04001302 if c.config.Bugs.AcceptAnySession {
1303 // Replace the cipher suite with one known to work, to test
1304 // cross-version resumption attempts.
1305 hs.sessionState.cipherSuite = TLS_RSA_WITH_AES_128_CBC_SHA
1306 } else {
David Benjamin405da482016-08-08 17:25:07 -04001307 // Never resume a session for a different SSL version.
1308 if c.vers != hs.sessionState.vers {
1309 return false
Adam Langley95c29f32014-06-20 12:00:00 -07001310 }
David Benjamin405da482016-08-08 17:25:07 -04001311
1312 cipherSuiteOk := false
1313 // Check that the client is still offering the ciphersuite in the session.
1314 for _, id := range hs.clientHello.cipherSuites {
1315 if id == hs.sessionState.cipherSuite {
1316 cipherSuiteOk = true
1317 break
1318 }
1319 }
1320 if !cipherSuiteOk {
1321 return false
1322 }
Adam Langley95c29f32014-06-20 12:00:00 -07001323 }
1324
1325 // Check that we also support the ciphersuite from the session.
Steven Valdez803c77a2016-09-06 14:13:43 -04001326 hs.suite = c.tryCipherSuite(hs.sessionState.cipherSuite, c.config.cipherSuites(), c.vers, hs.ellipticOk, hs.ecdsaOk)
1327
Adam Langley95c29f32014-06-20 12:00:00 -07001328 if hs.suite == nil {
1329 return false
1330 }
1331
1332 sessionHasClientCerts := len(hs.sessionState.certificates) != 0
1333 needClientCerts := c.config.ClientAuth == RequireAnyClientCert || c.config.ClientAuth == RequireAndVerifyClientCert
1334 if needClientCerts && !sessionHasClientCerts {
1335 return false
1336 }
1337 if sessionHasClientCerts && c.config.ClientAuth == NoClientCert {
1338 return false
1339 }
1340
1341 return true
1342}
1343
1344func (hs *serverHandshakeState) doResumeHandshake() error {
1345 c := hs.c
1346
1347 hs.hello.cipherSuite = hs.suite.id
David Benjaminece3de92015-03-16 18:02:20 -04001348 if c.config.Bugs.SendCipherSuite != 0 {
1349 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
1350 }
Adam Langley95c29f32014-06-20 12:00:00 -07001351 // We echo the client's session ID in the ServerHello to let it know
1352 // that we're doing a resumption.
1353 hs.hello.sessionId = hs.clientHello.sessionId
Nick Harperb3d51be2016-07-01 11:43:18 -04001354 hs.hello.extensions.ticketSupported = c.config.Bugs.RenewTicketOnResume
Adam Langley95c29f32014-06-20 12:00:00 -07001355
David Benjamin80d1b352016-05-04 19:19:06 -04001356 if c.config.Bugs.SendSCTListOnResume != nil {
Nick Harperb3d51be2016-07-01 11:43:18 -04001357 hs.hello.extensions.sctList = c.config.Bugs.SendSCTListOnResume
David Benjamin80d1b352016-05-04 19:19:06 -04001358 }
1359
David Benjamindaa88502016-10-04 16:32:16 -04001360 if c.config.Bugs.SendOCSPResponseOnResume != nil {
1361 // There is no way, syntactically, to send an OCSP response on a
1362 // resumption handshake.
1363 hs.hello.extensions.ocspStapling = true
1364 }
1365
Adam Langley95c29f32014-06-20 12:00:00 -07001366 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamine098ec22014-08-27 23:13:20 -04001367 hs.finishedHash.discardHandshakeBuffer()
David Benjamin83c0bc92014-08-04 01:23:53 -04001368 hs.writeClientHash(hs.clientHello.marshal())
1369 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001370
1371 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1372
1373 if len(hs.sessionState.certificates) > 0 {
1374 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
1375 return err
1376 }
1377 }
1378
1379 hs.masterSecret = hs.sessionState.masterSecret
Adam Langley75712922014-10-10 16:23:43 -07001380 c.extendedMasterSecret = hs.sessionState.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001381
1382 return nil
1383}
1384
1385func (hs *serverHandshakeState) doFullHandshake() error {
1386 config := hs.c.config
1387 c := hs.c
1388
David Benjamin48cae082014-10-27 01:06:24 -04001389 isPSK := hs.suite.flags&suitePSK != 0
1390 if !isPSK && hs.clientHello.ocspStapling && len(hs.cert.OCSPStaple) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001391 hs.hello.extensions.ocspStapling = true
Adam Langley95c29f32014-06-20 12:00:00 -07001392 }
1393
David Benjamin61f95272014-11-25 01:55:35 -05001394 if hs.clientHello.sctListSupported && len(hs.cert.SignedCertificateTimestampList) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001395 hs.hello.extensions.sctList = hs.cert.SignedCertificateTimestampList
David Benjamin61f95272014-11-25 01:55:35 -05001396 }
1397
Nick Harperb3d51be2016-07-01 11:43:18 -04001398 hs.hello.extensions.ticketSupported = hs.clientHello.ticketSupported && !config.SessionTicketsDisabled && c.vers > VersionSSL30
Adam Langley95c29f32014-06-20 12:00:00 -07001399 hs.hello.cipherSuite = hs.suite.id
David Benjamin6095de82014-12-27 01:50:38 -05001400 if config.Bugs.SendCipherSuite != 0 {
1401 hs.hello.cipherSuite = config.Bugs.SendCipherSuite
1402 }
Nick Harperb3d51be2016-07-01 11:43:18 -04001403 c.extendedMasterSecret = hs.hello.extensions.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001404
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001405 // Generate a session ID if we're to save the session.
Nick Harperb3d51be2016-07-01 11:43:18 -04001406 if !hs.hello.extensions.ticketSupported && config.ServerSessionCache != nil {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001407 hs.hello.sessionId = make([]byte, 32)
1408 if _, err := io.ReadFull(config.rand(), hs.hello.sessionId); err != nil {
1409 c.sendAlert(alertInternalError)
1410 return errors.New("tls: short read from Rand: " + err.Error())
1411 }
1412 }
1413
Adam Langley95c29f32014-06-20 12:00:00 -07001414 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamin83c0bc92014-08-04 01:23:53 -04001415 hs.writeClientHash(hs.clientHello.marshal())
1416 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001417
David Benjaminabe94e32016-09-04 14:18:58 -04001418 if config.Bugs.SendSNIWarningAlert {
1419 c.SendAlert(alertLevelWarning, alertUnrecognizedName)
1420 }
1421
Adam Langley95c29f32014-06-20 12:00:00 -07001422 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1423
David Benjamin48cae082014-10-27 01:06:24 -04001424 if !isPSK {
1425 certMsg := new(certificateMsg)
David Benjamin8923c0b2015-06-07 11:42:34 -04001426 if !config.Bugs.EmptyCertificateList {
Steven Valdeza833c352016-11-01 13:39:36 -04001427 for _, certData := range hs.cert.Certificate {
1428 certMsg.certificates = append(certMsg.certificates, certificateEntry{
1429 data: certData,
1430 })
1431 }
David Benjamin8923c0b2015-06-07 11:42:34 -04001432 }
David Benjamin48cae082014-10-27 01:06:24 -04001433 if !config.Bugs.UnauthenticatedECDH {
David Benjaminbcb2d912015-02-24 23:45:43 -05001434 certMsgBytes := certMsg.marshal()
David Benjaminbcb2d912015-02-24 23:45:43 -05001435 hs.writeServerHash(certMsgBytes)
1436 c.writeRecord(recordTypeHandshake, certMsgBytes)
David Benjamin48cae082014-10-27 01:06:24 -04001437 }
David Benjamin1c375dd2014-07-12 00:48:23 -04001438 }
Adam Langley95c29f32014-06-20 12:00:00 -07001439
Nick Harperb3d51be2016-07-01 11:43:18 -04001440 if hs.hello.extensions.ocspStapling && !c.config.Bugs.SkipCertificateStatus {
Adam Langley95c29f32014-06-20 12:00:00 -07001441 certStatus := new(certificateStatusMsg)
1442 certStatus.statusType = statusTypeOCSP
1443 certStatus.response = hs.cert.OCSPStaple
David Benjamin83c0bc92014-08-04 01:23:53 -04001444 hs.writeServerHash(certStatus.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001445 c.writeRecord(recordTypeHandshake, certStatus.marshal())
1446 }
1447
1448 keyAgreement := hs.suite.ka(c.vers)
1449 skx, err := keyAgreement.generateServerKeyExchange(config, hs.cert, hs.clientHello, hs.hello)
1450 if err != nil {
1451 c.sendAlert(alertHandshakeFailure)
1452 return err
1453 }
Steven Valdez5440fe02016-07-18 12:40:30 -04001454 if ecdhe, ok := keyAgreement.(*ecdheKeyAgreement); ok {
1455 c.curveID = ecdhe.curveID
1456 }
David Benjamin9c651c92014-07-12 13:27:45 -04001457 if skx != nil && !config.Bugs.SkipServerKeyExchange {
David Benjamin83c0bc92014-08-04 01:23:53 -04001458 hs.writeServerHash(skx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001459 c.writeRecord(recordTypeHandshake, skx.marshal())
1460 }
1461
1462 if config.ClientAuth >= RequestClientCert {
1463 // Request a client certificate
David Benjamin7b030512014-07-08 17:30:11 -04001464 certReq := &certificateRequestMsg{
1465 certificateTypes: config.ClientCertificateTypes,
1466 }
1467 if certReq.certificateTypes == nil {
1468 certReq.certificateTypes = []byte{
1469 byte(CertTypeRSASign),
1470 byte(CertTypeECDSASign),
1471 }
Adam Langley95c29f32014-06-20 12:00:00 -07001472 }
1473 if c.vers >= VersionTLS12 {
Nick Harper60edffd2016-06-21 15:19:24 -07001474 certReq.hasSignatureAlgorithm = true
1475 if !config.Bugs.NoSignatureAlgorithms {
David Benjamin7a41d372016-07-09 11:21:54 -07001476 certReq.signatureAlgorithms = config.verifySignatureAlgorithms()
David Benjamin000800a2014-11-14 01:43:59 -05001477 }
Adam Langley95c29f32014-06-20 12:00:00 -07001478 }
1479
1480 // An empty list of certificateAuthorities signals to
1481 // the client that it may send any certificate in response
1482 // to our request. When we know the CAs we trust, then
1483 // we can send them down, so that the client can choose
1484 // an appropriate certificate to give to us.
1485 if config.ClientCAs != nil {
1486 certReq.certificateAuthorities = config.ClientCAs.Subjects()
1487 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001488 hs.writeServerHash(certReq.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001489 c.writeRecord(recordTypeHandshake, certReq.marshal())
1490 }
1491
1492 helloDone := new(serverHelloDoneMsg)
David Benjamin83c0bc92014-08-04 01:23:53 -04001493 hs.writeServerHash(helloDone.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001494 c.writeRecord(recordTypeHandshake, helloDone.marshal())
David Benjamin582ba042016-07-07 12:33:25 -07001495 c.flushHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -07001496
1497 var pub crypto.PublicKey // public key for client auth, if any
1498
David Benjamin83f90402015-01-27 01:09:43 -05001499 if err := c.simulatePacketLoss(nil); err != nil {
1500 return err
1501 }
Adam Langley95c29f32014-06-20 12:00:00 -07001502 msg, err := c.readHandshake()
1503 if err != nil {
1504 return err
1505 }
1506
1507 var ok bool
1508 // If we requested a client certificate, then the client must send a
1509 // certificate message, even if it's empty.
1510 if config.ClientAuth >= RequestClientCert {
David Benjamin48cae082014-10-27 01:06:24 -04001511 var certMsg *certificateMsg
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001512 var certificates [][]byte
1513 if certMsg, ok = msg.(*certificateMsg); ok {
1514 if c.vers == VersionSSL30 && len(certMsg.certificates) == 0 {
1515 return errors.New("tls: empty certificate message in SSL 3.0")
1516 }
1517
1518 hs.writeClientHash(certMsg.marshal())
Steven Valdeza833c352016-11-01 13:39:36 -04001519 for _, cert := range certMsg.certificates {
1520 certificates = append(certificates, cert.data)
1521 }
David Benjamin053fee92017-01-02 08:30:36 -05001522 } else if c.vers == VersionSSL30 {
1523 // In SSL 3.0, no certificate is signaled by a warning
1524 // alert which we translate to ssl3NoCertificateMsg.
1525 if _, ok := msg.(*ssl3NoCertificateMsg); !ok {
1526 return errors.New("tls: client provided neither a certificate nor no_certificate warning alert")
1527 }
1528 } else {
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001529 // In TLS, the Certificate message is required. In SSL
1530 // 3.0, the peer skips it when sending no certificates.
Adam Langley95c29f32014-06-20 12:00:00 -07001531 c.sendAlert(alertUnexpectedMessage)
1532 return unexpectedMessageError(certMsg, msg)
1533 }
Adam Langley95c29f32014-06-20 12:00:00 -07001534
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001535 if len(certificates) == 0 {
Adam Langley95c29f32014-06-20 12:00:00 -07001536 // The client didn't actually send a certificate
1537 switch config.ClientAuth {
1538 case RequireAnyClientCert, RequireAndVerifyClientCert:
1539 c.sendAlert(alertBadCertificate)
1540 return errors.New("tls: client didn't provide a certificate")
1541 }
1542 }
1543
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001544 pub, err = hs.processCertsFromClient(certificates)
Adam Langley95c29f32014-06-20 12:00:00 -07001545 if err != nil {
1546 return err
1547 }
1548
David Benjamin053fee92017-01-02 08:30:36 -05001549 msg, err = c.readHandshake()
1550 if err != nil {
1551 return err
Adam Langley95c29f32014-06-20 12:00:00 -07001552 }
1553 }
1554
1555 // Get client key exchange
1556 ckx, ok := msg.(*clientKeyExchangeMsg)
1557 if !ok {
1558 c.sendAlert(alertUnexpectedMessage)
1559 return unexpectedMessageError(ckx, msg)
1560 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001561 hs.writeClientHash(ckx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001562
David Benjamine098ec22014-08-27 23:13:20 -04001563 preMasterSecret, err := keyAgreement.processClientKeyExchange(config, hs.cert, ckx, c.vers)
1564 if err != nil {
1565 c.sendAlert(alertHandshakeFailure)
1566 return err
1567 }
Adam Langley75712922014-10-10 16:23:43 -07001568 if c.extendedMasterSecret {
1569 hs.masterSecret = extendedMasterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.finishedHash)
1570 } else {
1571 if c.config.Bugs.RequireExtendedMasterSecret {
1572 return errors.New("tls: extended master secret required but not supported by peer")
1573 }
1574 hs.masterSecret = masterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.clientHello.random, hs.hello.random)
1575 }
David Benjamine098ec22014-08-27 23:13:20 -04001576
Adam Langley95c29f32014-06-20 12:00:00 -07001577 // If we received a client cert in response to our certificate request message,
1578 // the client will send us a certificateVerifyMsg immediately after the
1579 // clientKeyExchangeMsg. This message is a digest of all preceding
1580 // handshake-layer messages that is signed using the private key corresponding
1581 // to the client's certificate. This allows us to verify that the client is in
1582 // possession of the private key of the certificate.
1583 if len(c.peerCertificates) > 0 {
1584 msg, err = c.readHandshake()
1585 if err != nil {
1586 return err
1587 }
1588 certVerify, ok := msg.(*certificateVerifyMsg)
1589 if !ok {
1590 c.sendAlert(alertUnexpectedMessage)
1591 return unexpectedMessageError(certVerify, msg)
1592 }
1593
David Benjaminde620d92014-07-18 15:03:41 -04001594 // Determine the signature type.
Nick Harper60edffd2016-06-21 15:19:24 -07001595 var sigAlg signatureAlgorithm
1596 if certVerify.hasSignatureAlgorithm {
1597 sigAlg = certVerify.signatureAlgorithm
Nick Harper60edffd2016-06-21 15:19:24 -07001598 c.peerSignatureAlgorithm = sigAlg
David Benjaminde620d92014-07-18 15:03:41 -04001599 }
1600
Nick Harper60edffd2016-06-21 15:19:24 -07001601 if c.vers > VersionSSL30 {
David Benjamin1fb125c2016-07-08 18:52:12 -07001602 err = verifyMessage(c.vers, pub, c.config, sigAlg, hs.finishedHash.buffer, certVerify.signature)
Nick Harper60edffd2016-06-21 15:19:24 -07001603 } else {
1604 // SSL 3.0's client certificate construction is
1605 // incompatible with signatureAlgorithm.
1606 rsaPub, ok := pub.(*rsa.PublicKey)
1607 if !ok {
1608 err = errors.New("unsupported key type for client certificate")
1609 } else {
1610 digest := hs.finishedHash.hashForClientCertificateSSL3(hs.masterSecret)
1611 err = rsa.VerifyPKCS1v15(rsaPub, crypto.MD5SHA1, digest, certVerify.signature)
David Benjaminde620d92014-07-18 15:03:41 -04001612 }
Adam Langley95c29f32014-06-20 12:00:00 -07001613 }
1614 if err != nil {
1615 c.sendAlert(alertBadCertificate)
1616 return errors.New("could not validate signature of connection nonces: " + err.Error())
1617 }
1618
David Benjamin83c0bc92014-08-04 01:23:53 -04001619 hs.writeClientHash(certVerify.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001620 }
1621
David Benjamine098ec22014-08-27 23:13:20 -04001622 hs.finishedHash.discardHandshakeBuffer()
Adam Langley95c29f32014-06-20 12:00:00 -07001623
1624 return nil
1625}
1626
1627func (hs *serverHandshakeState) establishKeys() error {
1628 c := hs.c
1629
1630 clientMAC, serverMAC, clientKey, serverKey, clientIV, serverIV :=
Nick Harper1fd39d82016-06-14 18:14:35 -07001631 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 -07001632
1633 var clientCipher, serverCipher interface{}
1634 var clientHash, serverHash macFunction
1635
1636 if hs.suite.aead == nil {
1637 clientCipher = hs.suite.cipher(clientKey, clientIV, true /* for reading */)
1638 clientHash = hs.suite.mac(c.vers, clientMAC)
1639 serverCipher = hs.suite.cipher(serverKey, serverIV, false /* not for reading */)
1640 serverHash = hs.suite.mac(c.vers, serverMAC)
1641 } else {
Nick Harper1fd39d82016-06-14 18:14:35 -07001642 clientCipher = hs.suite.aead(c.vers, clientKey, clientIV)
1643 serverCipher = hs.suite.aead(c.vers, serverKey, serverIV)
Adam Langley95c29f32014-06-20 12:00:00 -07001644 }
1645
1646 c.in.prepareCipherSpec(c.vers, clientCipher, clientHash)
1647 c.out.prepareCipherSpec(c.vers, serverCipher, serverHash)
1648
1649 return nil
1650}
1651
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001652func (hs *serverHandshakeState) readFinished(out []byte, isResume bool) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001653 c := hs.c
1654
1655 c.readRecord(recordTypeChangeCipherSpec)
1656 if err := c.in.error(); err != nil {
1657 return err
1658 }
1659
Nick Harperb3d51be2016-07-01 11:43:18 -04001660 if hs.hello.extensions.nextProtoNeg {
Adam Langley95c29f32014-06-20 12:00:00 -07001661 msg, err := c.readHandshake()
1662 if err != nil {
1663 return err
1664 }
1665 nextProto, ok := msg.(*nextProtoMsg)
1666 if !ok {
1667 c.sendAlert(alertUnexpectedMessage)
1668 return unexpectedMessageError(nextProto, msg)
1669 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001670 hs.writeClientHash(nextProto.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001671 c.clientProtocol = nextProto.proto
1672 }
1673
Nick Harperb3d51be2016-07-01 11:43:18 -04001674 if hs.hello.extensions.channelIDRequested {
David Benjamind30a9902014-08-24 01:44:23 -04001675 msg, err := c.readHandshake()
1676 if err != nil {
1677 return err
1678 }
David Benjamin24599a82016-06-30 18:56:53 -04001679 channelIDMsg, ok := msg.(*channelIDMsg)
David Benjamind30a9902014-08-24 01:44:23 -04001680 if !ok {
1681 c.sendAlert(alertUnexpectedMessage)
David Benjamin24599a82016-06-30 18:56:53 -04001682 return unexpectedMessageError(channelIDMsg, msg)
David Benjamind30a9902014-08-24 01:44:23 -04001683 }
David Benjamind30a9902014-08-24 01:44:23 -04001684 var resumeHash []byte
1685 if isResume {
1686 resumeHash = hs.sessionState.handshakeHash
1687 }
Nick Harper60a85cb2016-09-23 16:25:11 -07001688 channelID, err := verifyChannelIDMessage(channelIDMsg, hs.finishedHash.hashForChannelID(resumeHash))
1689 if err != nil {
1690 return err
David Benjamind30a9902014-08-24 01:44:23 -04001691 }
1692 c.channelID = channelID
1693
David Benjamin24599a82016-06-30 18:56:53 -04001694 hs.writeClientHash(channelIDMsg.marshal())
David Benjamind30a9902014-08-24 01:44:23 -04001695 }
1696
Adam Langley95c29f32014-06-20 12:00:00 -07001697 msg, err := c.readHandshake()
1698 if err != nil {
1699 return err
1700 }
1701 clientFinished, ok := msg.(*finishedMsg)
1702 if !ok {
1703 c.sendAlert(alertUnexpectedMessage)
1704 return unexpectedMessageError(clientFinished, msg)
1705 }
1706
1707 verify := hs.finishedHash.clientSum(hs.masterSecret)
1708 if len(verify) != len(clientFinished.verifyData) ||
1709 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
1710 c.sendAlert(alertHandshakeFailure)
1711 return errors.New("tls: client's Finished message is incorrect")
1712 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001713 c.clientVerify = append(c.clientVerify[:0], clientFinished.verifyData...)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001714 copy(out, clientFinished.verifyData)
Adam Langley95c29f32014-06-20 12:00:00 -07001715
David Benjamin83c0bc92014-08-04 01:23:53 -04001716 hs.writeClientHash(clientFinished.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001717 return nil
1718}
1719
1720func (hs *serverHandshakeState) sendSessionTicket() error {
Adam Langley95c29f32014-06-20 12:00:00 -07001721 c := hs.c
Adam Langley95c29f32014-06-20 12:00:00 -07001722 state := sessionState{
David Benjamind30a9902014-08-24 01:44:23 -04001723 vers: c.vers,
1724 cipherSuite: hs.suite.id,
1725 masterSecret: hs.masterSecret,
1726 certificates: hs.certsFromClient,
Nick Harperc9846112016-10-17 15:05:35 -07001727 handshakeHash: hs.finishedHash.Sum(),
Adam Langley95c29f32014-06-20 12:00:00 -07001728 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001729
Nick Harperb3d51be2016-07-01 11:43:18 -04001730 if !hs.hello.extensions.ticketSupported || hs.c.config.Bugs.SkipNewSessionTicket {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001731 if c.config.ServerSessionCache != nil && len(hs.hello.sessionId) != 0 {
1732 c.config.ServerSessionCache.Put(string(hs.hello.sessionId), &state)
1733 }
1734 return nil
1735 }
1736
1737 m := new(newSessionTicketMsg)
David Benjamin17b30832017-01-28 14:00:32 -05001738 if c.config.Bugs.SendTicketLifetime != 0 {
1739 m.ticketLifetime = uint32(c.config.Bugs.SendTicketLifetime / time.Second)
1740 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001741
David Benjamindd6fed92015-10-23 17:41:12 -04001742 if !c.config.Bugs.SendEmptySessionTicket {
1743 var err error
1744 m.ticket, err = c.encryptTicket(&state)
1745 if err != nil {
1746 return err
1747 }
Adam Langley95c29f32014-06-20 12:00:00 -07001748 }
Adam Langley95c29f32014-06-20 12:00:00 -07001749
David Benjamin83c0bc92014-08-04 01:23:53 -04001750 hs.writeServerHash(m.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001751 c.writeRecord(recordTypeHandshake, m.marshal())
1752
1753 return nil
1754}
1755
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001756func (hs *serverHandshakeState) sendFinished(out []byte) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001757 c := hs.c
1758
David Benjamin86271ee2014-07-21 16:14:03 -04001759 finished := new(finishedMsg)
1760 finished.verifyData = hs.finishedHash.serverSum(hs.masterSecret)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001761 copy(out, finished.verifyData)
David Benjamin513f0ea2015-04-02 19:33:31 -04001762 if c.config.Bugs.BadFinished {
1763 finished.verifyData[0]++
1764 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001765 c.serverVerify = append(c.serverVerify[:0], finished.verifyData...)
David Benjamin83f90402015-01-27 01:09:43 -05001766 hs.finishedBytes = finished.marshal()
1767 hs.writeServerHash(hs.finishedBytes)
1768 postCCSBytes := hs.finishedBytes
David Benjamin86271ee2014-07-21 16:14:03 -04001769
1770 if c.config.Bugs.FragmentAcrossChangeCipherSpec {
1771 c.writeRecord(recordTypeHandshake, postCCSBytes[:5])
1772 postCCSBytes = postCCSBytes[5:]
David Benjamin61672812016-07-14 23:10:43 -04001773 } else if c.config.Bugs.SendUnencryptedFinished {
1774 c.writeRecord(recordTypeHandshake, postCCSBytes)
1775 postCCSBytes = nil
David Benjamin86271ee2014-07-21 16:14:03 -04001776 }
David Benjamin582ba042016-07-07 12:33:25 -07001777 c.flushHandshake()
David Benjamin86271ee2014-07-21 16:14:03 -04001778
David Benjamina0e52232014-07-19 17:39:58 -04001779 if !c.config.Bugs.SkipChangeCipherSpec {
David Benjamin8411b242015-11-26 12:07:28 -05001780 ccs := []byte{1}
1781 if c.config.Bugs.BadChangeCipherSpec != nil {
1782 ccs = c.config.Bugs.BadChangeCipherSpec
1783 }
1784 c.writeRecord(recordTypeChangeCipherSpec, ccs)
David Benjamina0e52232014-07-19 17:39:58 -04001785 }
Adam Langley95c29f32014-06-20 12:00:00 -07001786
David Benjamin4189bd92015-01-25 23:52:39 -05001787 if c.config.Bugs.AppDataAfterChangeCipherSpec != nil {
1788 c.writeRecord(recordTypeApplicationData, c.config.Bugs.AppDataAfterChangeCipherSpec)
1789 }
David Benjamindc3da932015-03-12 15:09:02 -04001790 if c.config.Bugs.AlertAfterChangeCipherSpec != 0 {
1791 c.sendAlert(c.config.Bugs.AlertAfterChangeCipherSpec)
1792 return errors.New("tls: simulating post-CCS alert")
1793 }
David Benjamin4189bd92015-01-25 23:52:39 -05001794
David Benjamin61672812016-07-14 23:10:43 -04001795 if !c.config.Bugs.SkipFinished && len(postCCSBytes) > 0 {
David Benjaminb80168e2015-02-08 18:30:14 -05001796 c.writeRecord(recordTypeHandshake, postCCSBytes)
David Benjamin02edcd02016-07-27 17:40:37 -04001797 if c.config.Bugs.SendExtraFinished {
1798 c.writeRecord(recordTypeHandshake, finished.marshal())
1799 }
1800
David Benjamin12d2c482016-07-24 10:56:51 -04001801 if !c.config.Bugs.PackHelloRequestWithFinished {
1802 // Defer flushing until renegotiation.
1803 c.flushHandshake()
1804 }
David Benjaminb3774b92015-01-31 17:16:01 -05001805 }
Adam Langley95c29f32014-06-20 12:00:00 -07001806
David Benjaminc565ebb2015-04-03 04:06:36 -04001807 c.cipherSuite = hs.suite
Adam Langley95c29f32014-06-20 12:00:00 -07001808
1809 return nil
1810}
1811
1812// processCertsFromClient takes a chain of client certificates either from a
1813// Certificates message or from a sessionState and verifies them. It returns
1814// the public key of the leaf certificate.
1815func (hs *serverHandshakeState) processCertsFromClient(certificates [][]byte) (crypto.PublicKey, error) {
1816 c := hs.c
1817
1818 hs.certsFromClient = certificates
1819 certs := make([]*x509.Certificate, len(certificates))
1820 var err error
1821 for i, asn1Data := range certificates {
1822 if certs[i], err = x509.ParseCertificate(asn1Data); err != nil {
1823 c.sendAlert(alertBadCertificate)
1824 return nil, errors.New("tls: failed to parse client certificate: " + err.Error())
1825 }
1826 }
1827
1828 if c.config.ClientAuth >= VerifyClientCertIfGiven && len(certs) > 0 {
1829 opts := x509.VerifyOptions{
1830 Roots: c.config.ClientCAs,
1831 CurrentTime: c.config.time(),
1832 Intermediates: x509.NewCertPool(),
1833 KeyUsages: []x509.ExtKeyUsage{x509.ExtKeyUsageClientAuth},
1834 }
1835
1836 for _, cert := range certs[1:] {
1837 opts.Intermediates.AddCert(cert)
1838 }
1839
1840 chains, err := certs[0].Verify(opts)
1841 if err != nil {
1842 c.sendAlert(alertBadCertificate)
1843 return nil, errors.New("tls: failed to verify client's certificate: " + err.Error())
1844 }
1845
1846 ok := false
1847 for _, ku := range certs[0].ExtKeyUsage {
1848 if ku == x509.ExtKeyUsageClientAuth {
1849 ok = true
1850 break
1851 }
1852 }
1853 if !ok {
1854 c.sendAlert(alertHandshakeFailure)
1855 return nil, errors.New("tls: client's certificate's extended key usage doesn't permit it to be used for client authentication")
1856 }
1857
1858 c.verifiedChains = chains
1859 }
1860
1861 if len(certs) > 0 {
1862 var pub crypto.PublicKey
1863 switch key := certs[0].PublicKey.(type) {
1864 case *ecdsa.PublicKey, *rsa.PublicKey:
1865 pub = key
1866 default:
1867 c.sendAlert(alertUnsupportedCertificate)
1868 return nil, fmt.Errorf("tls: client's certificate contains an unsupported public key of type %T", certs[0].PublicKey)
1869 }
1870 c.peerCertificates = certs
1871 return pub, nil
1872 }
1873
1874 return nil, nil
1875}
1876
Nick Harper60a85cb2016-09-23 16:25:11 -07001877func verifyChannelIDMessage(channelIDMsg *channelIDMsg, channelIDHash []byte) (*ecdsa.PublicKey, error) {
1878 x := new(big.Int).SetBytes(channelIDMsg.channelID[0:32])
1879 y := new(big.Int).SetBytes(channelIDMsg.channelID[32:64])
1880 r := new(big.Int).SetBytes(channelIDMsg.channelID[64:96])
1881 s := new(big.Int).SetBytes(channelIDMsg.channelID[96:128])
1882 if !elliptic.P256().IsOnCurve(x, y) {
1883 return nil, errors.New("tls: invalid channel ID public key")
1884 }
1885 channelID := &ecdsa.PublicKey{elliptic.P256(), x, y}
1886 if !ecdsa.Verify(channelID, channelIDHash, r, s) {
1887 return nil, errors.New("tls: invalid channel ID signature")
1888 }
1889 return channelID, nil
1890}
1891
David Benjamin83c0bc92014-08-04 01:23:53 -04001892func (hs *serverHandshakeState) writeServerHash(msg []byte) {
1893 // writeServerHash is called before writeRecord.
1894 hs.writeHash(msg, hs.c.sendHandshakeSeq)
1895}
1896
1897func (hs *serverHandshakeState) writeClientHash(msg []byte) {
1898 // writeClientHash is called after readHandshake.
1899 hs.writeHash(msg, hs.c.recvHandshakeSeq-1)
1900}
1901
1902func (hs *serverHandshakeState) writeHash(msg []byte, seqno uint16) {
1903 if hs.c.isDTLS {
1904 // This is somewhat hacky. DTLS hashes a slightly different format.
1905 // First, the TLS header.
1906 hs.finishedHash.Write(msg[:4])
1907 // Then the sequence number and reassembled fragment offset (always 0).
1908 hs.finishedHash.Write([]byte{byte(seqno >> 8), byte(seqno), 0, 0, 0})
1909 // Then the reassembled fragment (always equal to the message length).
1910 hs.finishedHash.Write(msg[1:4])
1911 // And then the message body.
1912 hs.finishedHash.Write(msg[4:])
1913 } else {
1914 hs.finishedHash.Write(msg)
1915 }
1916}
1917
Adam Langley95c29f32014-06-20 12:00:00 -07001918// tryCipherSuite returns a cipherSuite with the given id if that cipher suite
1919// is acceptable to use.
Steven Valdez803c77a2016-09-06 14:13:43 -04001920func (c *Conn) tryCipherSuite(id uint16, supportedCipherSuites []uint16, version uint16, ellipticOk, ecdsaOk bool) *cipherSuite {
Adam Langley95c29f32014-06-20 12:00:00 -07001921 for _, supported := range supportedCipherSuites {
1922 if id == supported {
1923 var candidate *cipherSuite
1924
1925 for _, s := range cipherSuites {
1926 if s.id == id {
1927 candidate = s
1928 break
1929 }
1930 }
1931 if candidate == nil {
1932 continue
1933 }
Steven Valdez803c77a2016-09-06 14:13:43 -04001934
Adam Langley95c29f32014-06-20 12:00:00 -07001935 // Don't select a ciphersuite which we can't
1936 // support for this client.
Steven Valdez803c77a2016-09-06 14:13:43 -04001937 if version >= VersionTLS13 || candidate.flags&suiteTLS13 != 0 {
1938 if version < VersionTLS13 || candidate.flags&suiteTLS13 == 0 {
1939 continue
1940 }
1941 return candidate
David Benjamin5ecb88b2016-10-04 17:51:35 -04001942 }
1943 if (candidate.flags&suiteECDHE != 0) && !ellipticOk {
1944 continue
1945 }
1946 if (candidate.flags&suiteECDSA != 0) != ecdsaOk {
1947 continue
1948 }
1949 if version < VersionTLS12 && candidate.flags&suiteTLS12 != 0 {
1950 continue
1951 }
David Benjamin5ecb88b2016-10-04 17:51:35 -04001952 if c.isDTLS && candidate.flags&suiteNoDTLS != 0 {
1953 continue
David Benjamin83c0bc92014-08-04 01:23:53 -04001954 }
Adam Langley95c29f32014-06-20 12:00:00 -07001955 return candidate
1956 }
1957 }
1958
1959 return nil
1960}
David Benjaminf93995b2015-11-05 18:23:20 -05001961
1962func isTLS12Cipher(id uint16) bool {
1963 for _, cipher := range cipherSuites {
1964 if cipher.id != id {
1965 continue
1966 }
1967 return cipher.flags&suiteTLS12 != 0
1968 }
1969 // Unknown cipher.
1970 return false
1971}
David Benjamin65ac9972016-09-02 21:35:25 -04001972
1973func isGREASEValue(val uint16) bool {
David Benjamin3c6a1ea2016-09-26 18:30:05 -04001974 return val&0x0f0f == 0x0a0a && val&0xff == val>>8
David Benjamin65ac9972016-09-02 21:35:25 -04001975}
Steven Valdeza833c352016-11-01 13:39:36 -04001976
1977func verifyPSKBinder(clientHello *clientHelloMsg, sessionState *sessionState, binderToVerify, transcript []byte) error {
1978 binderLen := 2
1979 for _, binder := range clientHello.pskBinders {
1980 binderLen += 1 + len(binder)
1981 }
1982
1983 truncatedHello := clientHello.marshal()
1984 truncatedHello = truncatedHello[:len(truncatedHello)-binderLen]
1985 pskCipherSuite := cipherSuiteFromID(sessionState.cipherSuite)
1986 if pskCipherSuite == nil {
1987 return errors.New("tls: Unknown cipher suite for PSK in session")
1988 }
1989
1990 binder := computePSKBinder(sessionState.masterSecret, resumptionPSKBinderLabel, pskCipherSuite, transcript, truncatedHello)
1991 if !bytes.Equal(binder, binderToVerify) {
1992 return errors.New("tls: PSK binder does not verify")
1993 }
1994
1995 return nil
1996}