blob: 3a182ecf09c74e5dcc06397b99e39ebc61705b8e [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"
David Benjamind768c5d2017-03-28 18:28:44 -050020
21 "./ed25519"
Adam Langley95c29f32014-06-20 12:00:00 -070022)
23
24// serverHandshakeState contains details of a server handshake in progress.
25// It's discarded once the handshake has completed.
26type serverHandshakeState struct {
27 c *Conn
28 clientHello *clientHelloMsg
29 hello *serverHelloMsg
30 suite *cipherSuite
31 ellipticOk bool
32 ecdsaOk bool
33 sessionState *sessionState
34 finishedHash finishedHash
35 masterSecret []byte
36 certsFromClient [][]byte
37 cert *Certificate
David Benjamin83f90402015-01-27 01:09:43 -050038 finishedBytes []byte
Adam Langley95c29f32014-06-20 12:00:00 -070039}
40
41// serverHandshake performs a TLS handshake as a server.
42func (c *Conn) serverHandshake() error {
43 config := c.config
44
45 // If this is the first server handshake, we generate a random key to
46 // encrypt the tickets with.
47 config.serverInitOnce.Do(config.serverInit)
48
David Benjamin83c0bc92014-08-04 01:23:53 -040049 c.sendHandshakeSeq = 0
50 c.recvHandshakeSeq = 0
51
Adam Langley95c29f32014-06-20 12:00:00 -070052 hs := serverHandshakeState{
53 c: c,
54 }
David Benjaminf25dda92016-07-04 10:05:26 -070055 if err := hs.readClientHello(); err != nil {
56 return err
57 }
Adam Langley95c29f32014-06-20 12:00:00 -070058
David Benjamin8d315d72016-07-18 01:03:18 +020059 if c.vers >= VersionTLS13 {
Nick Harper728eed82016-07-07 17:36:52 -070060 if err := hs.doTLS13Handshake(); err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -070061 return err
62 }
Nick Harper728eed82016-07-07 17:36:52 -070063 } else {
64 isResume, err := hs.processClientHello()
65 if err != nil {
Adam Langley95c29f32014-06-20 12:00:00 -070066 return err
67 }
Nick Harper728eed82016-07-07 17:36:52 -070068
69 // For an overview of TLS handshaking, see https://tools.ietf.org/html/rfc5246#section-7.3
70 if isResume {
71 // The client has included a session ticket and so we do an abbreviated handshake.
72 if err := hs.doResumeHandshake(); err != nil {
73 return err
74 }
75 if err := hs.establishKeys(); err != nil {
76 return err
77 }
78 if c.config.Bugs.RenewTicketOnResume {
79 if err := hs.sendSessionTicket(); err != nil {
80 return err
81 }
82 }
83 if err := hs.sendFinished(c.firstFinished[:]); err != nil {
84 return err
85 }
86 // Most retransmits are triggered by a timeout, but the final
87 // leg of the handshake is retransmited upon re-receiving a
88 // Finished.
89 if err := c.simulatePacketLoss(func() {
David Benjamin02edcd02016-07-27 17:40:37 -040090 c.sendHandshakeSeq--
Nick Harper728eed82016-07-07 17:36:52 -070091 c.writeRecord(recordTypeHandshake, hs.finishedBytes)
92 c.flushHandshake()
93 }); err != nil {
94 return err
95 }
96 if err := hs.readFinished(nil, isResume); err != nil {
97 return err
98 }
99 c.didResume = true
100 } else {
101 // The client didn't include a session ticket, or it wasn't
102 // valid so we do a full handshake.
103 if err := hs.doFullHandshake(); err != nil {
104 return err
105 }
106 if err := hs.establishKeys(); err != nil {
107 return err
108 }
109 if err := hs.readFinished(c.firstFinished[:], isResume); err != nil {
110 return err
111 }
112 if c.config.Bugs.AlertBeforeFalseStartTest != 0 {
113 c.sendAlert(c.config.Bugs.AlertBeforeFalseStartTest)
114 }
115 if c.config.Bugs.ExpectFalseStart {
116 if err := c.readRecord(recordTypeApplicationData); err != nil {
117 return fmt.Errorf("tls: peer did not false start: %s", err)
118 }
119 }
David Benjaminbed9aae2014-08-07 19:13:38 -0400120 if err := hs.sendSessionTicket(); err != nil {
121 return err
122 }
Nick Harper728eed82016-07-07 17:36:52 -0700123 if err := hs.sendFinished(nil); err != nil {
124 return err
David Benjamine58c4f52014-08-24 03:47:07 -0400125 }
126 }
David Benjamin97a0a082016-07-13 17:57:35 -0400127
128 c.exporterSecret = hs.masterSecret
Adam Langley95c29f32014-06-20 12:00:00 -0700129 }
130 c.handshakeComplete = true
David Benjaminc565ebb2015-04-03 04:06:36 -0400131 copy(c.clientRandom[:], hs.clientHello.random)
132 copy(c.serverRandom[:], hs.hello.random)
Adam Langley95c29f32014-06-20 12:00:00 -0700133
134 return nil
135}
136
David Benjaminf25dda92016-07-04 10:05:26 -0700137// readClientHello reads a ClientHello message from the client and determines
138// the protocol version.
139func (hs *serverHandshakeState) readClientHello() error {
Adam Langley95c29f32014-06-20 12:00:00 -0700140 config := hs.c.config
141 c := hs.c
142
David Benjamin83f90402015-01-27 01:09:43 -0500143 if err := c.simulatePacketLoss(nil); err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700144 return err
David Benjamin83f90402015-01-27 01:09:43 -0500145 }
Adam Langley95c29f32014-06-20 12:00:00 -0700146 msg, err := c.readHandshake()
147 if err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700148 return err
Adam Langley95c29f32014-06-20 12:00:00 -0700149 }
150 var ok bool
151 hs.clientHello, ok = msg.(*clientHelloMsg)
152 if !ok {
153 c.sendAlert(alertUnexpectedMessage)
David Benjaminf25dda92016-07-04 10:05:26 -0700154 return unexpectedMessageError(hs.clientHello, msg)
Adam Langley95c29f32014-06-20 12:00:00 -0700155 }
Adam Langley33ad2b52015-07-20 17:43:53 -0700156 if size := config.Bugs.RequireClientHelloSize; size != 0 && len(hs.clientHello.raw) != size {
David Benjaminf25dda92016-07-04 10:05:26 -0700157 return fmt.Errorf("tls: ClientHello record size is %d, but expected %d", len(hs.clientHello.raw), size)
Feng Lu41aa3252014-11-21 22:47:56 -0800158 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400159
160 if c.isDTLS && !config.Bugs.SkipHelloVerifyRequest {
David Benjamin8bc38f52014-08-16 12:07:27 -0400161 // Per RFC 6347, the version field in HelloVerifyRequest SHOULD
162 // be always DTLS 1.0
David Benjamin83c0bc92014-08-04 01:23:53 -0400163 helloVerifyRequest := &helloVerifyRequestMsg{
David Benjaminda4789e2016-10-31 19:23:34 -0400164 vers: versionToWire(VersionTLS10, c.isDTLS),
David Benjamin83c0bc92014-08-04 01:23:53 -0400165 cookie: make([]byte, 32),
166 }
167 if _, err := io.ReadFull(c.config.rand(), helloVerifyRequest.cookie); err != nil {
168 c.sendAlert(alertInternalError)
David Benjaminf25dda92016-07-04 10:05:26 -0700169 return errors.New("dtls: short read from Rand: " + err.Error())
David Benjamin83c0bc92014-08-04 01:23:53 -0400170 }
171 c.writeRecord(recordTypeHandshake, helloVerifyRequest.marshal())
David Benjamin582ba042016-07-07 12:33:25 -0700172 c.flushHandshake()
David Benjamin83c0bc92014-08-04 01:23:53 -0400173
David Benjamin83f90402015-01-27 01:09:43 -0500174 if err := c.simulatePacketLoss(nil); err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700175 return err
David Benjamin83f90402015-01-27 01:09:43 -0500176 }
David Benjamin83c0bc92014-08-04 01:23:53 -0400177 msg, err := c.readHandshake()
178 if err != nil {
David Benjaminf25dda92016-07-04 10:05:26 -0700179 return err
David Benjamin83c0bc92014-08-04 01:23:53 -0400180 }
181 newClientHello, ok := msg.(*clientHelloMsg)
182 if !ok {
183 c.sendAlert(alertUnexpectedMessage)
David Benjaminf25dda92016-07-04 10:05:26 -0700184 return unexpectedMessageError(hs.clientHello, msg)
David Benjamin83c0bc92014-08-04 01:23:53 -0400185 }
186 if !bytes.Equal(newClientHello.cookie, helloVerifyRequest.cookie) {
David Benjaminf25dda92016-07-04 10:05:26 -0700187 return errors.New("dtls: invalid cookie")
David Benjamin83c0bc92014-08-04 01:23:53 -0400188 }
David Benjaminf2fedef2014-08-16 01:37:34 -0400189
190 // Apart from the cookie, the two ClientHellos must
191 // match. Note that clientHello.equal compares the
192 // serialization, so we make a copy.
193 oldClientHelloCopy := *hs.clientHello
194 oldClientHelloCopy.raw = nil
195 oldClientHelloCopy.cookie = nil
196 newClientHelloCopy := *newClientHello
197 newClientHelloCopy.raw = nil
198 newClientHelloCopy.cookie = nil
199 if !oldClientHelloCopy.equal(&newClientHelloCopy) {
David Benjaminf25dda92016-07-04 10:05:26 -0700200 return errors.New("dtls: retransmitted ClientHello does not match")
David Benjamin83c0bc92014-08-04 01:23:53 -0400201 }
202 hs.clientHello = newClientHello
203 }
204
David Benjaminc44b1df2014-11-23 12:11:01 -0500205 if config.Bugs.RequireSameRenegoClientVersion && c.clientVersion != 0 {
206 if c.clientVersion != hs.clientHello.vers {
David Benjaminf25dda92016-07-04 10:05:26 -0700207 return fmt.Errorf("tls: client offered different version on renego")
David Benjaminc44b1df2014-11-23 12:11:01 -0500208 }
209 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400210
David Benjaminc44b1df2014-11-23 12:11:01 -0500211 c.clientVersion = hs.clientHello.vers
Steven Valdezfdd10992016-09-15 16:27:05 -0400212
213 // Convert the ClientHello wire version to a protocol version.
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400214 var clientVersion uint16
215 if c.isDTLS {
216 if hs.clientHello.vers <= 0xfefd {
217 clientVersion = VersionTLS12
218 } else if hs.clientHello.vers <= 0xfeff {
219 clientVersion = VersionTLS10
220 }
221 } else {
Steven Valdezfdd10992016-09-15 16:27:05 -0400222 if hs.clientHello.vers >= VersionTLS12 {
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400223 clientVersion = VersionTLS12
224 } else if hs.clientHello.vers >= VersionTLS11 {
225 clientVersion = VersionTLS11
226 } else if hs.clientHello.vers >= VersionTLS10 {
227 clientVersion = VersionTLS10
228 } else if hs.clientHello.vers >= VersionSSL30 {
229 clientVersion = VersionSSL30
230 }
231 }
232
233 if config.Bugs.NegotiateVersion != 0 {
234 c.vers = config.Bugs.NegotiateVersion
235 } else if c.haveVers && config.Bugs.NegotiateVersionOnRenego != 0 {
236 c.vers = config.Bugs.NegotiateVersionOnRenego
Steven Valdezfdd10992016-09-15 16:27:05 -0400237 } else if len(hs.clientHello.supportedVersions) > 0 {
238 // Use the versions extension if supplied.
David Benjamind9791bf2016-09-27 16:39:52 -0400239 var foundVersion, foundGREASE bool
Steven Valdezfdd10992016-09-15 16:27:05 -0400240 for _, extVersion := range hs.clientHello.supportedVersions {
David Benjamind9791bf2016-09-27 16:39:52 -0400241 if isGREASEValue(extVersion) {
242 foundGREASE = true
243 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400244 extVersion, ok = wireToVersion(extVersion, c.isDTLS)
245 if !ok {
246 continue
247 }
David Benjamind9791bf2016-09-27 16:39:52 -0400248 if config.isSupportedVersion(extVersion, c.isDTLS) && !foundVersion {
Steven Valdezfdd10992016-09-15 16:27:05 -0400249 c.vers = extVersion
250 foundVersion = true
251 break
252 }
253 }
254 if !foundVersion {
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400255 c.sendAlert(alertProtocolVersion)
Steven Valdezfdd10992016-09-15 16:27:05 -0400256 return errors.New("tls: client did not offer any supported protocol versions")
257 }
David Benjamind9791bf2016-09-27 16:39:52 -0400258 if config.Bugs.ExpectGREASE && !foundGREASE {
259 return errors.New("tls: no GREASE version value found")
260 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400261 } else {
262 // Otherwise, use the legacy ClientHello version.
263 version := clientVersion
264 if maxVersion := config.maxVersion(c.isDTLS); version > maxVersion {
265 version = maxVersion
266 }
267 if version == 0 || !config.isSupportedVersion(version, c.isDTLS) {
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400268 return fmt.Errorf("tls: client offered an unsupported, maximum protocol version of %x", hs.clientHello.vers)
269 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400270 c.vers = version
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400271 }
272 c.haveVers = true
David Benjaminc44b1df2014-11-23 12:11:01 -0500273
David Benjamin6ae7f072015-01-26 10:22:13 -0500274 // Reject < 1.2 ClientHellos with signature_algorithms.
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400275 if clientVersion < VersionTLS12 && len(hs.clientHello.signatureAlgorithms) > 0 {
David Benjaminf25dda92016-07-04 10:05:26 -0700276 return fmt.Errorf("tls: client included signature_algorithms before TLS 1.2")
David Benjamin72dc7832015-03-16 17:49:43 -0400277 }
David Benjamin6ae7f072015-01-26 10:22:13 -0500278
David Benjaminf93995b2015-11-05 18:23:20 -0500279 // Check the client cipher list is consistent with the version.
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400280 if clientVersion < VersionTLS12 {
David Benjaminf93995b2015-11-05 18:23:20 -0500281 for _, id := range hs.clientHello.cipherSuites {
282 if isTLS12Cipher(id) {
David Benjaminf25dda92016-07-04 10:05:26 -0700283 return fmt.Errorf("tls: client offered TLS 1.2 cipher before TLS 1.2")
David Benjaminf93995b2015-11-05 18:23:20 -0500284 }
285 }
286 }
287
David Benjamin405da482016-08-08 17:25:07 -0400288 if config.Bugs.ExpectNoTLS12Session {
289 if len(hs.clientHello.sessionId) > 0 {
290 return fmt.Errorf("tls: client offered an unexpected session ID")
291 }
292 if len(hs.clientHello.sessionTicket) > 0 {
293 return fmt.Errorf("tls: client offered an unexpected session ticket")
294 }
295 }
296
297 if config.Bugs.ExpectNoTLS13PSK && len(hs.clientHello.pskIdentities) > 0 {
298 return fmt.Errorf("tls: client offered unexpected PSK identities")
299 }
300
David Benjamin65ac9972016-09-02 21:35:25 -0400301 var scsvFound, greaseFound bool
David Benjaminf25dda92016-07-04 10:05:26 -0700302 for _, cipherSuite := range hs.clientHello.cipherSuites {
303 if cipherSuite == fallbackSCSV {
304 scsvFound = true
David Benjamin65ac9972016-09-02 21:35:25 -0400305 }
306 if isGREASEValue(cipherSuite) {
307 greaseFound = true
David Benjaminf25dda92016-07-04 10:05:26 -0700308 }
309 }
310
311 if !scsvFound && config.Bugs.FailIfNotFallbackSCSV {
312 return errors.New("tls: no fallback SCSV found when expected")
313 } else if scsvFound && !config.Bugs.FailIfNotFallbackSCSV {
314 return errors.New("tls: fallback SCSV found when not expected")
315 }
316
David Benjamin65ac9972016-09-02 21:35:25 -0400317 if !greaseFound && config.Bugs.ExpectGREASE {
318 return errors.New("tls: no GREASE cipher suite value found")
319 }
320
321 greaseFound = false
322 for _, curve := range hs.clientHello.supportedCurves {
323 if isGREASEValue(uint16(curve)) {
324 greaseFound = true
325 break
326 }
327 }
328
329 if !greaseFound && config.Bugs.ExpectGREASE {
330 return errors.New("tls: no GREASE curve value found")
331 }
332
333 if len(hs.clientHello.keyShares) > 0 {
334 greaseFound = false
335 for _, keyShare := range hs.clientHello.keyShares {
336 if isGREASEValue(uint16(keyShare.group)) {
337 greaseFound = true
338 break
339 }
340 }
341
342 if !greaseFound && config.Bugs.ExpectGREASE {
343 return errors.New("tls: no GREASE curve value found")
344 }
345 }
346
Adam Langley2070f8a2017-03-10 15:25:14 -0800347 applyBugsToClientHello(hs.clientHello, config)
David Benjaminf25dda92016-07-04 10:05:26 -0700348
349 return nil
350}
351
Adam Langley2070f8a2017-03-10 15:25:14 -0800352func applyBugsToClientHello(clientHello *clientHelloMsg, config *Config) {
353 if config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
354 clientHello.signatureAlgorithms = config.signSignatureAlgorithms()
355 }
356 if config.Bugs.IgnorePeerCurvePreferences {
357 clientHello.supportedCurves = config.curvePreferences()
358 }
359 if config.Bugs.IgnorePeerCipherPreferences {
360 clientHello.cipherSuites = config.cipherSuites()
361 }
362}
363
Nick Harper728eed82016-07-07 17:36:52 -0700364func (hs *serverHandshakeState) doTLS13Handshake() error {
365 c := hs.c
366 config := c.config
367
368 hs.hello = &serverHelloMsg{
David Benjamin490469f2016-10-05 22:44:38 -0400369 isDTLS: c.isDTLS,
370 vers: versionToWire(c.vers, c.isDTLS),
371 versOverride: config.Bugs.SendServerHelloVersion,
372 customExtension: config.Bugs.CustomUnencryptedExtension,
373 unencryptedALPN: config.Bugs.SendUnencryptedALPN,
Steven Valdez5440fe02016-07-18 12:40:30 -0400374 }
375
Nick Harper728eed82016-07-07 17:36:52 -0700376 hs.hello.random = make([]byte, 32)
377 if _, err := io.ReadFull(config.rand(), hs.hello.random); err != nil {
378 c.sendAlert(alertInternalError)
379 return err
380 }
381
382 // TLS 1.3 forbids clients from advertising any non-null compression.
383 if len(hs.clientHello.compressionMethods) != 1 || hs.clientHello.compressionMethods[0] != compressionNone {
384 return errors.New("tls: client sent compression method other than null for TLS 1.3")
385 }
386
387 // Prepare an EncryptedExtensions message, but do not send it yet.
388 encryptedExtensions := new(encryptedExtensionsMsg)
Steven Valdez143e8b32016-07-11 13:19:03 -0400389 encryptedExtensions.empty = config.Bugs.EmptyEncryptedExtensions
Nick Harper728eed82016-07-07 17:36:52 -0700390 if err := hs.processClientExtensions(&encryptedExtensions.extensions); err != nil {
391 return err
392 }
393
David Benjamind0d532f2016-11-16 13:16:13 +0900394 // Select the cipher suite.
395 var preferenceList, supportedList []uint16
396 if config.PreferServerCipherSuites {
397 preferenceList = config.cipherSuites()
398 supportedList = hs.clientHello.cipherSuites
399 } else {
400 preferenceList = hs.clientHello.cipherSuites
401 supportedList = config.cipherSuites()
402 }
403
404 for _, id := range preferenceList {
405 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, true, true); hs.suite != nil {
406 break
407 }
408 }
409
410 if hs.suite == nil {
411 c.sendAlert(alertHandshakeFailure)
412 return errors.New("tls: no cipher suite supported by both client and server")
413 }
414
415 hs.hello.cipherSuite = hs.suite.id
416 if c.config.Bugs.SendCipherSuite != 0 {
417 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
418 }
419
420 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
421 hs.finishedHash.discardHandshakeBuffer()
422 hs.writeClientHash(hs.clientHello.marshal())
423
Nick Harper728eed82016-07-07 17:36:52 -0700424 supportedCurve := false
425 var selectedCurve CurveID
426 preferredCurves := config.curvePreferences()
427Curves:
428 for _, curve := range hs.clientHello.supportedCurves {
429 for _, supported := range preferredCurves {
430 if supported == curve {
431 supportedCurve = true
432 selectedCurve = curve
433 break Curves
434 }
435 }
436 }
437
Steven Valdez803c77a2016-09-06 14:13:43 -0400438 if !supportedCurve {
439 c.sendAlert(alertHandshakeFailure)
440 return errors.New("tls: no curve supported by both client and server")
441 }
Nick Harper728eed82016-07-07 17:36:52 -0700442
David Benjamin405da482016-08-08 17:25:07 -0400443 pskIdentities := hs.clientHello.pskIdentities
Steven Valdeza833c352016-11-01 13:39:36 -0400444 pskKEModes := hs.clientHello.pskKEModes
445
David Benjamin405da482016-08-08 17:25:07 -0400446 if len(pskIdentities) == 0 && len(hs.clientHello.sessionTicket) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -0400447 psk := pskIdentity{
Steven Valdeza833c352016-11-01 13:39:36 -0400448 ticket: hs.clientHello.sessionTicket,
Steven Valdez5b986082016-09-01 12:29:49 -0400449 }
450 pskIdentities = []pskIdentity{psk}
Steven Valdeza833c352016-11-01 13:39:36 -0400451 pskKEModes = []byte{pskDHEKEMode}
David Benjamin405da482016-08-08 17:25:07 -0400452 }
Steven Valdez5b986082016-09-01 12:29:49 -0400453
Steven Valdeza833c352016-11-01 13:39:36 -0400454 var pskIndex int
455 foundKEMode := bytes.IndexByte(pskKEModes, pskDHEKEMode) >= 0
Steven Valdez2d850622017-01-11 11:34:52 -0500456 if foundKEMode && !config.SessionTicketsDisabled {
Steven Valdeza833c352016-11-01 13:39:36 -0400457 for i, pskIdentity := range pskIdentities {
458 // TODO(svaldez): Check the obfuscatedTicketAge before accepting 0-RTT.
459 sessionState, ok := c.decryptTicket(pskIdentity.ticket)
460 if !ok {
David Benjamin405da482016-08-08 17:25:07 -0400461 continue
462 }
David Benjamin405da482016-08-08 17:25:07 -0400463
David Benjamind0d532f2016-11-16 13:16:13 +0900464 if !config.Bugs.AcceptAnySession {
David Benjamin0b8f85e2016-11-16 11:45:34 +0900465 if sessionState.vers != c.vers {
Steven Valdeza833c352016-11-01 13:39:36 -0400466 continue
Steven Valdez803c77a2016-09-06 14:13:43 -0400467 }
Steven Valdeza833c352016-11-01 13:39:36 -0400468 if sessionState.ticketExpiration.Before(c.config.time()) {
469 continue
470 }
David Benjamin2b02f4b2016-11-16 16:11:47 +0900471 sessionCipher := cipherSuiteFromID(sessionState.cipherSuite)
472 if sessionCipher == nil || sessionCipher.hash() != hs.suite.hash() {
Steven Valdeza833c352016-11-01 13:39:36 -0400473 continue
474 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400475 }
Steven Valdeza833c352016-11-01 13:39:36 -0400476
David Benjamin71186e82016-11-16 11:48:17 +0900477 clientTicketAge := time.Duration(uint32(pskIdentity.obfuscatedTicketAge-sessionState.ticketAgeAdd)) * time.Millisecond
478 if config.Bugs.ExpectTicketAge != 0 && clientTicketAge != config.Bugs.ExpectTicketAge {
479 c.sendAlert(alertHandshakeFailure)
480 return errors.New("tls: invalid ticket age")
481 }
482
Steven Valdeza833c352016-11-01 13:39:36 -0400483 hs.sessionState = sessionState
Steven Valdeza833c352016-11-01 13:39:36 -0400484 hs.hello.hasPSKIdentity = true
485 hs.hello.pskIdentity = uint16(i)
486 pskIndex = i
487 if config.Bugs.SelectPSKIdentityOnResume != 0 {
488 hs.hello.pskIdentity = config.Bugs.SelectPSKIdentityOnResume
489 }
490 c.didResume = true
491 break
Nick Harper0b3625b2016-07-25 16:16:28 -0700492 }
Nick Harper728eed82016-07-07 17:36:52 -0700493 }
494
David Benjamin7f78df42016-10-05 22:33:19 -0400495 if config.Bugs.AlwaysSelectPSKIdentity {
496 hs.hello.hasPSKIdentity = true
497 hs.hello.pskIdentity = 0
498 }
499
Steven Valdeza833c352016-11-01 13:39:36 -0400500 // Verify the PSK binder. Note there may not be a PSK binder if
501 // AcceptAnyBinder is set. See https://crbug.com/boringssl/115.
502 if hs.sessionState != nil && !config.Bugs.AcceptAnySession {
503 binderToVerify := hs.clientHello.pskBinders[pskIndex]
504 if err := verifyPSKBinder(hs.clientHello, hs.sessionState, binderToVerify, []byte{}); err != nil {
505 return err
506 }
507 }
508
Nick Harper728eed82016-07-07 17:36:52 -0700509 // Resolve PSK and compute the early secret.
Steven Valdez803c77a2016-09-06 14:13:43 -0400510 if hs.sessionState != nil {
David Benjamin48891ad2016-12-04 00:02:43 -0500511 hs.finishedHash.addEntropy(hs.sessionState.masterSecret)
Nick Harper0b3625b2016-07-25 16:16:28 -0700512 } else {
David Benjamin48891ad2016-12-04 00:02:43 -0500513 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
Nick Harper0b3625b2016-07-25 16:16:28 -0700514 }
Nick Harper728eed82016-07-07 17:36:52 -0700515
Steven Valdez803c77a2016-09-06 14:13:43 -0400516 hs.hello.hasKeyShare = true
517 if hs.sessionState != nil && config.Bugs.NegotiatePSKResumption {
518 hs.hello.hasKeyShare = false
519 }
520 if config.Bugs.MissingKeyShare {
521 hs.hello.hasKeyShare = false
522 }
523
David Benjamin3baa6e12016-10-07 21:10:38 -0400524 firstHelloRetryRequest := true
525
526ResendHelloRetryRequest:
527 var sendHelloRetryRequest bool
528 helloRetryRequest := &helloRetryRequestMsg{
529 vers: versionToWire(c.vers, c.isDTLS),
530 duplicateExtensions: config.Bugs.DuplicateHelloRetryRequestExtensions,
531 }
532
533 if config.Bugs.AlwaysSendHelloRetryRequest {
534 sendHelloRetryRequest = true
535 }
536
537 if config.Bugs.SendHelloRetryRequestCookie != nil {
538 sendHelloRetryRequest = true
539 helloRetryRequest.cookie = config.Bugs.SendHelloRetryRequestCookie
540 }
541
542 if len(config.Bugs.CustomHelloRetryRequestExtension) > 0 {
543 sendHelloRetryRequest = true
544 helloRetryRequest.customExtension = config.Bugs.CustomHelloRetryRequestExtension
545 }
546
547 var selectedKeyShare *keyShareEntry
Steven Valdez803c77a2016-09-06 14:13:43 -0400548 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700549 // Look for the key share corresponding to our selected curve.
Nick Harper728eed82016-07-07 17:36:52 -0700550 for i := range hs.clientHello.keyShares {
551 if hs.clientHello.keyShares[i].group == selectedCurve {
552 selectedKeyShare = &hs.clientHello.keyShares[i]
553 break
554 }
555 }
556
David Benjamine73c7f42016-08-17 00:29:33 -0400557 if config.Bugs.ExpectMissingKeyShare && selectedKeyShare != nil {
558 return errors.New("tls: expected missing key share")
559 }
560
David Benjamin3baa6e12016-10-07 21:10:38 -0400561 if selectedKeyShare == nil {
562 helloRetryRequest.hasSelectedGroup = true
563 helloRetryRequest.selectedGroup = selectedCurve
Steven Valdez5440fe02016-07-18 12:40:30 -0400564 sendHelloRetryRequest = true
565 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400566 }
567
568 if config.Bugs.SendHelloRetryRequestCurve != 0 {
569 helloRetryRequest.hasSelectedGroup = true
570 helloRetryRequest.selectedGroup = config.Bugs.SendHelloRetryRequestCurve
571 sendHelloRetryRequest = true
572 }
573
574 if config.Bugs.SkipHelloRetryRequest {
575 sendHelloRetryRequest = false
576 }
577
578 if sendHelloRetryRequest {
Steven Valdeza833c352016-11-01 13:39:36 -0400579 oldClientHelloBytes := hs.clientHello.marshal()
David Benjamin3baa6e12016-10-07 21:10:38 -0400580 hs.writeServerHash(helloRetryRequest.marshal())
581 c.writeRecord(recordTypeHandshake, helloRetryRequest.marshal())
582 c.flushHandshake()
583
Steven Valdez2d850622017-01-11 11:34:52 -0500584 if hs.clientHello.hasEarlyData {
585 c.skipEarlyData = true
586 }
587
David Benjamin3baa6e12016-10-07 21:10:38 -0400588 // Read new ClientHello.
589 newMsg, err := c.readHandshake()
590 if err != nil {
591 return err
Steven Valdez5440fe02016-07-18 12:40:30 -0400592 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400593 newClientHello, ok := newMsg.(*clientHelloMsg)
594 if !ok {
595 c.sendAlert(alertUnexpectedMessage)
596 return unexpectedMessageError(newClientHello, newMsg)
597 }
598 hs.writeClientHash(newClientHello.marshal())
Nick Harperdcfbc672016-07-16 17:47:31 +0200599
Steven Valdez2d850622017-01-11 11:34:52 -0500600 if newClientHello.hasEarlyData {
601 return errors.New("tls: EarlyData sent in new ClientHello")
602 }
603
Adam Langley2070f8a2017-03-10 15:25:14 -0800604 applyBugsToClientHello(newClientHello, config)
605
David Benjamin3baa6e12016-10-07 21:10:38 -0400606 // Check that the new ClientHello matches the old ClientHello,
607 // except for relevant modifications.
608 //
609 // TODO(davidben): Make this check more precise.
610 oldClientHelloCopy := *hs.clientHello
611 oldClientHelloCopy.raw = nil
612 oldClientHelloCopy.hasEarlyData = false
David Benjamin3baa6e12016-10-07 21:10:38 -0400613 newClientHelloCopy := *newClientHello
614 newClientHelloCopy.raw = nil
Nick Harperdcfbc672016-07-16 17:47:31 +0200615
David Benjamin3baa6e12016-10-07 21:10:38 -0400616 if helloRetryRequest.hasSelectedGroup {
617 newKeyShares := newClientHelloCopy.keyShares
Steven Valdeza833c352016-11-01 13:39:36 -0400618 if len(newKeyShares) != 1 || newKeyShares[0].group != helloRetryRequest.selectedGroup {
619 return errors.New("tls: KeyShare from HelloRetryRequest not in new ClientHello")
Nick Harperdcfbc672016-07-16 17:47:31 +0200620 }
Steven Valdeza833c352016-11-01 13:39:36 -0400621 selectedKeyShare = &newKeyShares[0]
622 newClientHelloCopy.keyShares = oldClientHelloCopy.keyShares
Nick Harper728eed82016-07-07 17:36:52 -0700623 }
624
David Benjamin3baa6e12016-10-07 21:10:38 -0400625 if len(helloRetryRequest.cookie) > 0 {
626 if !bytes.Equal(newClientHelloCopy.tls13Cookie, helloRetryRequest.cookie) {
627 return errors.New("tls: cookie from HelloRetryRequest not present in new ClientHello")
628 }
629 newClientHelloCopy.tls13Cookie = nil
630 }
David Benjaminea80f9d2016-11-15 18:19:55 +0900631
632 // PSK binders and obfuscated ticket age are both updated in the
633 // second ClientHello.
634 if len(oldClientHelloCopy.pskIdentities) != len(newClientHelloCopy.pskIdentities) {
635 return errors.New("tls: PSK identity count from old and new ClientHello do not match")
636 }
637 for i, identity := range oldClientHelloCopy.pskIdentities {
638 newClientHelloCopy.pskIdentities[i].obfuscatedTicketAge = identity.obfuscatedTicketAge
639 }
Steven Valdeza833c352016-11-01 13:39:36 -0400640 newClientHelloCopy.pskBinders = oldClientHelloCopy.pskBinders
Steven Valdez2d850622017-01-11 11:34:52 -0500641 newClientHelloCopy.hasEarlyData = oldClientHelloCopy.hasEarlyData
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
Nick Harperab20cec2016-12-19 17:38:41 -0800663 // Decide whether or not to accept early data.
Steven Valdez2d850622017-01-11 11:34:52 -0500664 if !sendHelloRetryRequest && hs.clientHello.hasEarlyData {
665 if !config.Bugs.AlwaysRejectEarlyData && hs.sessionState != nil {
666 if c.clientProtocol == string(hs.sessionState.earlyALPN) || config.Bugs.AlwaysAcceptEarlyData {
667 encryptedExtensions.extensions.hasEarlyData = true
668 }
669 }
670 if encryptedExtensions.extensions.hasEarlyData {
Nick Harperab20cec2016-12-19 17:38:41 -0800671 earlyTrafficSecret := hs.finishedHash.deriveSecret(earlyTrafficLabel)
672 c.in.useTrafficSecret(c.vers, hs.suite, earlyTrafficSecret, clientWrite)
673
674 for _, expectedMsg := range config.Bugs.ExpectEarlyData {
675 if err := c.readRecord(recordTypeApplicationData); err != nil {
676 return err
677 }
678 if !bytes.Equal(c.input.data[c.input.off:], expectedMsg) {
679 return errors.New("ExpectEarlyData: did not get expected message")
680 }
681 c.in.freeBlock(c.input)
682 c.input = nil
Nick Harperab20cec2016-12-19 17:38:41 -0800683 }
684 } else {
685 c.skipEarlyData = true
686 }
687 }
688
Steven Valdez2d850622017-01-11 11:34:52 -0500689 if config.Bugs.SendEarlyDataExtension {
690 encryptedExtensions.extensions.hasEarlyData = true
691 }
692
David Benjamin3baa6e12016-10-07 21:10:38 -0400693 // Resolve ECDHE and compute the handshake secret.
David Benjamin3baa6e12016-10-07 21:10:38 -0400694 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700695 // Once a curve has been selected and a key share identified,
696 // the server needs to generate a public value and send it in
697 // the ServerHello.
Steven Valdez5440fe02016-07-18 12:40:30 -0400698 curve, ok := curveForCurveID(selectedCurve)
Nick Harper728eed82016-07-07 17:36:52 -0700699 if !ok {
700 panic("tls: server failed to look up curve ID")
701 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400702 c.curveID = selectedCurve
703
704 var peerKey []byte
705 if config.Bugs.SkipHelloRetryRequest {
706 // If skipping HelloRetryRequest, use a random key to
707 // avoid crashing.
708 curve2, _ := curveForCurveID(selectedCurve)
709 var err error
710 peerKey, err = curve2.offer(config.rand())
711 if err != nil {
712 return err
713 }
714 } else {
715 peerKey = selectedKeyShare.keyExchange
716 }
717
David Benjamin48891ad2016-12-04 00:02:43 -0500718 publicKey, ecdheSecret, err := curve.accept(config.rand(), peerKey)
Nick Harper728eed82016-07-07 17:36:52 -0700719 if err != nil {
720 c.sendAlert(alertHandshakeFailure)
721 return err
722 }
David Benjamin48891ad2016-12-04 00:02:43 -0500723 hs.finishedHash.addEntropy(ecdheSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700724 hs.hello.hasKeyShare = true
Steven Valdez0ee2e112016-07-15 06:51:15 -0400725
Steven Valdez5440fe02016-07-18 12:40:30 -0400726 curveID := selectedCurve
Steven Valdez0ee2e112016-07-15 06:51:15 -0400727 if c.config.Bugs.SendCurve != 0 {
728 curveID = config.Bugs.SendCurve
729 }
730 if c.config.Bugs.InvalidECDHPoint {
731 publicKey[0] ^= 0xff
732 }
733
Nick Harper728eed82016-07-07 17:36:52 -0700734 hs.hello.keyShare = keyShareEntry{
Steven Valdez0ee2e112016-07-15 06:51:15 -0400735 group: curveID,
Nick Harper728eed82016-07-07 17:36:52 -0700736 keyExchange: publicKey,
737 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400738
739 if config.Bugs.EncryptedExtensionsWithKeyShare {
740 encryptedExtensions.extensions.hasKeyShare = true
741 encryptedExtensions.extensions.keyShare = keyShareEntry{
742 group: curveID,
743 keyExchange: publicKey,
744 }
745 }
Nick Harper728eed82016-07-07 17:36:52 -0700746 } else {
David Benjamin48891ad2016-12-04 00:02:43 -0500747 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
Nick Harper728eed82016-07-07 17:36:52 -0700748 }
749
750 // Send unencrypted ServerHello.
751 hs.writeServerHash(hs.hello.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400752 if config.Bugs.PartialEncryptedExtensionsWithServerHello {
753 helloBytes := hs.hello.marshal()
754 toWrite := make([]byte, 0, len(helloBytes)+1)
755 toWrite = append(toWrite, helloBytes...)
756 toWrite = append(toWrite, typeEncryptedExtensions)
757 c.writeRecord(recordTypeHandshake, toWrite)
758 } else {
759 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
760 }
Nick Harper728eed82016-07-07 17:36:52 -0700761 c.flushHandshake()
762
Nick Harper728eed82016-07-07 17:36:52 -0700763 // Switch to handshake traffic keys.
David Benjamin48891ad2016-12-04 00:02:43 -0500764 serverHandshakeTrafficSecret := hs.finishedHash.deriveSecret(serverHandshakeTrafficLabel)
Steven Valdeza833c352016-11-01 13:39:36 -0400765 c.out.useTrafficSecret(c.vers, hs.suite, serverHandshakeTrafficSecret, serverWrite)
Nick Harperab20cec2016-12-19 17:38:41 -0800766 // Derive handshake traffic read key, but don't switch yet.
David Benjamin48891ad2016-12-04 00:02:43 -0500767 clientHandshakeTrafficSecret := hs.finishedHash.deriveSecret(clientHandshakeTrafficLabel)
David Benjamin615119a2016-07-06 19:22:55 -0700768
Nick Harper728eed82016-07-07 17:36:52 -0700769 // Send EncryptedExtensions.
770 hs.writeServerHash(encryptedExtensions.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400771 if config.Bugs.PartialEncryptedExtensionsWithServerHello {
772 // The first byte has already been sent.
773 c.writeRecord(recordTypeHandshake, encryptedExtensions.marshal()[1:])
774 } else {
775 c.writeRecord(recordTypeHandshake, encryptedExtensions.marshal())
776 }
Nick Harper728eed82016-07-07 17:36:52 -0700777
Steven Valdeza833c352016-11-01 13:39:36 -0400778 if hs.sessionState == nil {
Nick Harper728eed82016-07-07 17:36:52 -0700779 if config.ClientAuth >= RequestClientCert {
David Benjamin8d343b42016-07-09 14:26:01 -0700780 // Request a client certificate
781 certReq := &certificateRequestMsg{
782 hasSignatureAlgorithm: true,
783 hasRequestContext: true,
David Benjamin8a8349b2016-08-18 02:32:23 -0400784 requestContext: config.Bugs.SendRequestContext,
David Benjamin8d343b42016-07-09 14:26:01 -0700785 }
786 if !config.Bugs.NoSignatureAlgorithms {
David Benjaminf74ec792016-07-13 21:18:49 -0400787 certReq.signatureAlgorithms = config.verifySignatureAlgorithms()
David Benjamin8d343b42016-07-09 14:26:01 -0700788 }
789
790 // An empty list of certificateAuthorities signals to
791 // the client that it may send any certificate in response
792 // to our request. When we know the CAs we trust, then
793 // we can send them down, so that the client can choose
794 // an appropriate certificate to give to us.
795 if config.ClientCAs != nil {
796 certReq.certificateAuthorities = config.ClientCAs.Subjects()
797 }
798 hs.writeServerHash(certReq.marshal())
799 c.writeRecord(recordTypeHandshake, certReq.marshal())
Nick Harper728eed82016-07-07 17:36:52 -0700800 }
801
802 certMsg := &certificateMsg{
803 hasRequestContext: true,
804 }
805 if !config.Bugs.EmptyCertificateList {
Steven Valdeza833c352016-11-01 13:39:36 -0400806 for i, certData := range hs.cert.Certificate {
807 cert := certificateEntry{
808 data: certData,
809 }
810 if i == 0 {
811 if hs.clientHello.ocspStapling {
812 cert.ocspResponse = hs.cert.OCSPStaple
813 }
814 if hs.clientHello.sctListSupported {
815 cert.sctList = hs.cert.SignedCertificateTimestampList
816 }
817 cert.duplicateExtensions = config.Bugs.SendDuplicateCertExtensions
818 cert.extraExtension = config.Bugs.SendExtensionOnCertificate
819 } else {
820 if config.Bugs.SendOCSPOnIntermediates != nil {
821 cert.ocspResponse = config.Bugs.SendOCSPOnIntermediates
822 }
823 if config.Bugs.SendSCTOnIntermediates != nil {
824 cert.sctList = config.Bugs.SendSCTOnIntermediates
825 }
826 }
827 certMsg.certificates = append(certMsg.certificates, cert)
828 }
Nick Harper728eed82016-07-07 17:36:52 -0700829 }
David Benjamin1edae6b2016-07-13 16:58:23 -0400830 certMsgBytes := certMsg.marshal()
David Benjamin1edae6b2016-07-13 16:58:23 -0400831 hs.writeServerHash(certMsgBytes)
832 c.writeRecord(recordTypeHandshake, certMsgBytes)
Nick Harper728eed82016-07-07 17:36:52 -0700833
834 certVerify := &certificateVerifyMsg{
835 hasSignatureAlgorithm: true,
836 }
837
838 // Determine the hash to sign.
839 privKey := hs.cert.PrivateKey
840
841 var err error
842 certVerify.signatureAlgorithm, err = selectSignatureAlgorithm(c.vers, privKey, config, hs.clientHello.signatureAlgorithms)
843 if err != nil {
844 c.sendAlert(alertInternalError)
845 return err
846 }
847
848 input := hs.finishedHash.certificateVerifyInput(serverCertificateVerifyContextTLS13)
849 certVerify.signature, err = signMessage(c.vers, privKey, c.config, certVerify.signatureAlgorithm, input)
850 if err != nil {
851 c.sendAlert(alertInternalError)
852 return err
853 }
854
Steven Valdez0ee2e112016-07-15 06:51:15 -0400855 if config.Bugs.SendSignatureAlgorithm != 0 {
856 certVerify.signatureAlgorithm = config.Bugs.SendSignatureAlgorithm
857 }
858
Nick Harper728eed82016-07-07 17:36:52 -0700859 hs.writeServerHash(certVerify.marshal())
860 c.writeRecord(recordTypeHandshake, certVerify.marshal())
Steven Valdez803c77a2016-09-06 14:13:43 -0400861 } else if hs.sessionState != nil {
Nick Harper0b3625b2016-07-25 16:16:28 -0700862 // Pick up certificates from the session instead.
David Benjamin5ecb88b2016-10-04 17:51:35 -0400863 if len(hs.sessionState.certificates) > 0 {
Nick Harper0b3625b2016-07-25 16:16:28 -0700864 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
865 return err
866 }
867 }
Nick Harper728eed82016-07-07 17:36:52 -0700868 }
869
870 finished := new(finishedMsg)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400871 finished.verifyData = hs.finishedHash.serverSum(serverHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700872 if config.Bugs.BadFinished {
873 finished.verifyData[0]++
874 }
875 hs.writeServerHash(finished.marshal())
876 c.writeRecord(recordTypeHandshake, finished.marshal())
David Benjamin02edcd02016-07-27 17:40:37 -0400877 if c.config.Bugs.SendExtraFinished {
878 c.writeRecord(recordTypeHandshake, finished.marshal())
879 }
Nick Harper728eed82016-07-07 17:36:52 -0700880 c.flushHandshake()
881
Steven Valdeze831a812017-03-09 14:56:07 -0500882 if encryptedExtensions.extensions.hasEarlyData && !c.skipEarlyData {
883 for _, expectedMsg := range config.Bugs.ExpectLateEarlyData {
884 if err := c.readRecord(recordTypeApplicationData); err != nil {
885 return err
886 }
887 if !bytes.Equal(c.input.data[c.input.off:], expectedMsg) {
888 return errors.New("ExpectLateEarlyData: did not get expected message")
889 }
890 c.in.freeBlock(c.input)
891 c.input = nil
892 }
893 }
894
Nick Harper728eed82016-07-07 17:36:52 -0700895 // The various secrets do not incorporate the client's final leg, so
896 // derive them now before updating the handshake context.
David Benjamin48891ad2016-12-04 00:02:43 -0500897 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
898 clientTrafficSecret := hs.finishedHash.deriveSecret(clientApplicationTrafficLabel)
899 serverTrafficSecret := hs.finishedHash.deriveSecret(serverApplicationTrafficLabel)
900 c.exporterSecret = hs.finishedHash.deriveSecret(exporterLabel)
Nick Harper728eed82016-07-07 17:36:52 -0700901
David Benjamin2aad4062016-07-14 23:15:40 -0400902 // Switch to application data keys on write. In particular, any alerts
903 // from the client certificate are sent over these keys.
Steven Valdeza833c352016-11-01 13:39:36 -0400904 c.out.useTrafficSecret(c.vers, hs.suite, serverTrafficSecret, serverWrite)
David Benjamin2aad4062016-07-14 23:15:40 -0400905
Nick Harper7cd0a972016-12-02 11:08:40 -0800906 // Send 0.5-RTT messages.
907 for _, halfRTTMsg := range config.Bugs.SendHalfRTTData {
908 if _, err := c.writeRecord(recordTypeApplicationData, halfRTTMsg); err != nil {
909 return err
910 }
911 }
912
Nick Harperab20cec2016-12-19 17:38:41 -0800913 // Read end_of_early_data alert.
914 if encryptedExtensions.extensions.hasEarlyData {
915 if err := c.readRecord(recordTypeAlert); err != errEndOfEarlyDataAlert {
916 if err == nil {
917 panic("readRecord(recordTypeAlert) returned nil")
918 }
919 return err
920 }
921 }
922
923 // Switch input stream to handshake traffic keys.
924 c.in.useTrafficSecret(c.vers, hs.suite, clientHandshakeTrafficSecret, clientWrite)
925
Nick Harper728eed82016-07-07 17:36:52 -0700926 // If we requested a client certificate, then the client must send a
927 // certificate message, even if it's empty.
928 if config.ClientAuth >= RequestClientCert {
David Benjamin8d343b42016-07-09 14:26:01 -0700929 msg, err := c.readHandshake()
930 if err != nil {
931 return err
932 }
933
934 certMsg, ok := msg.(*certificateMsg)
935 if !ok {
936 c.sendAlert(alertUnexpectedMessage)
937 return unexpectedMessageError(certMsg, msg)
938 }
939 hs.writeClientHash(certMsg.marshal())
940
941 if len(certMsg.certificates) == 0 {
942 // The client didn't actually send a certificate
943 switch config.ClientAuth {
944 case RequireAnyClientCert, RequireAndVerifyClientCert:
David Benjamin1db9e1b2016-10-07 20:51:43 -0400945 c.sendAlert(alertCertificateRequired)
David Benjamin8d343b42016-07-09 14:26:01 -0700946 return errors.New("tls: client didn't provide a certificate")
947 }
948 }
949
Steven Valdeza833c352016-11-01 13:39:36 -0400950 var certs [][]byte
951 for _, cert := range certMsg.certificates {
952 certs = append(certs, cert.data)
953 // OCSP responses and SCT lists are not negotiated in
954 // client certificates.
955 if cert.ocspResponse != nil || cert.sctList != nil {
956 c.sendAlert(alertUnsupportedExtension)
957 return errors.New("tls: unexpected extensions in the client certificate")
958 }
959 }
960 pub, err := hs.processCertsFromClient(certs)
David Benjamin8d343b42016-07-09 14:26:01 -0700961 if err != nil {
962 return err
963 }
964
965 if len(c.peerCertificates) > 0 {
966 msg, err = c.readHandshake()
967 if err != nil {
968 return err
969 }
970
971 certVerify, ok := msg.(*certificateVerifyMsg)
972 if !ok {
973 c.sendAlert(alertUnexpectedMessage)
974 return unexpectedMessageError(certVerify, msg)
975 }
976
David Benjaminf74ec792016-07-13 21:18:49 -0400977 c.peerSignatureAlgorithm = certVerify.signatureAlgorithm
David Benjamin8d343b42016-07-09 14:26:01 -0700978 input := hs.finishedHash.certificateVerifyInput(clientCertificateVerifyContextTLS13)
979 if err := verifyMessage(c.vers, pub, config, certVerify.signatureAlgorithm, input, certVerify.signature); err != nil {
980 c.sendAlert(alertBadCertificate)
981 return err
982 }
983 hs.writeClientHash(certVerify.marshal())
984 }
Nick Harper728eed82016-07-07 17:36:52 -0700985 }
986
Nick Harper60a85cb2016-09-23 16:25:11 -0700987 if encryptedExtensions.extensions.channelIDRequested {
988 msg, err := c.readHandshake()
989 if err != nil {
990 return err
991 }
992 channelIDMsg, ok := msg.(*channelIDMsg)
993 if !ok {
994 c.sendAlert(alertUnexpectedMessage)
995 return unexpectedMessageError(channelIDMsg, msg)
996 }
997 channelIDHash := crypto.SHA256.New()
998 channelIDHash.Write(hs.finishedHash.certificateVerifyInput(channelIDContextTLS13))
999 channelID, err := verifyChannelIDMessage(channelIDMsg, channelIDHash.Sum(nil))
1000 if err != nil {
1001 return err
1002 }
1003 c.channelID = channelID
1004
1005 hs.writeClientHash(channelIDMsg.marshal())
1006 }
1007
Nick Harper728eed82016-07-07 17:36:52 -07001008 // Read the client Finished message.
1009 msg, err := c.readHandshake()
1010 if err != nil {
1011 return err
1012 }
1013 clientFinished, ok := msg.(*finishedMsg)
1014 if !ok {
1015 c.sendAlert(alertUnexpectedMessage)
1016 return unexpectedMessageError(clientFinished, msg)
1017 }
1018
Steven Valdezc4aa7272016-10-03 12:25:56 -04001019 verify := hs.finishedHash.clientSum(clientHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -07001020 if len(verify) != len(clientFinished.verifyData) ||
1021 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
1022 c.sendAlert(alertHandshakeFailure)
1023 return errors.New("tls: client's Finished message was incorrect")
1024 }
David Benjamin97a0a082016-07-13 17:57:35 -04001025 hs.writeClientHash(clientFinished.marshal())
Nick Harper728eed82016-07-07 17:36:52 -07001026
David Benjamin2aad4062016-07-14 23:15:40 -04001027 // Switch to application data keys on read.
Steven Valdeza833c352016-11-01 13:39:36 -04001028 c.in.useTrafficSecret(c.vers, hs.suite, clientTrafficSecret, clientWrite)
Nick Harper728eed82016-07-07 17:36:52 -07001029
Nick Harper728eed82016-07-07 17:36:52 -07001030 c.cipherSuite = hs.suite
David Benjamin48891ad2016-12-04 00:02:43 -05001031 c.resumptionSecret = hs.finishedHash.deriveSecret(resumptionLabel)
David Benjamin58104882016-07-18 01:25:41 +02001032
1033 // TODO(davidben): Allow configuring the number of tickets sent for
1034 // testing.
Steven Valdeza833c352016-11-01 13:39:36 -04001035 if !c.config.SessionTicketsDisabled && foundKEMode {
David Benjamin58104882016-07-18 01:25:41 +02001036 ticketCount := 2
1037 for i := 0; i < ticketCount; i++ {
1038 c.SendNewSessionTicket()
1039 }
1040 }
Nick Harper728eed82016-07-07 17:36:52 -07001041 return nil
1042}
1043
David Benjaminf25dda92016-07-04 10:05:26 -07001044// processClientHello processes the ClientHello message from the client and
1045// decides whether we will perform session resumption.
1046func (hs *serverHandshakeState) processClientHello() (isResume bool, err error) {
1047 config := hs.c.config
1048 c := hs.c
1049
1050 hs.hello = &serverHelloMsg{
1051 isDTLS: c.isDTLS,
David Benjamin3c6a1ea2016-09-26 18:30:05 -04001052 vers: versionToWire(c.vers, c.isDTLS),
David Benjaminb1dd8cd2016-09-26 19:20:48 -04001053 versOverride: config.Bugs.SendServerHelloVersion,
David Benjaminf25dda92016-07-04 10:05:26 -07001054 compressionMethod: compressionNone,
1055 }
1056
1057 hs.hello.random = make([]byte, 32)
1058 _, err = io.ReadFull(config.rand(), hs.hello.random)
1059 if err != nil {
1060 c.sendAlert(alertInternalError)
1061 return false, err
1062 }
David Benjamina128a552016-10-13 14:26:33 -04001063 // Signal downgrades in the server random, per draft-ietf-tls-tls13-16,
1064 // section 4.1.3.
Nick Harper85f20c22016-07-04 10:11:59 -07001065 if c.vers <= VersionTLS12 && config.maxVersion(c.isDTLS) >= VersionTLS13 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001066 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS13)
Nick Harper85f20c22016-07-04 10:11:59 -07001067 }
1068 if c.vers <= VersionTLS11 && config.maxVersion(c.isDTLS) == VersionTLS12 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001069 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS12)
Nick Harper85f20c22016-07-04 10:11:59 -07001070 }
David Benjaminf25dda92016-07-04 10:05:26 -07001071
1072 foundCompression := false
1073 // We only support null compression, so check that the client offered it.
1074 for _, compression := range hs.clientHello.compressionMethods {
1075 if compression == compressionNone {
1076 foundCompression = true
1077 break
1078 }
1079 }
1080
1081 if !foundCompression {
1082 c.sendAlert(alertHandshakeFailure)
1083 return false, errors.New("tls: client does not support uncompressed connections")
1084 }
David Benjamin7d79f832016-07-04 09:20:45 -07001085
1086 if err := hs.processClientExtensions(&hs.hello.extensions); err != nil {
1087 return false, err
Adam Langley09505632015-07-30 18:10:13 -07001088 }
Adam Langley95c29f32014-06-20 12:00:00 -07001089
1090 supportedCurve := false
1091 preferredCurves := config.curvePreferences()
1092Curves:
1093 for _, curve := range hs.clientHello.supportedCurves {
1094 for _, supported := range preferredCurves {
1095 if supported == curve {
1096 supportedCurve = true
1097 break Curves
1098 }
1099 }
1100 }
1101
1102 supportedPointFormat := false
1103 for _, pointFormat := range hs.clientHello.supportedPoints {
1104 if pointFormat == pointFormatUncompressed {
1105 supportedPointFormat = true
1106 break
1107 }
1108 }
1109 hs.ellipticOk = supportedCurve && supportedPointFormat
1110
Adam Langley95c29f32014-06-20 12:00:00 -07001111 _, hs.ecdsaOk = hs.cert.PrivateKey.(*ecdsa.PrivateKey)
David Benjamind768c5d2017-03-28 18:28:44 -05001112 // Ed25519 also uses ECDSA certificates.
1113 _, ed25519Ok := hs.cert.PrivateKey.(ed25519.PrivateKey)
1114 hs.ecdsaOk = hs.ecdsaOk || ed25519Ok
Adam Langley95c29f32014-06-20 12:00:00 -07001115
David Benjamin4b27d9f2015-05-12 22:42:52 -04001116 // For test purposes, check that the peer never offers a session when
1117 // renegotiating.
1118 if c.cipherSuite != nil && len(hs.clientHello.sessionId) > 0 && c.config.Bugs.FailIfResumeOnRenego {
1119 return false, errors.New("tls: offered resumption on renegotiation")
1120 }
1121
David Benjamindd6fed92015-10-23 17:41:12 -04001122 if c.config.Bugs.FailIfSessionOffered && (len(hs.clientHello.sessionTicket) > 0 || len(hs.clientHello.sessionId) > 0) {
1123 return false, errors.New("tls: client offered a session ticket or ID")
1124 }
1125
Adam Langley95c29f32014-06-20 12:00:00 -07001126 if hs.checkForResumption() {
1127 return true, nil
1128 }
1129
Adam Langley95c29f32014-06-20 12:00:00 -07001130 var preferenceList, supportedList []uint16
1131 if c.config.PreferServerCipherSuites {
1132 preferenceList = c.config.cipherSuites()
1133 supportedList = hs.clientHello.cipherSuites
1134 } else {
1135 preferenceList = hs.clientHello.cipherSuites
1136 supportedList = c.config.cipherSuites()
1137 }
1138
1139 for _, id := range preferenceList {
Steven Valdez803c77a2016-09-06 14:13:43 -04001140 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, hs.ellipticOk, hs.ecdsaOk); hs.suite != nil {
Adam Langley95c29f32014-06-20 12:00:00 -07001141 break
1142 }
1143 }
1144
1145 if hs.suite == nil {
1146 c.sendAlert(alertHandshakeFailure)
1147 return false, errors.New("tls: no cipher suite supported by both client and server")
1148 }
1149
1150 return false, nil
1151}
1152
David Benjamin7d79f832016-07-04 09:20:45 -07001153// processClientExtensions processes all ClientHello extensions not directly
1154// related to cipher suite negotiation and writes responses in serverExtensions.
1155func (hs *serverHandshakeState) processClientExtensions(serverExtensions *serverExtensions) error {
1156 config := hs.c.config
1157 c := hs.c
1158
David Benjamin8d315d72016-07-18 01:03:18 +02001159 if c.vers < VersionTLS13 || config.Bugs.NegotiateRenegotiationInfoAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001160 if !bytes.Equal(c.clientVerify, hs.clientHello.secureRenegotiation) {
1161 c.sendAlert(alertHandshakeFailure)
1162 return errors.New("tls: renegotiation mismatch")
David Benjamin7d79f832016-07-04 09:20:45 -07001163 }
David Benjamin7d79f832016-07-04 09:20:45 -07001164
Nick Harper728eed82016-07-07 17:36:52 -07001165 if len(c.clientVerify) > 0 && !c.config.Bugs.EmptyRenegotiationInfo {
1166 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.clientVerify...)
1167 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.serverVerify...)
1168 if c.config.Bugs.BadRenegotiationInfo {
1169 serverExtensions.secureRenegotiation[0] ^= 0x80
1170 }
1171 } else {
1172 serverExtensions.secureRenegotiation = hs.clientHello.secureRenegotiation
1173 }
1174
1175 if c.noRenegotiationInfo() {
1176 serverExtensions.secureRenegotiation = nil
1177 }
David Benjamin7d79f832016-07-04 09:20:45 -07001178 }
1179
1180 serverExtensions.duplicateExtension = c.config.Bugs.DuplicateExtension
1181
1182 if len(hs.clientHello.serverName) > 0 {
1183 c.serverName = hs.clientHello.serverName
1184 }
1185 if len(config.Certificates) == 0 {
1186 c.sendAlert(alertInternalError)
1187 return errors.New("tls: no certificates configured")
1188 }
1189 hs.cert = &config.Certificates[0]
1190 if len(hs.clientHello.serverName) > 0 {
1191 hs.cert = config.getCertificateForName(hs.clientHello.serverName)
1192 }
1193 if expected := c.config.Bugs.ExpectServerName; expected != "" && expected != hs.clientHello.serverName {
1194 return errors.New("tls: unexpected server name")
1195 }
1196
David Benjamina58baaf2017-02-28 20:54:28 -05001197 if cert := config.Bugs.RenegotiationCertificate; c.cipherSuite != nil && cert != nil {
1198 hs.cert = cert
1199 }
1200
David Benjamin7d79f832016-07-04 09:20:45 -07001201 if len(hs.clientHello.alpnProtocols) > 0 {
David Benjaminbbf42462017-03-14 21:27:10 -04001202 // We will never offer ALPN as a client on renegotiation
1203 // handshakes.
1204 if len(c.clientVerify) > 0 {
1205 return errors.New("tls: offered ALPN on renegotiation")
1206 }
David Benjamin7d79f832016-07-04 09:20:45 -07001207 if proto := c.config.Bugs.ALPNProtocol; proto != nil {
1208 serverExtensions.alpnProtocol = *proto
1209 serverExtensions.alpnProtocolEmpty = len(*proto) == 0
1210 c.clientProtocol = *proto
1211 c.usedALPN = true
1212 } else if selectedProto, fallback := mutualProtocol(hs.clientHello.alpnProtocols, c.config.NextProtos); !fallback {
1213 serverExtensions.alpnProtocol = selectedProto
1214 c.clientProtocol = selectedProto
1215 c.usedALPN = true
1216 }
1217 }
Nick Harper728eed82016-07-07 17:36:52 -07001218
David Benjamin0c40a962016-08-01 12:05:50 -04001219 if len(c.config.Bugs.SendALPN) > 0 {
1220 serverExtensions.alpnProtocol = c.config.Bugs.SendALPN
1221 }
1222
David Benjamin8d315d72016-07-18 01:03:18 +02001223 if c.vers < VersionTLS13 || config.Bugs.NegotiateNPNAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001224 if len(hs.clientHello.alpnProtocols) == 0 || c.config.Bugs.NegotiateALPNAndNPN {
1225 // Although sending an empty NPN extension is reasonable, Firefox has
1226 // had a bug around this. Best to send nothing at all if
1227 // config.NextProtos is empty. See
1228 // https://code.google.com/p/go/issues/detail?id=5445.
1229 if hs.clientHello.nextProtoNeg && len(config.NextProtos) > 0 {
1230 serverExtensions.nextProtoNeg = true
1231 serverExtensions.nextProtos = config.NextProtos
Steven Valdeza833c352016-11-01 13:39:36 -04001232 serverExtensions.npnAfterAlpn = config.Bugs.SwapNPNAndALPN
Nick Harper728eed82016-07-07 17:36:52 -07001233 }
David Benjamin7d79f832016-07-04 09:20:45 -07001234 }
Steven Valdez143e8b32016-07-11 13:19:03 -04001235 }
David Benjamin7d79f832016-07-04 09:20:45 -07001236
David Benjamin8d315d72016-07-18 01:03:18 +02001237 if c.vers < VersionTLS13 || config.Bugs.NegotiateEMSAtAllVersions {
David Benjamin163c9562016-08-29 23:14:17 -04001238 disableEMS := config.Bugs.NoExtendedMasterSecret
1239 if c.cipherSuite != nil {
1240 disableEMS = config.Bugs.NoExtendedMasterSecretOnRenegotiation
1241 }
1242 serverExtensions.extendedMasterSecret = c.vers >= VersionTLS10 && hs.clientHello.extendedMasterSecret && !disableEMS
Steven Valdez143e8b32016-07-11 13:19:03 -04001243 }
David Benjamin7d79f832016-07-04 09:20:45 -07001244
Nick Harper60a85cb2016-09-23 16:25:11 -07001245 if hs.clientHello.channelIDSupported && config.RequestChannelID {
1246 serverExtensions.channelIDRequested = true
David Benjamin7d79f832016-07-04 09:20:45 -07001247 }
1248
1249 if hs.clientHello.srtpProtectionProfiles != nil {
1250 SRTPLoop:
1251 for _, p1 := range c.config.SRTPProtectionProfiles {
1252 for _, p2 := range hs.clientHello.srtpProtectionProfiles {
1253 if p1 == p2 {
1254 serverExtensions.srtpProtectionProfile = p1
1255 c.srtpProtectionProfile = p1
1256 break SRTPLoop
1257 }
1258 }
1259 }
1260 }
1261
1262 if c.config.Bugs.SendSRTPProtectionProfile != 0 {
1263 serverExtensions.srtpProtectionProfile = c.config.Bugs.SendSRTPProtectionProfile
1264 }
1265
1266 if expected := c.config.Bugs.ExpectedCustomExtension; expected != nil {
1267 if hs.clientHello.customExtension != *expected {
1268 return fmt.Errorf("tls: bad custom extension contents %q", hs.clientHello.customExtension)
1269 }
1270 }
1271 serverExtensions.customExtension = config.Bugs.CustomExtension
1272
Steven Valdez143e8b32016-07-11 13:19:03 -04001273 if c.config.Bugs.AdvertiseTicketExtension {
1274 serverExtensions.ticketSupported = true
1275 }
1276
David Benjamina81967b2016-12-22 09:16:57 -05001277 if c.config.Bugs.SendSupportedPointFormats != nil {
1278 serverExtensions.supportedPoints = c.config.Bugs.SendSupportedPointFormats
1279 }
1280
David Benjamin65ac9972016-09-02 21:35:25 -04001281 if !hs.clientHello.hasGREASEExtension && config.Bugs.ExpectGREASE {
1282 return errors.New("tls: no GREASE extension found")
1283 }
1284
David Benjamin023d4192017-02-06 13:49:07 -05001285 serverExtensions.serverNameAck = c.config.Bugs.SendServerNameAck
1286
David Benjamin7d79f832016-07-04 09:20:45 -07001287 return nil
1288}
1289
Adam Langley95c29f32014-06-20 12:00:00 -07001290// checkForResumption returns true if we should perform resumption on this connection.
1291func (hs *serverHandshakeState) checkForResumption() bool {
1292 c := hs.c
1293
David Benjamin405da482016-08-08 17:25:07 -04001294 ticket := hs.clientHello.sessionTicket
1295 if len(ticket) == 0 && len(hs.clientHello.pskIdentities) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -04001296 ticket = hs.clientHello.pskIdentities[0].ticket
David Benjamin405da482016-08-08 17:25:07 -04001297 }
1298 if len(ticket) > 0 {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001299 if c.config.SessionTicketsDisabled {
1300 return false
1301 }
David Benjaminb0c8db72014-09-24 15:19:56 -04001302
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001303 var ok bool
David Benjamin405da482016-08-08 17:25:07 -04001304 if hs.sessionState, ok = c.decryptTicket(ticket); !ok {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001305 return false
1306 }
1307 } else {
1308 if c.config.ServerSessionCache == nil {
1309 return false
1310 }
1311
1312 var ok bool
1313 sessionId := string(hs.clientHello.sessionId)
1314 if hs.sessionState, ok = c.config.ServerSessionCache.Get(sessionId); !ok {
1315 return false
1316 }
Adam Langley95c29f32014-06-20 12:00:00 -07001317 }
1318
Steven Valdez803c77a2016-09-06 14:13:43 -04001319 if c.config.Bugs.AcceptAnySession {
1320 // Replace the cipher suite with one known to work, to test
1321 // cross-version resumption attempts.
1322 hs.sessionState.cipherSuite = TLS_RSA_WITH_AES_128_CBC_SHA
1323 } else {
David Benjamin405da482016-08-08 17:25:07 -04001324 // Never resume a session for a different SSL version.
1325 if c.vers != hs.sessionState.vers {
1326 return false
Adam Langley95c29f32014-06-20 12:00:00 -07001327 }
David Benjamin405da482016-08-08 17:25:07 -04001328
1329 cipherSuiteOk := false
1330 // Check that the client is still offering the ciphersuite in the session.
1331 for _, id := range hs.clientHello.cipherSuites {
1332 if id == hs.sessionState.cipherSuite {
1333 cipherSuiteOk = true
1334 break
1335 }
1336 }
1337 if !cipherSuiteOk {
1338 return false
1339 }
Adam Langley95c29f32014-06-20 12:00:00 -07001340 }
1341
1342 // Check that we also support the ciphersuite from the session.
Steven Valdez803c77a2016-09-06 14:13:43 -04001343 hs.suite = c.tryCipherSuite(hs.sessionState.cipherSuite, c.config.cipherSuites(), c.vers, hs.ellipticOk, hs.ecdsaOk)
1344
Adam Langley95c29f32014-06-20 12:00:00 -07001345 if hs.suite == nil {
1346 return false
1347 }
1348
1349 sessionHasClientCerts := len(hs.sessionState.certificates) != 0
1350 needClientCerts := c.config.ClientAuth == RequireAnyClientCert || c.config.ClientAuth == RequireAndVerifyClientCert
1351 if needClientCerts && !sessionHasClientCerts {
1352 return false
1353 }
1354 if sessionHasClientCerts && c.config.ClientAuth == NoClientCert {
1355 return false
1356 }
1357
1358 return true
1359}
1360
1361func (hs *serverHandshakeState) doResumeHandshake() error {
1362 c := hs.c
1363
1364 hs.hello.cipherSuite = hs.suite.id
David Benjaminece3de92015-03-16 18:02:20 -04001365 if c.config.Bugs.SendCipherSuite != 0 {
1366 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
1367 }
Adam Langley95c29f32014-06-20 12:00:00 -07001368 // We echo the client's session ID in the ServerHello to let it know
1369 // that we're doing a resumption.
1370 hs.hello.sessionId = hs.clientHello.sessionId
Nick Harperb3d51be2016-07-01 11:43:18 -04001371 hs.hello.extensions.ticketSupported = c.config.Bugs.RenewTicketOnResume
Adam Langley95c29f32014-06-20 12:00:00 -07001372
David Benjamin80d1b352016-05-04 19:19:06 -04001373 if c.config.Bugs.SendSCTListOnResume != nil {
Nick Harperb3d51be2016-07-01 11:43:18 -04001374 hs.hello.extensions.sctList = c.config.Bugs.SendSCTListOnResume
David Benjamin80d1b352016-05-04 19:19:06 -04001375 }
1376
David Benjamindaa88502016-10-04 16:32:16 -04001377 if c.config.Bugs.SendOCSPResponseOnResume != nil {
1378 // There is no way, syntactically, to send an OCSP response on a
1379 // resumption handshake.
1380 hs.hello.extensions.ocspStapling = true
1381 }
1382
Adam Langley95c29f32014-06-20 12:00:00 -07001383 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamine098ec22014-08-27 23:13:20 -04001384 hs.finishedHash.discardHandshakeBuffer()
David Benjamin83c0bc92014-08-04 01:23:53 -04001385 hs.writeClientHash(hs.clientHello.marshal())
1386 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001387
1388 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1389
1390 if len(hs.sessionState.certificates) > 0 {
1391 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
1392 return err
1393 }
1394 }
1395
1396 hs.masterSecret = hs.sessionState.masterSecret
Adam Langley75712922014-10-10 16:23:43 -07001397 c.extendedMasterSecret = hs.sessionState.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001398
1399 return nil
1400}
1401
1402func (hs *serverHandshakeState) doFullHandshake() error {
1403 config := hs.c.config
1404 c := hs.c
1405
David Benjamin48cae082014-10-27 01:06:24 -04001406 isPSK := hs.suite.flags&suitePSK != 0
1407 if !isPSK && hs.clientHello.ocspStapling && len(hs.cert.OCSPStaple) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001408 hs.hello.extensions.ocspStapling = true
Adam Langley95c29f32014-06-20 12:00:00 -07001409 }
1410
David Benjamin61f95272014-11-25 01:55:35 -05001411 if hs.clientHello.sctListSupported && len(hs.cert.SignedCertificateTimestampList) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001412 hs.hello.extensions.sctList = hs.cert.SignedCertificateTimestampList
David Benjamin61f95272014-11-25 01:55:35 -05001413 }
1414
Nick Harperb3d51be2016-07-01 11:43:18 -04001415 hs.hello.extensions.ticketSupported = hs.clientHello.ticketSupported && !config.SessionTicketsDisabled && c.vers > VersionSSL30
Adam Langley95c29f32014-06-20 12:00:00 -07001416 hs.hello.cipherSuite = hs.suite.id
David Benjamin6095de82014-12-27 01:50:38 -05001417 if config.Bugs.SendCipherSuite != 0 {
1418 hs.hello.cipherSuite = config.Bugs.SendCipherSuite
1419 }
Nick Harperb3d51be2016-07-01 11:43:18 -04001420 c.extendedMasterSecret = hs.hello.extensions.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001421
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001422 // Generate a session ID if we're to save the session.
Nick Harperb3d51be2016-07-01 11:43:18 -04001423 if !hs.hello.extensions.ticketSupported && config.ServerSessionCache != nil {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001424 hs.hello.sessionId = make([]byte, 32)
1425 if _, err := io.ReadFull(config.rand(), hs.hello.sessionId); err != nil {
1426 c.sendAlert(alertInternalError)
1427 return errors.New("tls: short read from Rand: " + err.Error())
1428 }
1429 }
1430
Adam Langley95c29f32014-06-20 12:00:00 -07001431 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamin83c0bc92014-08-04 01:23:53 -04001432 hs.writeClientHash(hs.clientHello.marshal())
1433 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001434
David Benjaminabe94e32016-09-04 14:18:58 -04001435 if config.Bugs.SendSNIWarningAlert {
1436 c.SendAlert(alertLevelWarning, alertUnrecognizedName)
1437 }
1438
Adam Langley95c29f32014-06-20 12:00:00 -07001439 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1440
David Benjamin48cae082014-10-27 01:06:24 -04001441 if !isPSK {
1442 certMsg := new(certificateMsg)
David Benjamin8923c0b2015-06-07 11:42:34 -04001443 if !config.Bugs.EmptyCertificateList {
Steven Valdeza833c352016-11-01 13:39:36 -04001444 for _, certData := range hs.cert.Certificate {
1445 certMsg.certificates = append(certMsg.certificates, certificateEntry{
1446 data: certData,
1447 })
1448 }
David Benjamin8923c0b2015-06-07 11:42:34 -04001449 }
David Benjamin48cae082014-10-27 01:06:24 -04001450 if !config.Bugs.UnauthenticatedECDH {
David Benjaminbcb2d912015-02-24 23:45:43 -05001451 certMsgBytes := certMsg.marshal()
David Benjaminbcb2d912015-02-24 23:45:43 -05001452 hs.writeServerHash(certMsgBytes)
1453 c.writeRecord(recordTypeHandshake, certMsgBytes)
David Benjamin48cae082014-10-27 01:06:24 -04001454 }
David Benjamin1c375dd2014-07-12 00:48:23 -04001455 }
Adam Langley95c29f32014-06-20 12:00:00 -07001456
Nick Harperb3d51be2016-07-01 11:43:18 -04001457 if hs.hello.extensions.ocspStapling && !c.config.Bugs.SkipCertificateStatus {
Adam Langley95c29f32014-06-20 12:00:00 -07001458 certStatus := new(certificateStatusMsg)
1459 certStatus.statusType = statusTypeOCSP
1460 certStatus.response = hs.cert.OCSPStaple
David Benjamin83c0bc92014-08-04 01:23:53 -04001461 hs.writeServerHash(certStatus.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001462 c.writeRecord(recordTypeHandshake, certStatus.marshal())
1463 }
1464
1465 keyAgreement := hs.suite.ka(c.vers)
1466 skx, err := keyAgreement.generateServerKeyExchange(config, hs.cert, hs.clientHello, hs.hello)
1467 if err != nil {
1468 c.sendAlert(alertHandshakeFailure)
1469 return err
1470 }
Steven Valdez5440fe02016-07-18 12:40:30 -04001471 if ecdhe, ok := keyAgreement.(*ecdheKeyAgreement); ok {
1472 c.curveID = ecdhe.curveID
1473 }
David Benjamin9c651c92014-07-12 13:27:45 -04001474 if skx != nil && !config.Bugs.SkipServerKeyExchange {
David Benjamin83c0bc92014-08-04 01:23:53 -04001475 hs.writeServerHash(skx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001476 c.writeRecord(recordTypeHandshake, skx.marshal())
1477 }
1478
1479 if config.ClientAuth >= RequestClientCert {
1480 // Request a client certificate
David Benjamin7b030512014-07-08 17:30:11 -04001481 certReq := &certificateRequestMsg{
1482 certificateTypes: config.ClientCertificateTypes,
1483 }
1484 if certReq.certificateTypes == nil {
1485 certReq.certificateTypes = []byte{
1486 byte(CertTypeRSASign),
1487 byte(CertTypeECDSASign),
1488 }
Adam Langley95c29f32014-06-20 12:00:00 -07001489 }
1490 if c.vers >= VersionTLS12 {
Nick Harper60edffd2016-06-21 15:19:24 -07001491 certReq.hasSignatureAlgorithm = true
1492 if !config.Bugs.NoSignatureAlgorithms {
David Benjamin7a41d372016-07-09 11:21:54 -07001493 certReq.signatureAlgorithms = config.verifySignatureAlgorithms()
David Benjamin000800a2014-11-14 01:43:59 -05001494 }
Adam Langley95c29f32014-06-20 12:00:00 -07001495 }
1496
1497 // An empty list of certificateAuthorities signals to
1498 // the client that it may send any certificate in response
1499 // to our request. When we know the CAs we trust, then
1500 // we can send them down, so that the client can choose
1501 // an appropriate certificate to give to us.
1502 if config.ClientCAs != nil {
1503 certReq.certificateAuthorities = config.ClientCAs.Subjects()
1504 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001505 hs.writeServerHash(certReq.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001506 c.writeRecord(recordTypeHandshake, certReq.marshal())
1507 }
1508
1509 helloDone := new(serverHelloDoneMsg)
David Benjamin83c0bc92014-08-04 01:23:53 -04001510 hs.writeServerHash(helloDone.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001511 c.writeRecord(recordTypeHandshake, helloDone.marshal())
David Benjamin582ba042016-07-07 12:33:25 -07001512 c.flushHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -07001513
1514 var pub crypto.PublicKey // public key for client auth, if any
1515
David Benjamin83f90402015-01-27 01:09:43 -05001516 if err := c.simulatePacketLoss(nil); err != nil {
1517 return err
1518 }
Adam Langley95c29f32014-06-20 12:00:00 -07001519 msg, err := c.readHandshake()
1520 if err != nil {
1521 return err
1522 }
1523
1524 var ok bool
1525 // If we requested a client certificate, then the client must send a
1526 // certificate message, even if it's empty.
1527 if config.ClientAuth >= RequestClientCert {
David Benjamin48cae082014-10-27 01:06:24 -04001528 var certMsg *certificateMsg
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001529 var certificates [][]byte
1530 if certMsg, ok = msg.(*certificateMsg); ok {
1531 if c.vers == VersionSSL30 && len(certMsg.certificates) == 0 {
1532 return errors.New("tls: empty certificate message in SSL 3.0")
1533 }
1534
1535 hs.writeClientHash(certMsg.marshal())
Steven Valdeza833c352016-11-01 13:39:36 -04001536 for _, cert := range certMsg.certificates {
1537 certificates = append(certificates, cert.data)
1538 }
David Benjamin053fee92017-01-02 08:30:36 -05001539 } else if c.vers == VersionSSL30 {
1540 // In SSL 3.0, no certificate is signaled by a warning
1541 // alert which we translate to ssl3NoCertificateMsg.
1542 if _, ok := msg.(*ssl3NoCertificateMsg); !ok {
1543 return errors.New("tls: client provided neither a certificate nor no_certificate warning alert")
1544 }
1545 } else {
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001546 // In TLS, the Certificate message is required. In SSL
1547 // 3.0, the peer skips it when sending no certificates.
Adam Langley95c29f32014-06-20 12:00:00 -07001548 c.sendAlert(alertUnexpectedMessage)
1549 return unexpectedMessageError(certMsg, msg)
1550 }
Adam Langley95c29f32014-06-20 12:00:00 -07001551
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001552 if len(certificates) == 0 {
Adam Langley95c29f32014-06-20 12:00:00 -07001553 // The client didn't actually send a certificate
1554 switch config.ClientAuth {
1555 case RequireAnyClientCert, RequireAndVerifyClientCert:
1556 c.sendAlert(alertBadCertificate)
1557 return errors.New("tls: client didn't provide a certificate")
1558 }
1559 }
1560
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001561 pub, err = hs.processCertsFromClient(certificates)
Adam Langley95c29f32014-06-20 12:00:00 -07001562 if err != nil {
1563 return err
1564 }
1565
David Benjamin053fee92017-01-02 08:30:36 -05001566 msg, err = c.readHandshake()
1567 if err != nil {
1568 return err
Adam Langley95c29f32014-06-20 12:00:00 -07001569 }
1570 }
1571
1572 // Get client key exchange
1573 ckx, ok := msg.(*clientKeyExchangeMsg)
1574 if !ok {
1575 c.sendAlert(alertUnexpectedMessage)
1576 return unexpectedMessageError(ckx, msg)
1577 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001578 hs.writeClientHash(ckx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001579
David Benjamine098ec22014-08-27 23:13:20 -04001580 preMasterSecret, err := keyAgreement.processClientKeyExchange(config, hs.cert, ckx, c.vers)
1581 if err != nil {
1582 c.sendAlert(alertHandshakeFailure)
1583 return err
1584 }
Adam Langley75712922014-10-10 16:23:43 -07001585 if c.extendedMasterSecret {
1586 hs.masterSecret = extendedMasterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.finishedHash)
1587 } else {
1588 if c.config.Bugs.RequireExtendedMasterSecret {
1589 return errors.New("tls: extended master secret required but not supported by peer")
1590 }
1591 hs.masterSecret = masterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.clientHello.random, hs.hello.random)
1592 }
David Benjamine098ec22014-08-27 23:13:20 -04001593
Adam Langley95c29f32014-06-20 12:00:00 -07001594 // If we received a client cert in response to our certificate request message,
1595 // the client will send us a certificateVerifyMsg immediately after the
1596 // clientKeyExchangeMsg. This message is a digest of all preceding
1597 // handshake-layer messages that is signed using the private key corresponding
1598 // to the client's certificate. This allows us to verify that the client is in
1599 // possession of the private key of the certificate.
1600 if len(c.peerCertificates) > 0 {
1601 msg, err = c.readHandshake()
1602 if err != nil {
1603 return err
1604 }
1605 certVerify, ok := msg.(*certificateVerifyMsg)
1606 if !ok {
1607 c.sendAlert(alertUnexpectedMessage)
1608 return unexpectedMessageError(certVerify, msg)
1609 }
1610
David Benjaminde620d92014-07-18 15:03:41 -04001611 // Determine the signature type.
Nick Harper60edffd2016-06-21 15:19:24 -07001612 var sigAlg signatureAlgorithm
1613 if certVerify.hasSignatureAlgorithm {
1614 sigAlg = certVerify.signatureAlgorithm
Nick Harper60edffd2016-06-21 15:19:24 -07001615 c.peerSignatureAlgorithm = sigAlg
David Benjaminde620d92014-07-18 15:03:41 -04001616 }
1617
Nick Harper60edffd2016-06-21 15:19:24 -07001618 if c.vers > VersionSSL30 {
David Benjamin1fb125c2016-07-08 18:52:12 -07001619 err = verifyMessage(c.vers, pub, c.config, sigAlg, hs.finishedHash.buffer, certVerify.signature)
Nick Harper60edffd2016-06-21 15:19:24 -07001620 } else {
1621 // SSL 3.0's client certificate construction is
1622 // incompatible with signatureAlgorithm.
1623 rsaPub, ok := pub.(*rsa.PublicKey)
1624 if !ok {
1625 err = errors.New("unsupported key type for client certificate")
1626 } else {
1627 digest := hs.finishedHash.hashForClientCertificateSSL3(hs.masterSecret)
1628 err = rsa.VerifyPKCS1v15(rsaPub, crypto.MD5SHA1, digest, certVerify.signature)
David Benjaminde620d92014-07-18 15:03:41 -04001629 }
Adam Langley95c29f32014-06-20 12:00:00 -07001630 }
1631 if err != nil {
1632 c.sendAlert(alertBadCertificate)
1633 return errors.New("could not validate signature of connection nonces: " + err.Error())
1634 }
1635
David Benjamin83c0bc92014-08-04 01:23:53 -04001636 hs.writeClientHash(certVerify.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001637 }
1638
David Benjamine098ec22014-08-27 23:13:20 -04001639 hs.finishedHash.discardHandshakeBuffer()
Adam Langley95c29f32014-06-20 12:00:00 -07001640
1641 return nil
1642}
1643
1644func (hs *serverHandshakeState) establishKeys() error {
1645 c := hs.c
1646
1647 clientMAC, serverMAC, clientKey, serverKey, clientIV, serverIV :=
Nick Harper1fd39d82016-06-14 18:14:35 -07001648 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 -07001649
1650 var clientCipher, serverCipher interface{}
1651 var clientHash, serverHash macFunction
1652
1653 if hs.suite.aead == nil {
1654 clientCipher = hs.suite.cipher(clientKey, clientIV, true /* for reading */)
1655 clientHash = hs.suite.mac(c.vers, clientMAC)
1656 serverCipher = hs.suite.cipher(serverKey, serverIV, false /* not for reading */)
1657 serverHash = hs.suite.mac(c.vers, serverMAC)
1658 } else {
Nick Harper1fd39d82016-06-14 18:14:35 -07001659 clientCipher = hs.suite.aead(c.vers, clientKey, clientIV)
1660 serverCipher = hs.suite.aead(c.vers, serverKey, serverIV)
Adam Langley95c29f32014-06-20 12:00:00 -07001661 }
1662
1663 c.in.prepareCipherSpec(c.vers, clientCipher, clientHash)
1664 c.out.prepareCipherSpec(c.vers, serverCipher, serverHash)
1665
1666 return nil
1667}
1668
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001669func (hs *serverHandshakeState) readFinished(out []byte, isResume bool) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001670 c := hs.c
1671
1672 c.readRecord(recordTypeChangeCipherSpec)
1673 if err := c.in.error(); err != nil {
1674 return err
1675 }
1676
Nick Harperb3d51be2016-07-01 11:43:18 -04001677 if hs.hello.extensions.nextProtoNeg {
Adam Langley95c29f32014-06-20 12:00:00 -07001678 msg, err := c.readHandshake()
1679 if err != nil {
1680 return err
1681 }
1682 nextProto, ok := msg.(*nextProtoMsg)
1683 if !ok {
1684 c.sendAlert(alertUnexpectedMessage)
1685 return unexpectedMessageError(nextProto, msg)
1686 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001687 hs.writeClientHash(nextProto.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001688 c.clientProtocol = nextProto.proto
1689 }
1690
Nick Harperb3d51be2016-07-01 11:43:18 -04001691 if hs.hello.extensions.channelIDRequested {
David Benjamind30a9902014-08-24 01:44:23 -04001692 msg, err := c.readHandshake()
1693 if err != nil {
1694 return err
1695 }
David Benjamin24599a82016-06-30 18:56:53 -04001696 channelIDMsg, ok := msg.(*channelIDMsg)
David Benjamind30a9902014-08-24 01:44:23 -04001697 if !ok {
1698 c.sendAlert(alertUnexpectedMessage)
David Benjamin24599a82016-06-30 18:56:53 -04001699 return unexpectedMessageError(channelIDMsg, msg)
David Benjamind30a9902014-08-24 01:44:23 -04001700 }
David Benjamind30a9902014-08-24 01:44:23 -04001701 var resumeHash []byte
1702 if isResume {
1703 resumeHash = hs.sessionState.handshakeHash
1704 }
Nick Harper60a85cb2016-09-23 16:25:11 -07001705 channelID, err := verifyChannelIDMessage(channelIDMsg, hs.finishedHash.hashForChannelID(resumeHash))
1706 if err != nil {
1707 return err
David Benjamind30a9902014-08-24 01:44:23 -04001708 }
1709 c.channelID = channelID
1710
David Benjamin24599a82016-06-30 18:56:53 -04001711 hs.writeClientHash(channelIDMsg.marshal())
David Benjamind30a9902014-08-24 01:44:23 -04001712 }
1713
Adam Langley95c29f32014-06-20 12:00:00 -07001714 msg, err := c.readHandshake()
1715 if err != nil {
1716 return err
1717 }
1718 clientFinished, ok := msg.(*finishedMsg)
1719 if !ok {
1720 c.sendAlert(alertUnexpectedMessage)
1721 return unexpectedMessageError(clientFinished, msg)
1722 }
1723
1724 verify := hs.finishedHash.clientSum(hs.masterSecret)
1725 if len(verify) != len(clientFinished.verifyData) ||
1726 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
1727 c.sendAlert(alertHandshakeFailure)
1728 return errors.New("tls: client's Finished message is incorrect")
1729 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001730 c.clientVerify = append(c.clientVerify[:0], clientFinished.verifyData...)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001731 copy(out, clientFinished.verifyData)
Adam Langley95c29f32014-06-20 12:00:00 -07001732
David Benjamin83c0bc92014-08-04 01:23:53 -04001733 hs.writeClientHash(clientFinished.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001734 return nil
1735}
1736
1737func (hs *serverHandshakeState) sendSessionTicket() error {
Adam Langley95c29f32014-06-20 12:00:00 -07001738 c := hs.c
Adam Langley95c29f32014-06-20 12:00:00 -07001739 state := sessionState{
David Benjamind30a9902014-08-24 01:44:23 -04001740 vers: c.vers,
1741 cipherSuite: hs.suite.id,
1742 masterSecret: hs.masterSecret,
1743 certificates: hs.certsFromClient,
Nick Harperc9846112016-10-17 15:05:35 -07001744 handshakeHash: hs.finishedHash.Sum(),
Adam Langley95c29f32014-06-20 12:00:00 -07001745 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001746
Nick Harperb3d51be2016-07-01 11:43:18 -04001747 if !hs.hello.extensions.ticketSupported || hs.c.config.Bugs.SkipNewSessionTicket {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001748 if c.config.ServerSessionCache != nil && len(hs.hello.sessionId) != 0 {
1749 c.config.ServerSessionCache.Put(string(hs.hello.sessionId), &state)
1750 }
1751 return nil
1752 }
1753
1754 m := new(newSessionTicketMsg)
David Benjamin17b30832017-01-28 14:00:32 -05001755 if c.config.Bugs.SendTicketLifetime != 0 {
1756 m.ticketLifetime = uint32(c.config.Bugs.SendTicketLifetime / time.Second)
1757 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001758
David Benjamindd6fed92015-10-23 17:41:12 -04001759 if !c.config.Bugs.SendEmptySessionTicket {
1760 var err error
1761 m.ticket, err = c.encryptTicket(&state)
1762 if err != nil {
1763 return err
1764 }
Adam Langley95c29f32014-06-20 12:00:00 -07001765 }
Adam Langley95c29f32014-06-20 12:00:00 -07001766
David Benjamin83c0bc92014-08-04 01:23:53 -04001767 hs.writeServerHash(m.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001768 c.writeRecord(recordTypeHandshake, m.marshal())
1769
1770 return nil
1771}
1772
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001773func (hs *serverHandshakeState) sendFinished(out []byte) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001774 c := hs.c
1775
David Benjamin86271ee2014-07-21 16:14:03 -04001776 finished := new(finishedMsg)
1777 finished.verifyData = hs.finishedHash.serverSum(hs.masterSecret)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001778 copy(out, finished.verifyData)
David Benjamin513f0ea2015-04-02 19:33:31 -04001779 if c.config.Bugs.BadFinished {
1780 finished.verifyData[0]++
1781 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001782 c.serverVerify = append(c.serverVerify[:0], finished.verifyData...)
David Benjamin83f90402015-01-27 01:09:43 -05001783 hs.finishedBytes = finished.marshal()
1784 hs.writeServerHash(hs.finishedBytes)
1785 postCCSBytes := hs.finishedBytes
David Benjamin86271ee2014-07-21 16:14:03 -04001786
1787 if c.config.Bugs.FragmentAcrossChangeCipherSpec {
1788 c.writeRecord(recordTypeHandshake, postCCSBytes[:5])
1789 postCCSBytes = postCCSBytes[5:]
David Benjamin61672812016-07-14 23:10:43 -04001790 } else if c.config.Bugs.SendUnencryptedFinished {
1791 c.writeRecord(recordTypeHandshake, postCCSBytes)
1792 postCCSBytes = nil
David Benjamin86271ee2014-07-21 16:14:03 -04001793 }
David Benjamin582ba042016-07-07 12:33:25 -07001794 c.flushHandshake()
David Benjamin86271ee2014-07-21 16:14:03 -04001795
David Benjamina0e52232014-07-19 17:39:58 -04001796 if !c.config.Bugs.SkipChangeCipherSpec {
David Benjamin8411b242015-11-26 12:07:28 -05001797 ccs := []byte{1}
1798 if c.config.Bugs.BadChangeCipherSpec != nil {
1799 ccs = c.config.Bugs.BadChangeCipherSpec
1800 }
1801 c.writeRecord(recordTypeChangeCipherSpec, ccs)
David Benjamina0e52232014-07-19 17:39:58 -04001802 }
Adam Langley95c29f32014-06-20 12:00:00 -07001803
David Benjamin4189bd92015-01-25 23:52:39 -05001804 if c.config.Bugs.AppDataAfterChangeCipherSpec != nil {
1805 c.writeRecord(recordTypeApplicationData, c.config.Bugs.AppDataAfterChangeCipherSpec)
1806 }
David Benjamindc3da932015-03-12 15:09:02 -04001807 if c.config.Bugs.AlertAfterChangeCipherSpec != 0 {
1808 c.sendAlert(c.config.Bugs.AlertAfterChangeCipherSpec)
1809 return errors.New("tls: simulating post-CCS alert")
1810 }
David Benjamin4189bd92015-01-25 23:52:39 -05001811
David Benjamin61672812016-07-14 23:10:43 -04001812 if !c.config.Bugs.SkipFinished && len(postCCSBytes) > 0 {
David Benjaminb80168e2015-02-08 18:30:14 -05001813 c.writeRecord(recordTypeHandshake, postCCSBytes)
David Benjamin02edcd02016-07-27 17:40:37 -04001814 if c.config.Bugs.SendExtraFinished {
1815 c.writeRecord(recordTypeHandshake, finished.marshal())
1816 }
1817
David Benjamin12d2c482016-07-24 10:56:51 -04001818 if !c.config.Bugs.PackHelloRequestWithFinished {
1819 // Defer flushing until renegotiation.
1820 c.flushHandshake()
1821 }
David Benjaminb3774b92015-01-31 17:16:01 -05001822 }
Adam Langley95c29f32014-06-20 12:00:00 -07001823
David Benjaminc565ebb2015-04-03 04:06:36 -04001824 c.cipherSuite = hs.suite
Adam Langley95c29f32014-06-20 12:00:00 -07001825
1826 return nil
1827}
1828
1829// processCertsFromClient takes a chain of client certificates either from a
1830// Certificates message or from a sessionState and verifies them. It returns
1831// the public key of the leaf certificate.
1832func (hs *serverHandshakeState) processCertsFromClient(certificates [][]byte) (crypto.PublicKey, error) {
1833 c := hs.c
1834
1835 hs.certsFromClient = certificates
1836 certs := make([]*x509.Certificate, len(certificates))
1837 var err error
1838 for i, asn1Data := range certificates {
1839 if certs[i], err = x509.ParseCertificate(asn1Data); err != nil {
1840 c.sendAlert(alertBadCertificate)
1841 return nil, errors.New("tls: failed to parse client certificate: " + err.Error())
1842 }
1843 }
1844
1845 if c.config.ClientAuth >= VerifyClientCertIfGiven && len(certs) > 0 {
1846 opts := x509.VerifyOptions{
1847 Roots: c.config.ClientCAs,
1848 CurrentTime: c.config.time(),
1849 Intermediates: x509.NewCertPool(),
1850 KeyUsages: []x509.ExtKeyUsage{x509.ExtKeyUsageClientAuth},
1851 }
1852
1853 for _, cert := range certs[1:] {
1854 opts.Intermediates.AddCert(cert)
1855 }
1856
1857 chains, err := certs[0].Verify(opts)
1858 if err != nil {
1859 c.sendAlert(alertBadCertificate)
1860 return nil, errors.New("tls: failed to verify client's certificate: " + err.Error())
1861 }
1862
1863 ok := false
1864 for _, ku := range certs[0].ExtKeyUsage {
1865 if ku == x509.ExtKeyUsageClientAuth {
1866 ok = true
1867 break
1868 }
1869 }
1870 if !ok {
1871 c.sendAlert(alertHandshakeFailure)
1872 return nil, errors.New("tls: client's certificate's extended key usage doesn't permit it to be used for client authentication")
1873 }
1874
1875 c.verifiedChains = chains
1876 }
1877
1878 if len(certs) > 0 {
David Benjamind768c5d2017-03-28 18:28:44 -05001879 pub := getCertificatePublicKey(certs[0])
1880 switch pub.(type) {
1881 case *ecdsa.PublicKey, *rsa.PublicKey, ed25519.PublicKey:
1882 break
Adam Langley95c29f32014-06-20 12:00:00 -07001883 default:
1884 c.sendAlert(alertUnsupportedCertificate)
David Benjamind768c5d2017-03-28 18:28:44 -05001885 return nil, fmt.Errorf("tls: client's certificate contains an unsupported public key of type %T", pub)
Adam Langley95c29f32014-06-20 12:00:00 -07001886 }
1887 c.peerCertificates = certs
1888 return pub, nil
1889 }
1890
1891 return nil, nil
1892}
1893
Nick Harper60a85cb2016-09-23 16:25:11 -07001894func verifyChannelIDMessage(channelIDMsg *channelIDMsg, channelIDHash []byte) (*ecdsa.PublicKey, error) {
1895 x := new(big.Int).SetBytes(channelIDMsg.channelID[0:32])
1896 y := new(big.Int).SetBytes(channelIDMsg.channelID[32:64])
1897 r := new(big.Int).SetBytes(channelIDMsg.channelID[64:96])
1898 s := new(big.Int).SetBytes(channelIDMsg.channelID[96:128])
1899 if !elliptic.P256().IsOnCurve(x, y) {
1900 return nil, errors.New("tls: invalid channel ID public key")
1901 }
1902 channelID := &ecdsa.PublicKey{elliptic.P256(), x, y}
1903 if !ecdsa.Verify(channelID, channelIDHash, r, s) {
1904 return nil, errors.New("tls: invalid channel ID signature")
1905 }
1906 return channelID, nil
1907}
1908
David Benjamin83c0bc92014-08-04 01:23:53 -04001909func (hs *serverHandshakeState) writeServerHash(msg []byte) {
1910 // writeServerHash is called before writeRecord.
1911 hs.writeHash(msg, hs.c.sendHandshakeSeq)
1912}
1913
1914func (hs *serverHandshakeState) writeClientHash(msg []byte) {
1915 // writeClientHash is called after readHandshake.
1916 hs.writeHash(msg, hs.c.recvHandshakeSeq-1)
1917}
1918
1919func (hs *serverHandshakeState) writeHash(msg []byte, seqno uint16) {
1920 if hs.c.isDTLS {
1921 // This is somewhat hacky. DTLS hashes a slightly different format.
1922 // First, the TLS header.
1923 hs.finishedHash.Write(msg[:4])
1924 // Then the sequence number and reassembled fragment offset (always 0).
1925 hs.finishedHash.Write([]byte{byte(seqno >> 8), byte(seqno), 0, 0, 0})
1926 // Then the reassembled fragment (always equal to the message length).
1927 hs.finishedHash.Write(msg[1:4])
1928 // And then the message body.
1929 hs.finishedHash.Write(msg[4:])
1930 } else {
1931 hs.finishedHash.Write(msg)
1932 }
1933}
1934
Adam Langley95c29f32014-06-20 12:00:00 -07001935// tryCipherSuite returns a cipherSuite with the given id if that cipher suite
1936// is acceptable to use.
Steven Valdez803c77a2016-09-06 14:13:43 -04001937func (c *Conn) tryCipherSuite(id uint16, supportedCipherSuites []uint16, version uint16, ellipticOk, ecdsaOk bool) *cipherSuite {
Adam Langley95c29f32014-06-20 12:00:00 -07001938 for _, supported := range supportedCipherSuites {
1939 if id == supported {
1940 var candidate *cipherSuite
1941
1942 for _, s := range cipherSuites {
1943 if s.id == id {
1944 candidate = s
1945 break
1946 }
1947 }
1948 if candidate == nil {
1949 continue
1950 }
Steven Valdez803c77a2016-09-06 14:13:43 -04001951
Adam Langley95c29f32014-06-20 12:00:00 -07001952 // Don't select a ciphersuite which we can't
1953 // support for this client.
Steven Valdez803c77a2016-09-06 14:13:43 -04001954 if version >= VersionTLS13 || candidate.flags&suiteTLS13 != 0 {
1955 if version < VersionTLS13 || candidate.flags&suiteTLS13 == 0 {
1956 continue
1957 }
1958 return candidate
David Benjamin5ecb88b2016-10-04 17:51:35 -04001959 }
1960 if (candidate.flags&suiteECDHE != 0) && !ellipticOk {
1961 continue
1962 }
1963 if (candidate.flags&suiteECDSA != 0) != ecdsaOk {
1964 continue
1965 }
1966 if version < VersionTLS12 && candidate.flags&suiteTLS12 != 0 {
1967 continue
1968 }
David Benjamin5ecb88b2016-10-04 17:51:35 -04001969 if c.isDTLS && candidate.flags&suiteNoDTLS != 0 {
1970 continue
David Benjamin83c0bc92014-08-04 01:23:53 -04001971 }
Adam Langley95c29f32014-06-20 12:00:00 -07001972 return candidate
1973 }
1974 }
1975
1976 return nil
1977}
David Benjaminf93995b2015-11-05 18:23:20 -05001978
1979func isTLS12Cipher(id uint16) bool {
1980 for _, cipher := range cipherSuites {
1981 if cipher.id != id {
1982 continue
1983 }
1984 return cipher.flags&suiteTLS12 != 0
1985 }
1986 // Unknown cipher.
1987 return false
1988}
David Benjamin65ac9972016-09-02 21:35:25 -04001989
1990func isGREASEValue(val uint16) bool {
David Benjamin3c6a1ea2016-09-26 18:30:05 -04001991 return val&0x0f0f == 0x0a0a && val&0xff == val>>8
David Benjamin65ac9972016-09-02 21:35:25 -04001992}
Steven Valdeza833c352016-11-01 13:39:36 -04001993
1994func verifyPSKBinder(clientHello *clientHelloMsg, sessionState *sessionState, binderToVerify, transcript []byte) error {
1995 binderLen := 2
1996 for _, binder := range clientHello.pskBinders {
1997 binderLen += 1 + len(binder)
1998 }
1999
2000 truncatedHello := clientHello.marshal()
2001 truncatedHello = truncatedHello[:len(truncatedHello)-binderLen]
2002 pskCipherSuite := cipherSuiteFromID(sessionState.cipherSuite)
2003 if pskCipherSuite == nil {
2004 return errors.New("tls: Unknown cipher suite for PSK in session")
2005 }
2006
2007 binder := computePSKBinder(sessionState.masterSecret, resumptionPSKBinderLabel, pskCipherSuite, transcript, truncatedHello)
2008 if !bytes.Equal(binder, binderToVerify) {
2009 return errors.New("tls: PSK binder does not verify")
2010 }
2011
2012 return nil
2013}