blob: f67cc9424a821e98ef50a111df5e1d84801d13ed [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{
Steven Valdezc94998a2017-06-20 10:55:02 -0400164 vers: VersionDTLS10,
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
Steven Valdezc94998a2017-06-20 10:55:02 -0400213 // Use the versions extension if supplied, otherwise use the legacy ClientHello version.
214 if len(hs.clientHello.supportedVersions) == 0 {
215 if c.isDTLS {
216 if hs.clientHello.vers <= VersionDTLS12 {
217 hs.clientHello.supportedVersions = append(hs.clientHello.supportedVersions, VersionDTLS12)
218 }
219 if hs.clientHello.vers <= VersionDTLS10 {
220 hs.clientHello.supportedVersions = append(hs.clientHello.supportedVersions, VersionDTLS10)
221 }
222 } else {
223 if hs.clientHello.vers >= VersionTLS12 {
224 hs.clientHello.supportedVersions = append(hs.clientHello.supportedVersions, VersionTLS12)
225 }
226 if hs.clientHello.vers >= VersionTLS11 {
227 hs.clientHello.supportedVersions = append(hs.clientHello.supportedVersions, VersionTLS11)
228 }
229 if hs.clientHello.vers >= VersionTLS10 {
230 hs.clientHello.supportedVersions = append(hs.clientHello.supportedVersions, VersionTLS10)
231 }
232 if hs.clientHello.vers >= VersionSSL30 {
233 hs.clientHello.supportedVersions = append(hs.clientHello.supportedVersions, VersionSSL30)
234 }
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400235 }
Steven Valdezc94998a2017-06-20 10:55:02 -0400236 } else if config.Bugs.ExpectGREASE && !containsGREASE(hs.clientHello.supportedVersions) {
237 return errors.New("tls: no GREASE version value found")
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400238 }
239
Steven Valdezc94998a2017-06-20 10:55:02 -0400240 if !c.haveVers {
241 if config.Bugs.NegotiateVersion != 0 {
242 c.wireVersion = config.Bugs.NegotiateVersion
243 } else {
244 var found bool
245 for _, vers := range hs.clientHello.supportedVersions {
246 if _, ok := config.isSupportedVersion(vers, c.isDTLS); ok {
247 c.wireVersion = vers
248 found = true
249 break
250 }
David Benjamind9791bf2016-09-27 16:39:52 -0400251 }
Steven Valdezc94998a2017-06-20 10:55:02 -0400252 if !found {
253 c.sendAlert(alertProtocolVersion)
254 return errors.New("tls: client did not offer any supported protocol versions")
Steven Valdezfdd10992016-09-15 16:27:05 -0400255 }
256 }
Steven Valdezc94998a2017-06-20 10:55:02 -0400257 } else if config.Bugs.NegotiateVersionOnRenego != 0 {
258 c.wireVersion = config.Bugs.NegotiateVersionOnRenego
259 }
260
261 c.vers, ok = wireToVersion(c.wireVersion, c.isDTLS)
262 if !ok {
263 panic("Could not map wire version")
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400264 }
265 c.haveVers = true
David Benjaminc44b1df2014-11-23 12:11:01 -0500266
Steven Valdezc94998a2017-06-20 10:55:02 -0400267 clientProtocol, ok := wireToVersion(c.clientVersion, c.isDTLS)
268
David Benjamin6ae7f072015-01-26 10:22:13 -0500269 // Reject < 1.2 ClientHellos with signature_algorithms.
Steven Valdezc94998a2017-06-20 10:55:02 -0400270 if ok && clientProtocol < VersionTLS12 && len(hs.clientHello.signatureAlgorithms) > 0 {
David Benjaminf25dda92016-07-04 10:05:26 -0700271 return fmt.Errorf("tls: client included signature_algorithms before TLS 1.2")
David Benjamin72dc7832015-03-16 17:49:43 -0400272 }
David Benjamin6ae7f072015-01-26 10:22:13 -0500273
David Benjaminf93995b2015-11-05 18:23:20 -0500274 // Check the client cipher list is consistent with the version.
Steven Valdezc94998a2017-06-20 10:55:02 -0400275 if ok && clientProtocol < VersionTLS12 {
David Benjaminf93995b2015-11-05 18:23:20 -0500276 for _, id := range hs.clientHello.cipherSuites {
277 if isTLS12Cipher(id) {
David Benjaminf25dda92016-07-04 10:05:26 -0700278 return fmt.Errorf("tls: client offered TLS 1.2 cipher before TLS 1.2")
David Benjaminf93995b2015-11-05 18:23:20 -0500279 }
280 }
281 }
282
David Benjamin405da482016-08-08 17:25:07 -0400283 if config.Bugs.ExpectNoTLS12Session {
Steven Valdez16821262017-09-08 17:03:42 -0400284 if len(hs.clientHello.sessionId) > 0 && !isResumptionExperiment(c.wireVersion) {
David Benjamin405da482016-08-08 17:25:07 -0400285 return fmt.Errorf("tls: client offered an unexpected session ID")
286 }
287 if len(hs.clientHello.sessionTicket) > 0 {
288 return fmt.Errorf("tls: client offered an unexpected session ticket")
289 }
290 }
291
292 if config.Bugs.ExpectNoTLS13PSK && len(hs.clientHello.pskIdentities) > 0 {
293 return fmt.Errorf("tls: client offered unexpected PSK identities")
294 }
295
Steven Valdezc94998a2017-06-20 10:55:02 -0400296 var scsvFound bool
David Benjaminf25dda92016-07-04 10:05:26 -0700297 for _, cipherSuite := range hs.clientHello.cipherSuites {
298 if cipherSuite == fallbackSCSV {
299 scsvFound = true
Steven Valdezc94998a2017-06-20 10:55:02 -0400300 break
David Benjaminf25dda92016-07-04 10:05:26 -0700301 }
302 }
303
304 if !scsvFound && config.Bugs.FailIfNotFallbackSCSV {
305 return errors.New("tls: no fallback SCSV found when expected")
306 } else if scsvFound && !config.Bugs.FailIfNotFallbackSCSV {
307 return errors.New("tls: fallback SCSV found when not expected")
308 }
309
Steven Valdezc94998a2017-06-20 10:55:02 -0400310 if config.Bugs.ExpectGREASE && !containsGREASE(hs.clientHello.cipherSuites) {
David Benjamin65ac9972016-09-02 21:35:25 -0400311 return errors.New("tls: no GREASE cipher suite value found")
312 }
313
Steven Valdezc94998a2017-06-20 10:55:02 -0400314 var greaseFound bool
David Benjamin65ac9972016-09-02 21:35:25 -0400315 for _, curve := range hs.clientHello.supportedCurves {
316 if isGREASEValue(uint16(curve)) {
317 greaseFound = true
318 break
319 }
320 }
321
322 if !greaseFound && config.Bugs.ExpectGREASE {
323 return errors.New("tls: no GREASE curve value found")
324 }
325
326 if len(hs.clientHello.keyShares) > 0 {
327 greaseFound = false
328 for _, keyShare := range hs.clientHello.keyShares {
329 if isGREASEValue(uint16(keyShare.group)) {
330 greaseFound = true
331 break
332 }
333 }
334
335 if !greaseFound && config.Bugs.ExpectGREASE {
336 return errors.New("tls: no GREASE curve value found")
337 }
338 }
339
Adam Langley2070f8a2017-03-10 15:25:14 -0800340 applyBugsToClientHello(hs.clientHello, config)
David Benjaminf25dda92016-07-04 10:05:26 -0700341
342 return nil
343}
344
Adam Langley2070f8a2017-03-10 15:25:14 -0800345func applyBugsToClientHello(clientHello *clientHelloMsg, config *Config) {
346 if config.Bugs.IgnorePeerSignatureAlgorithmPreferences {
347 clientHello.signatureAlgorithms = config.signSignatureAlgorithms()
348 }
349 if config.Bugs.IgnorePeerCurvePreferences {
350 clientHello.supportedCurves = config.curvePreferences()
351 }
352 if config.Bugs.IgnorePeerCipherPreferences {
353 clientHello.cipherSuites = config.cipherSuites()
354 }
355}
356
Nick Harper728eed82016-07-07 17:36:52 -0700357func (hs *serverHandshakeState) doTLS13Handshake() error {
358 c := hs.c
359 config := c.config
360
361 hs.hello = &serverHelloMsg{
Steven Valdez038da9b2017-07-10 12:57:25 -0400362 isDTLS: c.isDTLS,
363 vers: c.wireVersion,
364 sessionId: hs.clientHello.sessionId,
365 versOverride: config.Bugs.SendServerHelloVersion,
366 supportedVersOverride: config.Bugs.SendServerSupportedExtensionVersion,
367 customExtension: config.Bugs.CustomUnencryptedExtension,
368 unencryptedALPN: config.Bugs.SendUnencryptedALPN,
Steven Valdez5440fe02016-07-18 12:40:30 -0400369 }
370
Nick Harper728eed82016-07-07 17:36:52 -0700371 hs.hello.random = make([]byte, 32)
372 if _, err := io.ReadFull(config.rand(), hs.hello.random); err != nil {
373 c.sendAlert(alertInternalError)
374 return err
375 }
376
377 // TLS 1.3 forbids clients from advertising any non-null compression.
378 if len(hs.clientHello.compressionMethods) != 1 || hs.clientHello.compressionMethods[0] != compressionNone {
379 return errors.New("tls: client sent compression method other than null for TLS 1.3")
380 }
381
382 // Prepare an EncryptedExtensions message, but do not send it yet.
383 encryptedExtensions := new(encryptedExtensionsMsg)
Steven Valdez143e8b32016-07-11 13:19:03 -0400384 encryptedExtensions.empty = config.Bugs.EmptyEncryptedExtensions
Nick Harper728eed82016-07-07 17:36:52 -0700385 if err := hs.processClientExtensions(&encryptedExtensions.extensions); err != nil {
386 return err
387 }
388
David Benjamind0d532f2016-11-16 13:16:13 +0900389 // Select the cipher suite.
390 var preferenceList, supportedList []uint16
391 if config.PreferServerCipherSuites {
392 preferenceList = config.cipherSuites()
393 supportedList = hs.clientHello.cipherSuites
394 } else {
395 preferenceList = hs.clientHello.cipherSuites
396 supportedList = config.cipherSuites()
397 }
398
399 for _, id := range preferenceList {
400 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, true, true); hs.suite != nil {
401 break
402 }
403 }
404
405 if hs.suite == nil {
406 c.sendAlert(alertHandshakeFailure)
407 return errors.New("tls: no cipher suite supported by both client and server")
408 }
409
410 hs.hello.cipherSuite = hs.suite.id
411 if c.config.Bugs.SendCipherSuite != 0 {
412 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
413 }
414
415 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
416 hs.finishedHash.discardHandshakeBuffer()
417 hs.writeClientHash(hs.clientHello.marshal())
418
Nick Harper728eed82016-07-07 17:36:52 -0700419 supportedCurve := false
420 var selectedCurve CurveID
421 preferredCurves := config.curvePreferences()
422Curves:
423 for _, curve := range hs.clientHello.supportedCurves {
424 for _, supported := range preferredCurves {
425 if supported == curve {
426 supportedCurve = true
427 selectedCurve = curve
428 break Curves
429 }
430 }
431 }
432
Steven Valdez803c77a2016-09-06 14:13:43 -0400433 if !supportedCurve {
434 c.sendAlert(alertHandshakeFailure)
435 return errors.New("tls: no curve supported by both client and server")
436 }
Nick Harper728eed82016-07-07 17:36:52 -0700437
David Benjamin405da482016-08-08 17:25:07 -0400438 pskIdentities := hs.clientHello.pskIdentities
Steven Valdeza833c352016-11-01 13:39:36 -0400439 pskKEModes := hs.clientHello.pskKEModes
440
David Benjamin405da482016-08-08 17:25:07 -0400441 if len(pskIdentities) == 0 && len(hs.clientHello.sessionTicket) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -0400442 psk := pskIdentity{
Steven Valdeza833c352016-11-01 13:39:36 -0400443 ticket: hs.clientHello.sessionTicket,
Steven Valdez5b986082016-09-01 12:29:49 -0400444 }
445 pskIdentities = []pskIdentity{psk}
Steven Valdeza833c352016-11-01 13:39:36 -0400446 pskKEModes = []byte{pskDHEKEMode}
David Benjamin405da482016-08-08 17:25:07 -0400447 }
Steven Valdez5b986082016-09-01 12:29:49 -0400448
Steven Valdeza833c352016-11-01 13:39:36 -0400449 var pskIndex int
450 foundKEMode := bytes.IndexByte(pskKEModes, pskDHEKEMode) >= 0
Steven Valdez2d850622017-01-11 11:34:52 -0500451 if foundKEMode && !config.SessionTicketsDisabled {
Steven Valdeza833c352016-11-01 13:39:36 -0400452 for i, pskIdentity := range pskIdentities {
453 // TODO(svaldez): Check the obfuscatedTicketAge before accepting 0-RTT.
454 sessionState, ok := c.decryptTicket(pskIdentity.ticket)
455 if !ok {
David Benjamin405da482016-08-08 17:25:07 -0400456 continue
457 }
David Benjamin405da482016-08-08 17:25:07 -0400458
David Benjamind0d532f2016-11-16 13:16:13 +0900459 if !config.Bugs.AcceptAnySession {
David Benjamin0b8f85e2016-11-16 11:45:34 +0900460 if sessionState.vers != c.vers {
Steven Valdeza833c352016-11-01 13:39:36 -0400461 continue
Steven Valdez803c77a2016-09-06 14:13:43 -0400462 }
Steven Valdeza833c352016-11-01 13:39:36 -0400463 if sessionState.ticketExpiration.Before(c.config.time()) {
464 continue
465 }
David Benjamin2b02f4b2016-11-16 16:11:47 +0900466 sessionCipher := cipherSuiteFromID(sessionState.cipherSuite)
467 if sessionCipher == nil || sessionCipher.hash() != hs.suite.hash() {
Steven Valdeza833c352016-11-01 13:39:36 -0400468 continue
469 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400470 }
Steven Valdeza833c352016-11-01 13:39:36 -0400471
David Benjamin71186e82016-11-16 11:48:17 +0900472 clientTicketAge := time.Duration(uint32(pskIdentity.obfuscatedTicketAge-sessionState.ticketAgeAdd)) * time.Millisecond
473 if config.Bugs.ExpectTicketAge != 0 && clientTicketAge != config.Bugs.ExpectTicketAge {
474 c.sendAlert(alertHandshakeFailure)
475 return errors.New("tls: invalid ticket age")
476 }
477
Steven Valdeza833c352016-11-01 13:39:36 -0400478 hs.sessionState = sessionState
Steven Valdeza833c352016-11-01 13:39:36 -0400479 hs.hello.hasPSKIdentity = true
480 hs.hello.pskIdentity = uint16(i)
481 pskIndex = i
482 if config.Bugs.SelectPSKIdentityOnResume != 0 {
483 hs.hello.pskIdentity = config.Bugs.SelectPSKIdentityOnResume
484 }
485 c.didResume = true
486 break
Nick Harper0b3625b2016-07-25 16:16:28 -0700487 }
Nick Harper728eed82016-07-07 17:36:52 -0700488 }
489
David Benjamin7f78df42016-10-05 22:33:19 -0400490 if config.Bugs.AlwaysSelectPSKIdentity {
491 hs.hello.hasPSKIdentity = true
492 hs.hello.pskIdentity = 0
493 }
494
Steven Valdeza833c352016-11-01 13:39:36 -0400495 // Verify the PSK binder. Note there may not be a PSK binder if
496 // AcceptAnyBinder is set. See https://crbug.com/boringssl/115.
497 if hs.sessionState != nil && !config.Bugs.AcceptAnySession {
498 binderToVerify := hs.clientHello.pskBinders[pskIndex]
499 if err := verifyPSKBinder(hs.clientHello, hs.sessionState, binderToVerify, []byte{}); err != nil {
500 return err
501 }
502 }
503
Nick Harper728eed82016-07-07 17:36:52 -0700504 // Resolve PSK and compute the early secret.
Steven Valdez803c77a2016-09-06 14:13:43 -0400505 if hs.sessionState != nil {
David Benjamin48891ad2016-12-04 00:02:43 -0500506 hs.finishedHash.addEntropy(hs.sessionState.masterSecret)
Nick Harper0b3625b2016-07-25 16:16:28 -0700507 } else {
David Benjamin48891ad2016-12-04 00:02:43 -0500508 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
Nick Harper0b3625b2016-07-25 16:16:28 -0700509 }
Nick Harper728eed82016-07-07 17:36:52 -0700510
Steven Valdez803c77a2016-09-06 14:13:43 -0400511 hs.hello.hasKeyShare = true
512 if hs.sessionState != nil && config.Bugs.NegotiatePSKResumption {
513 hs.hello.hasKeyShare = false
514 }
515 if config.Bugs.MissingKeyShare {
516 hs.hello.hasKeyShare = false
517 }
518
David Benjamin3baa6e12016-10-07 21:10:38 -0400519 firstHelloRetryRequest := true
520
521ResendHelloRetryRequest:
522 var sendHelloRetryRequest bool
523 helloRetryRequest := &helloRetryRequestMsg{
Steven Valdezc94998a2017-06-20 10:55:02 -0400524 vers: c.wireVersion,
David Benjamin3baa6e12016-10-07 21:10:38 -0400525 duplicateExtensions: config.Bugs.DuplicateHelloRetryRequestExtensions,
526 }
527
528 if config.Bugs.AlwaysSendHelloRetryRequest {
529 sendHelloRetryRequest = true
530 }
531
532 if config.Bugs.SendHelloRetryRequestCookie != nil {
533 sendHelloRetryRequest = true
534 helloRetryRequest.cookie = config.Bugs.SendHelloRetryRequestCookie
535 }
536
537 if len(config.Bugs.CustomHelloRetryRequestExtension) > 0 {
538 sendHelloRetryRequest = true
539 helloRetryRequest.customExtension = config.Bugs.CustomHelloRetryRequestExtension
540 }
541
542 var selectedKeyShare *keyShareEntry
Steven Valdez803c77a2016-09-06 14:13:43 -0400543 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700544 // Look for the key share corresponding to our selected curve.
Nick Harper728eed82016-07-07 17:36:52 -0700545 for i := range hs.clientHello.keyShares {
546 if hs.clientHello.keyShares[i].group == selectedCurve {
547 selectedKeyShare = &hs.clientHello.keyShares[i]
548 break
549 }
550 }
551
David Benjamine73c7f42016-08-17 00:29:33 -0400552 if config.Bugs.ExpectMissingKeyShare && selectedKeyShare != nil {
553 return errors.New("tls: expected missing key share")
554 }
555
David Benjamin3baa6e12016-10-07 21:10:38 -0400556 if selectedKeyShare == nil {
557 helloRetryRequest.hasSelectedGroup = true
558 helloRetryRequest.selectedGroup = selectedCurve
Steven Valdez5440fe02016-07-18 12:40:30 -0400559 sendHelloRetryRequest = true
560 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400561 }
562
563 if config.Bugs.SendHelloRetryRequestCurve != 0 {
564 helloRetryRequest.hasSelectedGroup = true
565 helloRetryRequest.selectedGroup = config.Bugs.SendHelloRetryRequestCurve
566 sendHelloRetryRequest = true
567 }
568
569 if config.Bugs.SkipHelloRetryRequest {
570 sendHelloRetryRequest = false
571 }
572
573 if sendHelloRetryRequest {
Steven Valdeza833c352016-11-01 13:39:36 -0400574 oldClientHelloBytes := hs.clientHello.marshal()
David Benjamin3baa6e12016-10-07 21:10:38 -0400575 hs.writeServerHash(helloRetryRequest.marshal())
Steven Valdez4c7f5fa2017-10-02 15:53:57 -0400576 c.writeRecord(recordTypeHandshake, helloRetryRequest.marshal())
David Benjamin3baa6e12016-10-07 21:10:38 -0400577 c.flushHandshake()
578
Steven Valdez2d850622017-01-11 11:34:52 -0500579 if hs.clientHello.hasEarlyData {
580 c.skipEarlyData = true
581 }
582
David Benjamin3baa6e12016-10-07 21:10:38 -0400583 // Read new ClientHello.
584 newMsg, err := c.readHandshake()
585 if err != nil {
586 return err
Steven Valdez5440fe02016-07-18 12:40:30 -0400587 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400588 newClientHello, ok := newMsg.(*clientHelloMsg)
589 if !ok {
590 c.sendAlert(alertUnexpectedMessage)
591 return unexpectedMessageError(newClientHello, newMsg)
592 }
593 hs.writeClientHash(newClientHello.marshal())
Nick Harperdcfbc672016-07-16 17:47:31 +0200594
Steven Valdez2d850622017-01-11 11:34:52 -0500595 if newClientHello.hasEarlyData {
596 return errors.New("tls: EarlyData sent in new ClientHello")
597 }
598
Adam Langley2070f8a2017-03-10 15:25:14 -0800599 applyBugsToClientHello(newClientHello, config)
600
David Benjamin3baa6e12016-10-07 21:10:38 -0400601 // Check that the new ClientHello matches the old ClientHello,
602 // except for relevant modifications.
603 //
604 // TODO(davidben): Make this check more precise.
605 oldClientHelloCopy := *hs.clientHello
606 oldClientHelloCopy.raw = nil
607 oldClientHelloCopy.hasEarlyData = false
David Benjamin3baa6e12016-10-07 21:10:38 -0400608 newClientHelloCopy := *newClientHello
609 newClientHelloCopy.raw = nil
Nick Harperdcfbc672016-07-16 17:47:31 +0200610
David Benjamin3baa6e12016-10-07 21:10:38 -0400611 if helloRetryRequest.hasSelectedGroup {
612 newKeyShares := newClientHelloCopy.keyShares
Steven Valdeza833c352016-11-01 13:39:36 -0400613 if len(newKeyShares) != 1 || newKeyShares[0].group != helloRetryRequest.selectedGroup {
614 return errors.New("tls: KeyShare from HelloRetryRequest not in new ClientHello")
Nick Harperdcfbc672016-07-16 17:47:31 +0200615 }
Steven Valdeza833c352016-11-01 13:39:36 -0400616 selectedKeyShare = &newKeyShares[0]
617 newClientHelloCopy.keyShares = oldClientHelloCopy.keyShares
Nick Harper728eed82016-07-07 17:36:52 -0700618 }
619
David Benjamin3baa6e12016-10-07 21:10:38 -0400620 if len(helloRetryRequest.cookie) > 0 {
621 if !bytes.Equal(newClientHelloCopy.tls13Cookie, helloRetryRequest.cookie) {
622 return errors.New("tls: cookie from HelloRetryRequest not present in new ClientHello")
623 }
624 newClientHelloCopy.tls13Cookie = nil
625 }
David Benjaminea80f9d2016-11-15 18:19:55 +0900626
627 // PSK binders and obfuscated ticket age are both updated in the
628 // second ClientHello.
629 if len(oldClientHelloCopy.pskIdentities) != len(newClientHelloCopy.pskIdentities) {
630 return errors.New("tls: PSK identity count from old and new ClientHello do not match")
631 }
632 for i, identity := range oldClientHelloCopy.pskIdentities {
633 newClientHelloCopy.pskIdentities[i].obfuscatedTicketAge = identity.obfuscatedTicketAge
634 }
Steven Valdeza833c352016-11-01 13:39:36 -0400635 newClientHelloCopy.pskBinders = oldClientHelloCopy.pskBinders
Steven Valdez2d850622017-01-11 11:34:52 -0500636 newClientHelloCopy.hasEarlyData = oldClientHelloCopy.hasEarlyData
David Benjamin3baa6e12016-10-07 21:10:38 -0400637
638 if !oldClientHelloCopy.equal(&newClientHelloCopy) {
639 return errors.New("tls: new ClientHello does not match")
640 }
641
642 if firstHelloRetryRequest && config.Bugs.SecondHelloRetryRequest {
643 firstHelloRetryRequest = false
644 goto ResendHelloRetryRequest
645 }
Steven Valdeza833c352016-11-01 13:39:36 -0400646
647 // Verify the PSK binder. Note there may not be a PSK binder if
648 // AcceptAnyBinder is set. See https://crbug.com/115.
649 if hs.sessionState != nil && !config.Bugs.AcceptAnySession {
650 binderToVerify := newClientHello.pskBinders[pskIndex]
651 err := verifyPSKBinder(newClientHello, hs.sessionState, binderToVerify, append(oldClientHelloBytes, helloRetryRequest.marshal()...))
652 if err != nil {
653 return err
654 }
655 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400656 }
657
Nick Harperab20cec2016-12-19 17:38:41 -0800658 // Decide whether or not to accept early data.
Steven Valdez2d850622017-01-11 11:34:52 -0500659 if !sendHelloRetryRequest && hs.clientHello.hasEarlyData {
660 if !config.Bugs.AlwaysRejectEarlyData && hs.sessionState != nil {
661 if c.clientProtocol == string(hs.sessionState.earlyALPN) || config.Bugs.AlwaysAcceptEarlyData {
662 encryptedExtensions.extensions.hasEarlyData = true
663 }
664 }
665 if encryptedExtensions.extensions.hasEarlyData {
Nick Harperab20cec2016-12-19 17:38:41 -0800666 earlyTrafficSecret := hs.finishedHash.deriveSecret(earlyTrafficLabel)
Steven Valdezc7d4d212017-09-11 13:53:08 -0400667 c.in.useTrafficSecret(c.wireVersion, hs.suite, earlyTrafficSecret, clientWrite)
Nick Harperab20cec2016-12-19 17:38:41 -0800668
669 for _, expectedMsg := range config.Bugs.ExpectEarlyData {
670 if err := c.readRecord(recordTypeApplicationData); err != nil {
671 return err
672 }
673 if !bytes.Equal(c.input.data[c.input.off:], expectedMsg) {
674 return errors.New("ExpectEarlyData: did not get expected message")
675 }
676 c.in.freeBlock(c.input)
677 c.input = nil
Nick Harperab20cec2016-12-19 17:38:41 -0800678 }
679 } else {
680 c.skipEarlyData = true
681 }
682 }
683
Steven Valdez2d850622017-01-11 11:34:52 -0500684 if config.Bugs.SendEarlyDataExtension {
685 encryptedExtensions.extensions.hasEarlyData = true
686 }
687
David Benjamin3baa6e12016-10-07 21:10:38 -0400688 // Resolve ECDHE and compute the handshake secret.
David Benjamin3baa6e12016-10-07 21:10:38 -0400689 if hs.hello.hasKeyShare {
Nick Harper728eed82016-07-07 17:36:52 -0700690 // Once a curve has been selected and a key share identified,
691 // the server needs to generate a public value and send it in
692 // the ServerHello.
Steven Valdez5440fe02016-07-18 12:40:30 -0400693 curve, ok := curveForCurveID(selectedCurve)
Nick Harper728eed82016-07-07 17:36:52 -0700694 if !ok {
695 panic("tls: server failed to look up curve ID")
696 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400697 c.curveID = selectedCurve
698
699 var peerKey []byte
700 if config.Bugs.SkipHelloRetryRequest {
701 // If skipping HelloRetryRequest, use a random key to
702 // avoid crashing.
703 curve2, _ := curveForCurveID(selectedCurve)
704 var err error
705 peerKey, err = curve2.offer(config.rand())
706 if err != nil {
707 return err
708 }
709 } else {
710 peerKey = selectedKeyShare.keyExchange
711 }
712
David Benjamin48891ad2016-12-04 00:02:43 -0500713 publicKey, ecdheSecret, err := curve.accept(config.rand(), peerKey)
Nick Harper728eed82016-07-07 17:36:52 -0700714 if err != nil {
715 c.sendAlert(alertHandshakeFailure)
716 return err
717 }
David Benjamin48891ad2016-12-04 00:02:43 -0500718 hs.finishedHash.addEntropy(ecdheSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700719 hs.hello.hasKeyShare = true
Steven Valdez0ee2e112016-07-15 06:51:15 -0400720
Steven Valdez5440fe02016-07-18 12:40:30 -0400721 curveID := selectedCurve
Steven Valdez0ee2e112016-07-15 06:51:15 -0400722 if c.config.Bugs.SendCurve != 0 {
723 curveID = config.Bugs.SendCurve
724 }
725 if c.config.Bugs.InvalidECDHPoint {
726 publicKey[0] ^= 0xff
727 }
728
Nick Harper728eed82016-07-07 17:36:52 -0700729 hs.hello.keyShare = keyShareEntry{
Steven Valdez0ee2e112016-07-15 06:51:15 -0400730 group: curveID,
Nick Harper728eed82016-07-07 17:36:52 -0700731 keyExchange: publicKey,
732 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400733
734 if config.Bugs.EncryptedExtensionsWithKeyShare {
735 encryptedExtensions.extensions.hasKeyShare = true
736 encryptedExtensions.extensions.keyShare = keyShareEntry{
737 group: curveID,
738 keyExchange: publicKey,
739 }
740 }
Nick Harper728eed82016-07-07 17:36:52 -0700741 } else {
David Benjamin48891ad2016-12-04 00:02:43 -0500742 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
Nick Harper728eed82016-07-07 17:36:52 -0700743 }
744
745 // Send unencrypted ServerHello.
746 hs.writeServerHash(hs.hello.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400747 if config.Bugs.PartialEncryptedExtensionsWithServerHello {
748 helloBytes := hs.hello.marshal()
749 toWrite := make([]byte, 0, len(helloBytes)+1)
750 toWrite = append(toWrite, helloBytes...)
751 toWrite = append(toWrite, typeEncryptedExtensions)
752 c.writeRecord(recordTypeHandshake, toWrite)
753 } else {
Steven Valdez4c7f5fa2017-10-02 15:53:57 -0400754 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
David Benjamin7964b182016-07-14 23:36:30 -0400755 }
Nick Harper728eed82016-07-07 17:36:52 -0700756 c.flushHandshake()
757
Steven Valdez16821262017-09-08 17:03:42 -0400758 if isResumptionExperiment(c.wireVersion) {
Steven Valdez520e1222017-06-13 12:45:25 -0400759 c.writeRecord(recordTypeChangeCipherSpec, []byte{1})
760 }
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 Valdezc7d4d212017-09-11 13:53:08 -0400764 c.out.useTrafficSecret(c.wireVersion, 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
Dimitar Vlahovskibd708452017-08-10 18:01:06 +0200858 if !config.Bugs.SkipCertificateVerify {
859 hs.writeServerHash(certVerify.marshal())
860 c.writeRecord(recordTypeHandshake, certVerify.marshal())
861 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400862 } else if hs.sessionState != nil {
Nick Harper0b3625b2016-07-25 16:16:28 -0700863 // Pick up certificates from the session instead.
David Benjamin5ecb88b2016-10-04 17:51:35 -0400864 if len(hs.sessionState.certificates) > 0 {
Nick Harper0b3625b2016-07-25 16:16:28 -0700865 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
866 return err
867 }
868 }
Nick Harper728eed82016-07-07 17:36:52 -0700869 }
870
871 finished := new(finishedMsg)
Steven Valdezc4aa7272016-10-03 12:25:56 -0400872 finished.verifyData = hs.finishedHash.serverSum(serverHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -0700873 if config.Bugs.BadFinished {
874 finished.verifyData[0]++
875 }
876 hs.writeServerHash(finished.marshal())
877 c.writeRecord(recordTypeHandshake, finished.marshal())
David Benjamin02edcd02016-07-27 17:40:37 -0400878 if c.config.Bugs.SendExtraFinished {
879 c.writeRecord(recordTypeHandshake, finished.marshal())
880 }
Nick Harper728eed82016-07-07 17:36:52 -0700881 c.flushHandshake()
882
Steven Valdeze831a812017-03-09 14:56:07 -0500883 if encryptedExtensions.extensions.hasEarlyData && !c.skipEarlyData {
884 for _, expectedMsg := range config.Bugs.ExpectLateEarlyData {
885 if err := c.readRecord(recordTypeApplicationData); err != nil {
886 return err
887 }
888 if !bytes.Equal(c.input.data[c.input.off:], expectedMsg) {
889 return errors.New("ExpectLateEarlyData: did not get expected message")
890 }
891 c.in.freeBlock(c.input)
892 c.input = nil
893 }
894 }
895
Nick Harper728eed82016-07-07 17:36:52 -0700896 // The various secrets do not incorporate the client's final leg, so
897 // derive them now before updating the handshake context.
David Benjamin48891ad2016-12-04 00:02:43 -0500898 hs.finishedHash.addEntropy(hs.finishedHash.zeroSecret())
899 clientTrafficSecret := hs.finishedHash.deriveSecret(clientApplicationTrafficLabel)
900 serverTrafficSecret := hs.finishedHash.deriveSecret(serverApplicationTrafficLabel)
901 c.exporterSecret = hs.finishedHash.deriveSecret(exporterLabel)
Nick Harper728eed82016-07-07 17:36:52 -0700902
David Benjamin2aad4062016-07-14 23:15:40 -0400903 // Switch to application data keys on write. In particular, any alerts
904 // from the client certificate are sent over these keys.
Steven Valdezc7d4d212017-09-11 13:53:08 -0400905 c.out.useTrafficSecret(c.wireVersion, hs.suite, serverTrafficSecret, serverWrite)
David Benjamin2aad4062016-07-14 23:15:40 -0400906
Nick Harper7cd0a972016-12-02 11:08:40 -0800907 // Send 0.5-RTT messages.
908 for _, halfRTTMsg := range config.Bugs.SendHalfRTTData {
909 if _, err := c.writeRecord(recordTypeApplicationData, halfRTTMsg); err != nil {
910 return err
911 }
912 }
913
Nick Harperab20cec2016-12-19 17:38:41 -0800914 // Read end_of_early_data alert.
915 if encryptedExtensions.extensions.hasEarlyData {
916 if err := c.readRecord(recordTypeAlert); err != errEndOfEarlyDataAlert {
917 if err == nil {
918 panic("readRecord(recordTypeAlert) returned nil")
919 }
920 return err
921 }
922 }
923
Steven Valdezc7d4d212017-09-11 13:53:08 -0400924 if isResumptionClientCCSExperiment(c.wireVersion) && !c.skipEarlyData {
Steven Valdez520e1222017-06-13 12:45:25 -0400925 if err := c.readRecord(recordTypeChangeCipherSpec); err != nil {
926 return err
927 }
928 }
929
Nick Harperab20cec2016-12-19 17:38:41 -0800930 // Switch input stream to handshake traffic keys.
Steven Valdezc7d4d212017-09-11 13:53:08 -0400931 c.in.useTrafficSecret(c.wireVersion, hs.suite, clientHandshakeTrafficSecret, clientWrite)
Nick Harperab20cec2016-12-19 17:38:41 -0800932
Nick Harper728eed82016-07-07 17:36:52 -0700933 // If we requested a client certificate, then the client must send a
934 // certificate message, even if it's empty.
935 if config.ClientAuth >= RequestClientCert {
David Benjamin8d343b42016-07-09 14:26:01 -0700936 msg, err := c.readHandshake()
937 if err != nil {
938 return err
939 }
940
941 certMsg, ok := msg.(*certificateMsg)
942 if !ok {
943 c.sendAlert(alertUnexpectedMessage)
944 return unexpectedMessageError(certMsg, msg)
945 }
946 hs.writeClientHash(certMsg.marshal())
947
948 if len(certMsg.certificates) == 0 {
949 // The client didn't actually send a certificate
950 switch config.ClientAuth {
951 case RequireAnyClientCert, RequireAndVerifyClientCert:
David Benjamin1db9e1b2016-10-07 20:51:43 -0400952 c.sendAlert(alertCertificateRequired)
David Benjamin8d343b42016-07-09 14:26:01 -0700953 return errors.New("tls: client didn't provide a certificate")
954 }
955 }
956
Steven Valdeza833c352016-11-01 13:39:36 -0400957 var certs [][]byte
958 for _, cert := range certMsg.certificates {
959 certs = append(certs, cert.data)
960 // OCSP responses and SCT lists are not negotiated in
961 // client certificates.
962 if cert.ocspResponse != nil || cert.sctList != nil {
963 c.sendAlert(alertUnsupportedExtension)
964 return errors.New("tls: unexpected extensions in the client certificate")
965 }
966 }
967 pub, err := hs.processCertsFromClient(certs)
David Benjamin8d343b42016-07-09 14:26:01 -0700968 if err != nil {
969 return err
970 }
971
972 if len(c.peerCertificates) > 0 {
973 msg, err = c.readHandshake()
974 if err != nil {
975 return err
976 }
977
978 certVerify, ok := msg.(*certificateVerifyMsg)
979 if !ok {
980 c.sendAlert(alertUnexpectedMessage)
981 return unexpectedMessageError(certVerify, msg)
982 }
983
David Benjaminf74ec792016-07-13 21:18:49 -0400984 c.peerSignatureAlgorithm = certVerify.signatureAlgorithm
David Benjamin8d343b42016-07-09 14:26:01 -0700985 input := hs.finishedHash.certificateVerifyInput(clientCertificateVerifyContextTLS13)
986 if err := verifyMessage(c.vers, pub, config, certVerify.signatureAlgorithm, input, certVerify.signature); err != nil {
987 c.sendAlert(alertBadCertificate)
988 return err
989 }
990 hs.writeClientHash(certVerify.marshal())
991 }
Nick Harper728eed82016-07-07 17:36:52 -0700992 }
993
Nick Harper60a85cb2016-09-23 16:25:11 -0700994 if encryptedExtensions.extensions.channelIDRequested {
995 msg, err := c.readHandshake()
996 if err != nil {
997 return err
998 }
999 channelIDMsg, ok := msg.(*channelIDMsg)
1000 if !ok {
1001 c.sendAlert(alertUnexpectedMessage)
1002 return unexpectedMessageError(channelIDMsg, msg)
1003 }
1004 channelIDHash := crypto.SHA256.New()
1005 channelIDHash.Write(hs.finishedHash.certificateVerifyInput(channelIDContextTLS13))
1006 channelID, err := verifyChannelIDMessage(channelIDMsg, channelIDHash.Sum(nil))
1007 if err != nil {
1008 return err
1009 }
1010 c.channelID = channelID
1011
1012 hs.writeClientHash(channelIDMsg.marshal())
1013 }
1014
Nick Harper728eed82016-07-07 17:36:52 -07001015 // Read the client Finished message.
1016 msg, err := c.readHandshake()
1017 if err != nil {
1018 return err
1019 }
1020 clientFinished, ok := msg.(*finishedMsg)
1021 if !ok {
1022 c.sendAlert(alertUnexpectedMessage)
1023 return unexpectedMessageError(clientFinished, msg)
1024 }
1025
Steven Valdezc4aa7272016-10-03 12:25:56 -04001026 verify := hs.finishedHash.clientSum(clientHandshakeTrafficSecret)
Nick Harper728eed82016-07-07 17:36:52 -07001027 if len(verify) != len(clientFinished.verifyData) ||
1028 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
1029 c.sendAlert(alertHandshakeFailure)
1030 return errors.New("tls: client's Finished message was incorrect")
1031 }
David Benjamin97a0a082016-07-13 17:57:35 -04001032 hs.writeClientHash(clientFinished.marshal())
Nick Harper728eed82016-07-07 17:36:52 -07001033
David Benjamin2aad4062016-07-14 23:15:40 -04001034 // Switch to application data keys on read.
Steven Valdezc7d4d212017-09-11 13:53:08 -04001035 c.in.useTrafficSecret(c.wireVersion, hs.suite, clientTrafficSecret, clientWrite)
Nick Harper728eed82016-07-07 17:36:52 -07001036
Nick Harper728eed82016-07-07 17:36:52 -07001037 c.cipherSuite = hs.suite
David Benjamin48891ad2016-12-04 00:02:43 -05001038 c.resumptionSecret = hs.finishedHash.deriveSecret(resumptionLabel)
David Benjamin58104882016-07-18 01:25:41 +02001039
1040 // TODO(davidben): Allow configuring the number of tickets sent for
1041 // testing.
Steven Valdeza833c352016-11-01 13:39:36 -04001042 if !c.config.SessionTicketsDisabled && foundKEMode {
David Benjamin58104882016-07-18 01:25:41 +02001043 ticketCount := 2
1044 for i := 0; i < ticketCount; i++ {
1045 c.SendNewSessionTicket()
1046 }
1047 }
Nick Harper728eed82016-07-07 17:36:52 -07001048 return nil
1049}
1050
David Benjaminf25dda92016-07-04 10:05:26 -07001051// processClientHello processes the ClientHello message from the client and
1052// decides whether we will perform session resumption.
1053func (hs *serverHandshakeState) processClientHello() (isResume bool, err error) {
1054 config := hs.c.config
1055 c := hs.c
1056
1057 hs.hello = &serverHelloMsg{
1058 isDTLS: c.isDTLS,
Steven Valdezc94998a2017-06-20 10:55:02 -04001059 vers: c.wireVersion,
David Benjaminb1dd8cd2016-09-26 19:20:48 -04001060 versOverride: config.Bugs.SendServerHelloVersion,
David Benjamin413e79e2017-07-01 10:11:53 -04001061 compressionMethod: config.Bugs.SendCompressionMethod,
Steven Valdez038da9b2017-07-10 12:57:25 -04001062 extensions: serverExtensions{
1063 supportedVersion: config.Bugs.SendServerSupportedExtensionVersion,
1064 },
David Benjaminb853f312017-07-14 18:40:34 -04001065 omitExtensions: config.Bugs.OmitExtensions,
1066 emptyExtensions: config.Bugs.EmptyExtensions,
David Benjaminf25dda92016-07-04 10:05:26 -07001067 }
1068
1069 hs.hello.random = make([]byte, 32)
1070 _, err = io.ReadFull(config.rand(), hs.hello.random)
1071 if err != nil {
1072 c.sendAlert(alertInternalError)
1073 return false, err
1074 }
David Benjamina128a552016-10-13 14:26:33 -04001075 // Signal downgrades in the server random, per draft-ietf-tls-tls13-16,
1076 // section 4.1.3.
Nick Harper85f20c22016-07-04 10:11:59 -07001077 if c.vers <= VersionTLS12 && config.maxVersion(c.isDTLS) >= VersionTLS13 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001078 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS13)
Nick Harper85f20c22016-07-04 10:11:59 -07001079 }
1080 if c.vers <= VersionTLS11 && config.maxVersion(c.isDTLS) == VersionTLS12 {
David Benjamin1f61f0d2016-07-10 12:20:35 -04001081 copy(hs.hello.random[len(hs.hello.random)-8:], downgradeTLS12)
Nick Harper85f20c22016-07-04 10:11:59 -07001082 }
David Benjaminf25dda92016-07-04 10:05:26 -07001083
Steven Valdez0e4a4482017-07-17 11:12:34 -04001084 if len(hs.clientHello.sessionId) == 0 && c.config.Bugs.ExpectClientHelloSessionID {
1085 return false, errors.New("tls: expected non-empty session ID from client")
1086 }
1087
David Benjaminf25dda92016-07-04 10:05:26 -07001088 foundCompression := false
1089 // We only support null compression, so check that the client offered it.
1090 for _, compression := range hs.clientHello.compressionMethods {
1091 if compression == compressionNone {
1092 foundCompression = true
1093 break
1094 }
1095 }
1096
1097 if !foundCompression {
1098 c.sendAlert(alertHandshakeFailure)
1099 return false, errors.New("tls: client does not support uncompressed connections")
1100 }
David Benjamin7d79f832016-07-04 09:20:45 -07001101
1102 if err := hs.processClientExtensions(&hs.hello.extensions); err != nil {
1103 return false, err
Adam Langley09505632015-07-30 18:10:13 -07001104 }
Adam Langley95c29f32014-06-20 12:00:00 -07001105
1106 supportedCurve := false
1107 preferredCurves := config.curvePreferences()
1108Curves:
1109 for _, curve := range hs.clientHello.supportedCurves {
1110 for _, supported := range preferredCurves {
1111 if supported == curve {
1112 supportedCurve = true
1113 break Curves
1114 }
1115 }
1116 }
1117
1118 supportedPointFormat := false
1119 for _, pointFormat := range hs.clientHello.supportedPoints {
1120 if pointFormat == pointFormatUncompressed {
1121 supportedPointFormat = true
1122 break
1123 }
1124 }
1125 hs.ellipticOk = supportedCurve && supportedPointFormat
1126
Adam Langley95c29f32014-06-20 12:00:00 -07001127 _, hs.ecdsaOk = hs.cert.PrivateKey.(*ecdsa.PrivateKey)
David Benjamind768c5d2017-03-28 18:28:44 -05001128 // Ed25519 also uses ECDSA certificates.
1129 _, ed25519Ok := hs.cert.PrivateKey.(ed25519.PrivateKey)
1130 hs.ecdsaOk = hs.ecdsaOk || ed25519Ok
Adam Langley95c29f32014-06-20 12:00:00 -07001131
David Benjamin4b27d9f2015-05-12 22:42:52 -04001132 // For test purposes, check that the peer never offers a session when
1133 // renegotiating.
1134 if c.cipherSuite != nil && len(hs.clientHello.sessionId) > 0 && c.config.Bugs.FailIfResumeOnRenego {
1135 return false, errors.New("tls: offered resumption on renegotiation")
1136 }
1137
David Benjamindd6fed92015-10-23 17:41:12 -04001138 if c.config.Bugs.FailIfSessionOffered && (len(hs.clientHello.sessionTicket) > 0 || len(hs.clientHello.sessionId) > 0) {
1139 return false, errors.New("tls: client offered a session ticket or ID")
1140 }
1141
Adam Langley95c29f32014-06-20 12:00:00 -07001142 if hs.checkForResumption() {
1143 return true, nil
1144 }
1145
Adam Langley95c29f32014-06-20 12:00:00 -07001146 var preferenceList, supportedList []uint16
1147 if c.config.PreferServerCipherSuites {
1148 preferenceList = c.config.cipherSuites()
1149 supportedList = hs.clientHello.cipherSuites
1150 } else {
1151 preferenceList = hs.clientHello.cipherSuites
1152 supportedList = c.config.cipherSuites()
1153 }
1154
1155 for _, id := range preferenceList {
Steven Valdez803c77a2016-09-06 14:13:43 -04001156 if hs.suite = c.tryCipherSuite(id, supportedList, c.vers, hs.ellipticOk, hs.ecdsaOk); hs.suite != nil {
Adam Langley95c29f32014-06-20 12:00:00 -07001157 break
1158 }
1159 }
1160
1161 if hs.suite == nil {
1162 c.sendAlert(alertHandshakeFailure)
1163 return false, errors.New("tls: no cipher suite supported by both client and server")
1164 }
1165
1166 return false, nil
1167}
1168
David Benjamin7d79f832016-07-04 09:20:45 -07001169// processClientExtensions processes all ClientHello extensions not directly
1170// related to cipher suite negotiation and writes responses in serverExtensions.
1171func (hs *serverHandshakeState) processClientExtensions(serverExtensions *serverExtensions) error {
1172 config := hs.c.config
1173 c := hs.c
1174
David Benjamin8d315d72016-07-18 01:03:18 +02001175 if c.vers < VersionTLS13 || config.Bugs.NegotiateRenegotiationInfoAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001176 if !bytes.Equal(c.clientVerify, hs.clientHello.secureRenegotiation) {
1177 c.sendAlert(alertHandshakeFailure)
1178 return errors.New("tls: renegotiation mismatch")
David Benjamin7d79f832016-07-04 09:20:45 -07001179 }
David Benjamin7d79f832016-07-04 09:20:45 -07001180
Nick Harper728eed82016-07-07 17:36:52 -07001181 if len(c.clientVerify) > 0 && !c.config.Bugs.EmptyRenegotiationInfo {
1182 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.clientVerify...)
1183 serverExtensions.secureRenegotiation = append(serverExtensions.secureRenegotiation, c.serverVerify...)
1184 if c.config.Bugs.BadRenegotiationInfo {
1185 serverExtensions.secureRenegotiation[0] ^= 0x80
1186 }
David Benjamin9343b0b2017-07-01 00:31:27 -04001187 if c.config.Bugs.BadRenegotiationInfoEnd {
1188 serverExtensions.secureRenegotiation[len(serverExtensions.secureRenegotiation)-1] ^= 0x80
1189 }
Nick Harper728eed82016-07-07 17:36:52 -07001190 } else {
1191 serverExtensions.secureRenegotiation = hs.clientHello.secureRenegotiation
1192 }
1193
1194 if c.noRenegotiationInfo() {
1195 serverExtensions.secureRenegotiation = nil
1196 }
David Benjamin7d79f832016-07-04 09:20:45 -07001197 }
1198
1199 serverExtensions.duplicateExtension = c.config.Bugs.DuplicateExtension
1200
1201 if len(hs.clientHello.serverName) > 0 {
1202 c.serverName = hs.clientHello.serverName
1203 }
1204 if len(config.Certificates) == 0 {
1205 c.sendAlert(alertInternalError)
1206 return errors.New("tls: no certificates configured")
1207 }
1208 hs.cert = &config.Certificates[0]
1209 if len(hs.clientHello.serverName) > 0 {
1210 hs.cert = config.getCertificateForName(hs.clientHello.serverName)
1211 }
1212 if expected := c.config.Bugs.ExpectServerName; expected != "" && expected != hs.clientHello.serverName {
1213 return errors.New("tls: unexpected server name")
1214 }
1215
David Benjamina58baaf2017-02-28 20:54:28 -05001216 if cert := config.Bugs.RenegotiationCertificate; c.cipherSuite != nil && cert != nil {
1217 hs.cert = cert
1218 }
1219
David Benjamin7d79f832016-07-04 09:20:45 -07001220 if len(hs.clientHello.alpnProtocols) > 0 {
David Benjaminbbf42462017-03-14 21:27:10 -04001221 // We will never offer ALPN as a client on renegotiation
1222 // handshakes.
1223 if len(c.clientVerify) > 0 {
1224 return errors.New("tls: offered ALPN on renegotiation")
1225 }
David Benjamin7d79f832016-07-04 09:20:45 -07001226 if proto := c.config.Bugs.ALPNProtocol; proto != nil {
1227 serverExtensions.alpnProtocol = *proto
1228 serverExtensions.alpnProtocolEmpty = len(*proto) == 0
1229 c.clientProtocol = *proto
1230 c.usedALPN = true
1231 } else if selectedProto, fallback := mutualProtocol(hs.clientHello.alpnProtocols, c.config.NextProtos); !fallback {
1232 serverExtensions.alpnProtocol = selectedProto
1233 c.clientProtocol = selectedProto
1234 c.usedALPN = true
1235 }
1236 }
Nick Harper728eed82016-07-07 17:36:52 -07001237
David Benjamin0c40a962016-08-01 12:05:50 -04001238 if len(c.config.Bugs.SendALPN) > 0 {
1239 serverExtensions.alpnProtocol = c.config.Bugs.SendALPN
1240 }
1241
David Benjamin8d315d72016-07-18 01:03:18 +02001242 if c.vers < VersionTLS13 || config.Bugs.NegotiateNPNAtAllVersions {
Nick Harper728eed82016-07-07 17:36:52 -07001243 if len(hs.clientHello.alpnProtocols) == 0 || c.config.Bugs.NegotiateALPNAndNPN {
1244 // Although sending an empty NPN extension is reasonable, Firefox has
1245 // had a bug around this. Best to send nothing at all if
1246 // config.NextProtos is empty. See
1247 // https://code.google.com/p/go/issues/detail?id=5445.
1248 if hs.clientHello.nextProtoNeg && len(config.NextProtos) > 0 {
1249 serverExtensions.nextProtoNeg = true
1250 serverExtensions.nextProtos = config.NextProtos
Steven Valdeza833c352016-11-01 13:39:36 -04001251 serverExtensions.npnAfterAlpn = config.Bugs.SwapNPNAndALPN
Nick Harper728eed82016-07-07 17:36:52 -07001252 }
David Benjamin7d79f832016-07-04 09:20:45 -07001253 }
Steven Valdez143e8b32016-07-11 13:19:03 -04001254 }
David Benjamin7d79f832016-07-04 09:20:45 -07001255
David Benjamin8d315d72016-07-18 01:03:18 +02001256 if c.vers < VersionTLS13 || config.Bugs.NegotiateEMSAtAllVersions {
David Benjamin163c9562016-08-29 23:14:17 -04001257 disableEMS := config.Bugs.NoExtendedMasterSecret
1258 if c.cipherSuite != nil {
1259 disableEMS = config.Bugs.NoExtendedMasterSecretOnRenegotiation
1260 }
1261 serverExtensions.extendedMasterSecret = c.vers >= VersionTLS10 && hs.clientHello.extendedMasterSecret && !disableEMS
Steven Valdez143e8b32016-07-11 13:19:03 -04001262 }
David Benjamin7d79f832016-07-04 09:20:45 -07001263
Nick Harper60a85cb2016-09-23 16:25:11 -07001264 if hs.clientHello.channelIDSupported && config.RequestChannelID {
1265 serverExtensions.channelIDRequested = true
David Benjamin7d79f832016-07-04 09:20:45 -07001266 }
1267
1268 if hs.clientHello.srtpProtectionProfiles != nil {
1269 SRTPLoop:
1270 for _, p1 := range c.config.SRTPProtectionProfiles {
1271 for _, p2 := range hs.clientHello.srtpProtectionProfiles {
1272 if p1 == p2 {
1273 serverExtensions.srtpProtectionProfile = p1
1274 c.srtpProtectionProfile = p1
1275 break SRTPLoop
1276 }
1277 }
1278 }
1279 }
1280
1281 if c.config.Bugs.SendSRTPProtectionProfile != 0 {
1282 serverExtensions.srtpProtectionProfile = c.config.Bugs.SendSRTPProtectionProfile
1283 }
1284
1285 if expected := c.config.Bugs.ExpectedCustomExtension; expected != nil {
1286 if hs.clientHello.customExtension != *expected {
1287 return fmt.Errorf("tls: bad custom extension contents %q", hs.clientHello.customExtension)
1288 }
1289 }
1290 serverExtensions.customExtension = config.Bugs.CustomExtension
1291
Steven Valdez143e8b32016-07-11 13:19:03 -04001292 if c.config.Bugs.AdvertiseTicketExtension {
1293 serverExtensions.ticketSupported = true
1294 }
1295
David Benjamina81967b2016-12-22 09:16:57 -05001296 if c.config.Bugs.SendSupportedPointFormats != nil {
1297 serverExtensions.supportedPoints = c.config.Bugs.SendSupportedPointFormats
1298 }
1299
David Benjamin6c1f2b72017-10-04 17:01:22 -04001300 if c.config.Bugs.SendServerSupportedCurves {
1301 serverExtensions.supportedCurves = c.config.curvePreferences()
1302 }
1303
David Benjamin65ac9972016-09-02 21:35:25 -04001304 if !hs.clientHello.hasGREASEExtension && config.Bugs.ExpectGREASE {
1305 return errors.New("tls: no GREASE extension found")
1306 }
1307
David Benjamin023d4192017-02-06 13:49:07 -05001308 serverExtensions.serverNameAck = c.config.Bugs.SendServerNameAck
1309
David Benjamin7d79f832016-07-04 09:20:45 -07001310 return nil
1311}
1312
Adam Langley95c29f32014-06-20 12:00:00 -07001313// checkForResumption returns true if we should perform resumption on this connection.
1314func (hs *serverHandshakeState) checkForResumption() bool {
1315 c := hs.c
1316
David Benjamin405da482016-08-08 17:25:07 -04001317 ticket := hs.clientHello.sessionTicket
1318 if len(ticket) == 0 && len(hs.clientHello.pskIdentities) > 0 && c.config.Bugs.AcceptAnySession {
Steven Valdez5b986082016-09-01 12:29:49 -04001319 ticket = hs.clientHello.pskIdentities[0].ticket
David Benjamin405da482016-08-08 17:25:07 -04001320 }
1321 if len(ticket) > 0 {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001322 if c.config.SessionTicketsDisabled {
1323 return false
1324 }
David Benjaminb0c8db72014-09-24 15:19:56 -04001325
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001326 var ok bool
David Benjamin405da482016-08-08 17:25:07 -04001327 if hs.sessionState, ok = c.decryptTicket(ticket); !ok {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001328 return false
1329 }
1330 } else {
1331 if c.config.ServerSessionCache == nil {
1332 return false
1333 }
1334
1335 var ok bool
1336 sessionId := string(hs.clientHello.sessionId)
1337 if hs.sessionState, ok = c.config.ServerSessionCache.Get(sessionId); !ok {
1338 return false
1339 }
Adam Langley95c29f32014-06-20 12:00:00 -07001340 }
1341
Steven Valdez803c77a2016-09-06 14:13:43 -04001342 if c.config.Bugs.AcceptAnySession {
1343 // Replace the cipher suite with one known to work, to test
1344 // cross-version resumption attempts.
1345 hs.sessionState.cipherSuite = TLS_RSA_WITH_AES_128_CBC_SHA
1346 } else {
David Benjamin405da482016-08-08 17:25:07 -04001347 // Never resume a session for a different SSL version.
1348 if c.vers != hs.sessionState.vers {
1349 return false
Adam Langley95c29f32014-06-20 12:00:00 -07001350 }
David Benjamin405da482016-08-08 17:25:07 -04001351
1352 cipherSuiteOk := false
1353 // Check that the client is still offering the ciphersuite in the session.
1354 for _, id := range hs.clientHello.cipherSuites {
1355 if id == hs.sessionState.cipherSuite {
1356 cipherSuiteOk = true
1357 break
1358 }
1359 }
1360 if !cipherSuiteOk {
1361 return false
1362 }
Adam Langley95c29f32014-06-20 12:00:00 -07001363 }
1364
1365 // Check that we also support the ciphersuite from the session.
Steven Valdez803c77a2016-09-06 14:13:43 -04001366 hs.suite = c.tryCipherSuite(hs.sessionState.cipherSuite, c.config.cipherSuites(), c.vers, hs.ellipticOk, hs.ecdsaOk)
1367
Adam Langley95c29f32014-06-20 12:00:00 -07001368 if hs.suite == nil {
1369 return false
1370 }
1371
1372 sessionHasClientCerts := len(hs.sessionState.certificates) != 0
1373 needClientCerts := c.config.ClientAuth == RequireAnyClientCert || c.config.ClientAuth == RequireAndVerifyClientCert
1374 if needClientCerts && !sessionHasClientCerts {
1375 return false
1376 }
1377 if sessionHasClientCerts && c.config.ClientAuth == NoClientCert {
1378 return false
1379 }
1380
1381 return true
1382}
1383
1384func (hs *serverHandshakeState) doResumeHandshake() error {
1385 c := hs.c
1386
1387 hs.hello.cipherSuite = hs.suite.id
David Benjaminece3de92015-03-16 18:02:20 -04001388 if c.config.Bugs.SendCipherSuite != 0 {
1389 hs.hello.cipherSuite = c.config.Bugs.SendCipherSuite
1390 }
Adam Langley95c29f32014-06-20 12:00:00 -07001391 // We echo the client's session ID in the ServerHello to let it know
1392 // that we're doing a resumption.
1393 hs.hello.sessionId = hs.clientHello.sessionId
Nick Harperb3d51be2016-07-01 11:43:18 -04001394 hs.hello.extensions.ticketSupported = c.config.Bugs.RenewTicketOnResume
Adam Langley95c29f32014-06-20 12:00:00 -07001395
David Benjamin80d1b352016-05-04 19:19:06 -04001396 if c.config.Bugs.SendSCTListOnResume != nil {
Nick Harperb3d51be2016-07-01 11:43:18 -04001397 hs.hello.extensions.sctList = c.config.Bugs.SendSCTListOnResume
David Benjamin80d1b352016-05-04 19:19:06 -04001398 }
1399
David Benjamindaa88502016-10-04 16:32:16 -04001400 if c.config.Bugs.SendOCSPResponseOnResume != nil {
1401 // There is no way, syntactically, to send an OCSP response on a
1402 // resumption handshake.
1403 hs.hello.extensions.ocspStapling = true
1404 }
1405
Adam Langley95c29f32014-06-20 12:00:00 -07001406 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamine098ec22014-08-27 23:13:20 -04001407 hs.finishedHash.discardHandshakeBuffer()
David Benjamin83c0bc92014-08-04 01:23:53 -04001408 hs.writeClientHash(hs.clientHello.marshal())
1409 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001410
1411 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1412
1413 if len(hs.sessionState.certificates) > 0 {
1414 if _, err := hs.processCertsFromClient(hs.sessionState.certificates); err != nil {
1415 return err
1416 }
1417 }
1418
1419 hs.masterSecret = hs.sessionState.masterSecret
Adam Langley75712922014-10-10 16:23:43 -07001420 c.extendedMasterSecret = hs.sessionState.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001421
1422 return nil
1423}
1424
1425func (hs *serverHandshakeState) doFullHandshake() error {
1426 config := hs.c.config
1427 c := hs.c
1428
David Benjamin48cae082014-10-27 01:06:24 -04001429 isPSK := hs.suite.flags&suitePSK != 0
1430 if !isPSK && hs.clientHello.ocspStapling && len(hs.cert.OCSPStaple) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001431 hs.hello.extensions.ocspStapling = true
Adam Langley95c29f32014-06-20 12:00:00 -07001432 }
1433
David Benjamin61f95272014-11-25 01:55:35 -05001434 if hs.clientHello.sctListSupported && len(hs.cert.SignedCertificateTimestampList) > 0 {
Nick Harperb3d51be2016-07-01 11:43:18 -04001435 hs.hello.extensions.sctList = hs.cert.SignedCertificateTimestampList
David Benjamin61f95272014-11-25 01:55:35 -05001436 }
1437
David Benjamin5c4271f2017-08-23 22:09:41 -07001438 if len(c.clientVerify) > 0 && config.Bugs.SendSCTListOnRenegotiation != nil {
1439 hs.hello.extensions.sctList = config.Bugs.SendSCTListOnRenegotiation
1440 }
1441
Nick Harperb3d51be2016-07-01 11:43:18 -04001442 hs.hello.extensions.ticketSupported = hs.clientHello.ticketSupported && !config.SessionTicketsDisabled && c.vers > VersionSSL30
Adam Langley95c29f32014-06-20 12:00:00 -07001443 hs.hello.cipherSuite = hs.suite.id
David Benjamin6095de82014-12-27 01:50:38 -05001444 if config.Bugs.SendCipherSuite != 0 {
1445 hs.hello.cipherSuite = config.Bugs.SendCipherSuite
1446 }
Nick Harperb3d51be2016-07-01 11:43:18 -04001447 c.extendedMasterSecret = hs.hello.extensions.extendedMasterSecret
Adam Langley95c29f32014-06-20 12:00:00 -07001448
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001449 // Generate a session ID if we're to save the session.
Nick Harperb3d51be2016-07-01 11:43:18 -04001450 if !hs.hello.extensions.ticketSupported && config.ServerSessionCache != nil {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001451 hs.hello.sessionId = make([]byte, 32)
1452 if _, err := io.ReadFull(config.rand(), hs.hello.sessionId); err != nil {
1453 c.sendAlert(alertInternalError)
1454 return errors.New("tls: short read from Rand: " + err.Error())
1455 }
1456 }
1457
Adam Langley95c29f32014-06-20 12:00:00 -07001458 hs.finishedHash = newFinishedHash(c.vers, hs.suite)
David Benjamin83c0bc92014-08-04 01:23:53 -04001459 hs.writeClientHash(hs.clientHello.marshal())
1460 hs.writeServerHash(hs.hello.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001461
David Benjaminabe94e32016-09-04 14:18:58 -04001462 if config.Bugs.SendSNIWarningAlert {
1463 c.SendAlert(alertLevelWarning, alertUnrecognizedName)
1464 }
1465
Adam Langley95c29f32014-06-20 12:00:00 -07001466 c.writeRecord(recordTypeHandshake, hs.hello.marshal())
1467
David Benjamin48cae082014-10-27 01:06:24 -04001468 if !isPSK {
1469 certMsg := new(certificateMsg)
David Benjamin8923c0b2015-06-07 11:42:34 -04001470 if !config.Bugs.EmptyCertificateList {
Steven Valdeza833c352016-11-01 13:39:36 -04001471 for _, certData := range hs.cert.Certificate {
1472 certMsg.certificates = append(certMsg.certificates, certificateEntry{
1473 data: certData,
1474 })
1475 }
David Benjamin8923c0b2015-06-07 11:42:34 -04001476 }
David Benjamin48cae082014-10-27 01:06:24 -04001477 if !config.Bugs.UnauthenticatedECDH {
David Benjaminbcb2d912015-02-24 23:45:43 -05001478 certMsgBytes := certMsg.marshal()
David Benjaminbcb2d912015-02-24 23:45:43 -05001479 hs.writeServerHash(certMsgBytes)
1480 c.writeRecord(recordTypeHandshake, certMsgBytes)
David Benjamin48cae082014-10-27 01:06:24 -04001481 }
David Benjamin1c375dd2014-07-12 00:48:23 -04001482 }
Adam Langley95c29f32014-06-20 12:00:00 -07001483
Nick Harperb3d51be2016-07-01 11:43:18 -04001484 if hs.hello.extensions.ocspStapling && !c.config.Bugs.SkipCertificateStatus {
Adam Langley95c29f32014-06-20 12:00:00 -07001485 certStatus := new(certificateStatusMsg)
1486 certStatus.statusType = statusTypeOCSP
1487 certStatus.response = hs.cert.OCSPStaple
David Benjamin5c4271f2017-08-23 22:09:41 -07001488 if len(c.clientVerify) > 0 && config.Bugs.SendOCSPResponseOnRenegotiation != nil {
1489 certStatus.response = config.Bugs.SendOCSPResponseOnRenegotiation
1490 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001491 hs.writeServerHash(certStatus.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001492 c.writeRecord(recordTypeHandshake, certStatus.marshal())
1493 }
1494
1495 keyAgreement := hs.suite.ka(c.vers)
1496 skx, err := keyAgreement.generateServerKeyExchange(config, hs.cert, hs.clientHello, hs.hello)
1497 if err != nil {
1498 c.sendAlert(alertHandshakeFailure)
1499 return err
1500 }
Steven Valdez5440fe02016-07-18 12:40:30 -04001501 if ecdhe, ok := keyAgreement.(*ecdheKeyAgreement); ok {
1502 c.curveID = ecdhe.curveID
1503 }
David Benjamin9c651c92014-07-12 13:27:45 -04001504 if skx != nil && !config.Bugs.SkipServerKeyExchange {
David Benjamin83c0bc92014-08-04 01:23:53 -04001505 hs.writeServerHash(skx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001506 c.writeRecord(recordTypeHandshake, skx.marshal())
1507 }
1508
1509 if config.ClientAuth >= RequestClientCert {
1510 // Request a client certificate
David Benjamin7b030512014-07-08 17:30:11 -04001511 certReq := &certificateRequestMsg{
1512 certificateTypes: config.ClientCertificateTypes,
1513 }
1514 if certReq.certificateTypes == nil {
1515 certReq.certificateTypes = []byte{
1516 byte(CertTypeRSASign),
1517 byte(CertTypeECDSASign),
1518 }
Adam Langley95c29f32014-06-20 12:00:00 -07001519 }
1520 if c.vers >= VersionTLS12 {
Nick Harper60edffd2016-06-21 15:19:24 -07001521 certReq.hasSignatureAlgorithm = true
1522 if !config.Bugs.NoSignatureAlgorithms {
David Benjamin7a41d372016-07-09 11:21:54 -07001523 certReq.signatureAlgorithms = config.verifySignatureAlgorithms()
David Benjamin000800a2014-11-14 01:43:59 -05001524 }
Adam Langley95c29f32014-06-20 12:00:00 -07001525 }
1526
1527 // An empty list of certificateAuthorities signals to
1528 // the client that it may send any certificate in response
1529 // to our request. When we know the CAs we trust, then
1530 // we can send them down, so that the client can choose
1531 // an appropriate certificate to give to us.
1532 if config.ClientCAs != nil {
1533 certReq.certificateAuthorities = config.ClientCAs.Subjects()
1534 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001535 hs.writeServerHash(certReq.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001536 c.writeRecord(recordTypeHandshake, certReq.marshal())
1537 }
1538
1539 helloDone := new(serverHelloDoneMsg)
David Benjamin83c0bc92014-08-04 01:23:53 -04001540 hs.writeServerHash(helloDone.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001541 c.writeRecord(recordTypeHandshake, helloDone.marshal())
David Benjamin582ba042016-07-07 12:33:25 -07001542 c.flushHandshake()
Adam Langley95c29f32014-06-20 12:00:00 -07001543
1544 var pub crypto.PublicKey // public key for client auth, if any
1545
David Benjamin83f90402015-01-27 01:09:43 -05001546 if err := c.simulatePacketLoss(nil); err != nil {
1547 return err
1548 }
Adam Langley95c29f32014-06-20 12:00:00 -07001549 msg, err := c.readHandshake()
1550 if err != nil {
1551 return err
1552 }
1553
1554 var ok bool
1555 // If we requested a client certificate, then the client must send a
1556 // certificate message, even if it's empty.
1557 if config.ClientAuth >= RequestClientCert {
David Benjamin48cae082014-10-27 01:06:24 -04001558 var certMsg *certificateMsg
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001559 var certificates [][]byte
1560 if certMsg, ok = msg.(*certificateMsg); ok {
1561 if c.vers == VersionSSL30 && len(certMsg.certificates) == 0 {
1562 return errors.New("tls: empty certificate message in SSL 3.0")
1563 }
1564
1565 hs.writeClientHash(certMsg.marshal())
Steven Valdeza833c352016-11-01 13:39:36 -04001566 for _, cert := range certMsg.certificates {
1567 certificates = append(certificates, cert.data)
1568 }
David Benjamin053fee92017-01-02 08:30:36 -05001569 } else if c.vers == VersionSSL30 {
1570 // In SSL 3.0, no certificate is signaled by a warning
1571 // alert which we translate to ssl3NoCertificateMsg.
1572 if _, ok := msg.(*ssl3NoCertificateMsg); !ok {
1573 return errors.New("tls: client provided neither a certificate nor no_certificate warning alert")
1574 }
1575 } else {
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001576 // In TLS, the Certificate message is required. In SSL
1577 // 3.0, the peer skips it when sending no certificates.
Adam Langley95c29f32014-06-20 12:00:00 -07001578 c.sendAlert(alertUnexpectedMessage)
1579 return unexpectedMessageError(certMsg, msg)
1580 }
Adam Langley95c29f32014-06-20 12:00:00 -07001581
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001582 if len(certificates) == 0 {
Adam Langley95c29f32014-06-20 12:00:00 -07001583 // The client didn't actually send a certificate
1584 switch config.ClientAuth {
1585 case RequireAnyClientCert, RequireAndVerifyClientCert:
1586 c.sendAlert(alertBadCertificate)
1587 return errors.New("tls: client didn't provide a certificate")
1588 }
1589 }
1590
David Benjamin0b7ca7d2016-03-10 15:44:22 -05001591 pub, err = hs.processCertsFromClient(certificates)
Adam Langley95c29f32014-06-20 12:00:00 -07001592 if err != nil {
1593 return err
1594 }
1595
David Benjamin053fee92017-01-02 08:30:36 -05001596 msg, err = c.readHandshake()
1597 if err != nil {
1598 return err
Adam Langley95c29f32014-06-20 12:00:00 -07001599 }
1600 }
1601
1602 // Get client key exchange
1603 ckx, ok := msg.(*clientKeyExchangeMsg)
1604 if !ok {
1605 c.sendAlert(alertUnexpectedMessage)
1606 return unexpectedMessageError(ckx, msg)
1607 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001608 hs.writeClientHash(ckx.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001609
David Benjamine098ec22014-08-27 23:13:20 -04001610 preMasterSecret, err := keyAgreement.processClientKeyExchange(config, hs.cert, ckx, c.vers)
1611 if err != nil {
1612 c.sendAlert(alertHandshakeFailure)
1613 return err
1614 }
Adam Langley75712922014-10-10 16:23:43 -07001615 if c.extendedMasterSecret {
1616 hs.masterSecret = extendedMasterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.finishedHash)
1617 } else {
1618 if c.config.Bugs.RequireExtendedMasterSecret {
1619 return errors.New("tls: extended master secret required but not supported by peer")
1620 }
1621 hs.masterSecret = masterFromPreMasterSecret(c.vers, hs.suite, preMasterSecret, hs.clientHello.random, hs.hello.random)
1622 }
David Benjamine098ec22014-08-27 23:13:20 -04001623
Adam Langley95c29f32014-06-20 12:00:00 -07001624 // If we received a client cert in response to our certificate request message,
1625 // the client will send us a certificateVerifyMsg immediately after the
1626 // clientKeyExchangeMsg. This message is a digest of all preceding
1627 // handshake-layer messages that is signed using the private key corresponding
1628 // to the client's certificate. This allows us to verify that the client is in
1629 // possession of the private key of the certificate.
1630 if len(c.peerCertificates) > 0 {
1631 msg, err = c.readHandshake()
1632 if err != nil {
1633 return err
1634 }
1635 certVerify, ok := msg.(*certificateVerifyMsg)
1636 if !ok {
1637 c.sendAlert(alertUnexpectedMessage)
1638 return unexpectedMessageError(certVerify, msg)
1639 }
1640
David Benjaminde620d92014-07-18 15:03:41 -04001641 // Determine the signature type.
Nick Harper60edffd2016-06-21 15:19:24 -07001642 var sigAlg signatureAlgorithm
1643 if certVerify.hasSignatureAlgorithm {
1644 sigAlg = certVerify.signatureAlgorithm
Nick Harper60edffd2016-06-21 15:19:24 -07001645 c.peerSignatureAlgorithm = sigAlg
David Benjaminde620d92014-07-18 15:03:41 -04001646 }
1647
Nick Harper60edffd2016-06-21 15:19:24 -07001648 if c.vers > VersionSSL30 {
David Benjamin1fb125c2016-07-08 18:52:12 -07001649 err = verifyMessage(c.vers, pub, c.config, sigAlg, hs.finishedHash.buffer, certVerify.signature)
Nick Harper60edffd2016-06-21 15:19:24 -07001650 } else {
1651 // SSL 3.0's client certificate construction is
1652 // incompatible with signatureAlgorithm.
1653 rsaPub, ok := pub.(*rsa.PublicKey)
1654 if !ok {
1655 err = errors.New("unsupported key type for client certificate")
1656 } else {
1657 digest := hs.finishedHash.hashForClientCertificateSSL3(hs.masterSecret)
1658 err = rsa.VerifyPKCS1v15(rsaPub, crypto.MD5SHA1, digest, certVerify.signature)
David Benjaminde620d92014-07-18 15:03:41 -04001659 }
Adam Langley95c29f32014-06-20 12:00:00 -07001660 }
1661 if err != nil {
1662 c.sendAlert(alertBadCertificate)
1663 return errors.New("could not validate signature of connection nonces: " + err.Error())
1664 }
1665
David Benjamin83c0bc92014-08-04 01:23:53 -04001666 hs.writeClientHash(certVerify.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001667 }
1668
David Benjamine098ec22014-08-27 23:13:20 -04001669 hs.finishedHash.discardHandshakeBuffer()
Adam Langley95c29f32014-06-20 12:00:00 -07001670
1671 return nil
1672}
1673
1674func (hs *serverHandshakeState) establishKeys() error {
1675 c := hs.c
1676
1677 clientMAC, serverMAC, clientKey, serverKey, clientIV, serverIV :=
Nick Harper1fd39d82016-06-14 18:14:35 -07001678 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 -07001679
1680 var clientCipher, serverCipher interface{}
1681 var clientHash, serverHash macFunction
1682
1683 if hs.suite.aead == nil {
1684 clientCipher = hs.suite.cipher(clientKey, clientIV, true /* for reading */)
1685 clientHash = hs.suite.mac(c.vers, clientMAC)
1686 serverCipher = hs.suite.cipher(serverKey, serverIV, false /* not for reading */)
1687 serverHash = hs.suite.mac(c.vers, serverMAC)
1688 } else {
Nick Harper1fd39d82016-06-14 18:14:35 -07001689 clientCipher = hs.suite.aead(c.vers, clientKey, clientIV)
1690 serverCipher = hs.suite.aead(c.vers, serverKey, serverIV)
Adam Langley95c29f32014-06-20 12:00:00 -07001691 }
1692
Steven Valdezc7d4d212017-09-11 13:53:08 -04001693 c.in.prepareCipherSpec(c.wireVersion, clientCipher, clientHash)
1694 c.out.prepareCipherSpec(c.wireVersion, serverCipher, serverHash)
Adam Langley95c29f32014-06-20 12:00:00 -07001695
1696 return nil
1697}
1698
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001699func (hs *serverHandshakeState) readFinished(out []byte, isResume bool) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001700 c := hs.c
1701
1702 c.readRecord(recordTypeChangeCipherSpec)
1703 if err := c.in.error(); err != nil {
1704 return err
1705 }
1706
Nick Harperb3d51be2016-07-01 11:43:18 -04001707 if hs.hello.extensions.nextProtoNeg {
Adam Langley95c29f32014-06-20 12:00:00 -07001708 msg, err := c.readHandshake()
1709 if err != nil {
1710 return err
1711 }
1712 nextProto, ok := msg.(*nextProtoMsg)
1713 if !ok {
1714 c.sendAlert(alertUnexpectedMessage)
1715 return unexpectedMessageError(nextProto, msg)
1716 }
David Benjamin83c0bc92014-08-04 01:23:53 -04001717 hs.writeClientHash(nextProto.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001718 c.clientProtocol = nextProto.proto
1719 }
1720
Nick Harperb3d51be2016-07-01 11:43:18 -04001721 if hs.hello.extensions.channelIDRequested {
David Benjamind30a9902014-08-24 01:44:23 -04001722 msg, err := c.readHandshake()
1723 if err != nil {
1724 return err
1725 }
David Benjamin24599a82016-06-30 18:56:53 -04001726 channelIDMsg, ok := msg.(*channelIDMsg)
David Benjamind30a9902014-08-24 01:44:23 -04001727 if !ok {
1728 c.sendAlert(alertUnexpectedMessage)
David Benjamin24599a82016-06-30 18:56:53 -04001729 return unexpectedMessageError(channelIDMsg, msg)
David Benjamind30a9902014-08-24 01:44:23 -04001730 }
David Benjamind30a9902014-08-24 01:44:23 -04001731 var resumeHash []byte
1732 if isResume {
1733 resumeHash = hs.sessionState.handshakeHash
1734 }
Nick Harper60a85cb2016-09-23 16:25:11 -07001735 channelID, err := verifyChannelIDMessage(channelIDMsg, hs.finishedHash.hashForChannelID(resumeHash))
1736 if err != nil {
1737 return err
David Benjamind30a9902014-08-24 01:44:23 -04001738 }
1739 c.channelID = channelID
1740
David Benjamin24599a82016-06-30 18:56:53 -04001741 hs.writeClientHash(channelIDMsg.marshal())
David Benjamind30a9902014-08-24 01:44:23 -04001742 }
1743
Adam Langley95c29f32014-06-20 12:00:00 -07001744 msg, err := c.readHandshake()
1745 if err != nil {
1746 return err
1747 }
1748 clientFinished, ok := msg.(*finishedMsg)
1749 if !ok {
1750 c.sendAlert(alertUnexpectedMessage)
1751 return unexpectedMessageError(clientFinished, msg)
1752 }
1753
1754 verify := hs.finishedHash.clientSum(hs.masterSecret)
1755 if len(verify) != len(clientFinished.verifyData) ||
1756 subtle.ConstantTimeCompare(verify, clientFinished.verifyData) != 1 {
1757 c.sendAlert(alertHandshakeFailure)
1758 return errors.New("tls: client's Finished message is incorrect")
1759 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001760 c.clientVerify = append(c.clientVerify[:0], clientFinished.verifyData...)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001761 copy(out, clientFinished.verifyData)
Adam Langley95c29f32014-06-20 12:00:00 -07001762
David Benjamin83c0bc92014-08-04 01:23:53 -04001763 hs.writeClientHash(clientFinished.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001764 return nil
1765}
1766
1767func (hs *serverHandshakeState) sendSessionTicket() error {
Adam Langley95c29f32014-06-20 12:00:00 -07001768 c := hs.c
Adam Langley95c29f32014-06-20 12:00:00 -07001769 state := sessionState{
David Benjamind30a9902014-08-24 01:44:23 -04001770 vers: c.vers,
1771 cipherSuite: hs.suite.id,
1772 masterSecret: hs.masterSecret,
1773 certificates: hs.certsFromClient,
Nick Harperc9846112016-10-17 15:05:35 -07001774 handshakeHash: hs.finishedHash.Sum(),
Adam Langley95c29f32014-06-20 12:00:00 -07001775 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001776
Nick Harperb3d51be2016-07-01 11:43:18 -04001777 if !hs.hello.extensions.ticketSupported || hs.c.config.Bugs.SkipNewSessionTicket {
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001778 if c.config.ServerSessionCache != nil && len(hs.hello.sessionId) != 0 {
1779 c.config.ServerSessionCache.Put(string(hs.hello.sessionId), &state)
1780 }
1781 return nil
1782 }
1783
1784 m := new(newSessionTicketMsg)
David Benjamin17b30832017-01-28 14:00:32 -05001785 if c.config.Bugs.SendTicketLifetime != 0 {
1786 m.ticketLifetime = uint32(c.config.Bugs.SendTicketLifetime / time.Second)
1787 }
David Benjaminfe8eb9a2014-11-17 03:19:02 -05001788
David Benjamindd6fed92015-10-23 17:41:12 -04001789 if !c.config.Bugs.SendEmptySessionTicket {
1790 var err error
1791 m.ticket, err = c.encryptTicket(&state)
1792 if err != nil {
1793 return err
1794 }
Adam Langley95c29f32014-06-20 12:00:00 -07001795 }
Adam Langley95c29f32014-06-20 12:00:00 -07001796
David Benjamin83c0bc92014-08-04 01:23:53 -04001797 hs.writeServerHash(m.marshal())
Adam Langley95c29f32014-06-20 12:00:00 -07001798 c.writeRecord(recordTypeHandshake, m.marshal())
1799
1800 return nil
1801}
1802
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001803func (hs *serverHandshakeState) sendFinished(out []byte) error {
Adam Langley95c29f32014-06-20 12:00:00 -07001804 c := hs.c
1805
David Benjamin86271ee2014-07-21 16:14:03 -04001806 finished := new(finishedMsg)
1807 finished.verifyData = hs.finishedHash.serverSum(hs.masterSecret)
Adam Langleyaf0e32c2015-06-03 09:57:23 -07001808 copy(out, finished.verifyData)
David Benjamin513f0ea2015-04-02 19:33:31 -04001809 if c.config.Bugs.BadFinished {
1810 finished.verifyData[0]++
1811 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001812 c.serverVerify = append(c.serverVerify[:0], finished.verifyData...)
David Benjamin83f90402015-01-27 01:09:43 -05001813 hs.finishedBytes = finished.marshal()
1814 hs.writeServerHash(hs.finishedBytes)
1815 postCCSBytes := hs.finishedBytes
David Benjamin86271ee2014-07-21 16:14:03 -04001816
1817 if c.config.Bugs.FragmentAcrossChangeCipherSpec {
1818 c.writeRecord(recordTypeHandshake, postCCSBytes[:5])
1819 postCCSBytes = postCCSBytes[5:]
David Benjamin61672812016-07-14 23:10:43 -04001820 } else if c.config.Bugs.SendUnencryptedFinished {
1821 c.writeRecord(recordTypeHandshake, postCCSBytes)
1822 postCCSBytes = nil
David Benjamin86271ee2014-07-21 16:14:03 -04001823 }
1824
David Benjamina0e52232014-07-19 17:39:58 -04001825 if !c.config.Bugs.SkipChangeCipherSpec {
David Benjamin8411b242015-11-26 12:07:28 -05001826 ccs := []byte{1}
1827 if c.config.Bugs.BadChangeCipherSpec != nil {
1828 ccs = c.config.Bugs.BadChangeCipherSpec
1829 }
1830 c.writeRecord(recordTypeChangeCipherSpec, ccs)
David Benjamina0e52232014-07-19 17:39:58 -04001831 }
Adam Langley95c29f32014-06-20 12:00:00 -07001832
David Benjamin4189bd92015-01-25 23:52:39 -05001833 if c.config.Bugs.AppDataAfterChangeCipherSpec != nil {
1834 c.writeRecord(recordTypeApplicationData, c.config.Bugs.AppDataAfterChangeCipherSpec)
1835 }
David Benjamindc3da932015-03-12 15:09:02 -04001836 if c.config.Bugs.AlertAfterChangeCipherSpec != 0 {
1837 c.sendAlert(c.config.Bugs.AlertAfterChangeCipherSpec)
1838 return errors.New("tls: simulating post-CCS alert")
1839 }
David Benjamin4189bd92015-01-25 23:52:39 -05001840
David Benjamin61672812016-07-14 23:10:43 -04001841 if !c.config.Bugs.SkipFinished && len(postCCSBytes) > 0 {
David Benjaminb80168e2015-02-08 18:30:14 -05001842 c.writeRecord(recordTypeHandshake, postCCSBytes)
David Benjamin02edcd02016-07-27 17:40:37 -04001843 if c.config.Bugs.SendExtraFinished {
1844 c.writeRecord(recordTypeHandshake, finished.marshal())
1845 }
David Benjaminb0c761e2017-06-25 22:42:55 -04001846 }
David Benjamin02edcd02016-07-27 17:40:37 -04001847
David Benjaminb0c761e2017-06-25 22:42:55 -04001848 if !c.config.Bugs.PackHelloRequestWithFinished {
1849 // Defer flushing until renegotiation.
1850 c.flushHandshake()
David Benjaminb3774b92015-01-31 17:16:01 -05001851 }
Adam Langley95c29f32014-06-20 12:00:00 -07001852
David Benjaminc565ebb2015-04-03 04:06:36 -04001853 c.cipherSuite = hs.suite
Adam Langley95c29f32014-06-20 12:00:00 -07001854
1855 return nil
1856}
1857
1858// processCertsFromClient takes a chain of client certificates either from a
1859// Certificates message or from a sessionState and verifies them. It returns
1860// the public key of the leaf certificate.
1861func (hs *serverHandshakeState) processCertsFromClient(certificates [][]byte) (crypto.PublicKey, error) {
1862 c := hs.c
1863
1864 hs.certsFromClient = certificates
1865 certs := make([]*x509.Certificate, len(certificates))
1866 var err error
1867 for i, asn1Data := range certificates {
1868 if certs[i], err = x509.ParseCertificate(asn1Data); err != nil {
1869 c.sendAlert(alertBadCertificate)
1870 return nil, errors.New("tls: failed to parse client certificate: " + err.Error())
1871 }
1872 }
1873
1874 if c.config.ClientAuth >= VerifyClientCertIfGiven && len(certs) > 0 {
1875 opts := x509.VerifyOptions{
1876 Roots: c.config.ClientCAs,
1877 CurrentTime: c.config.time(),
1878 Intermediates: x509.NewCertPool(),
1879 KeyUsages: []x509.ExtKeyUsage{x509.ExtKeyUsageClientAuth},
1880 }
1881
1882 for _, cert := range certs[1:] {
1883 opts.Intermediates.AddCert(cert)
1884 }
1885
1886 chains, err := certs[0].Verify(opts)
1887 if err != nil {
1888 c.sendAlert(alertBadCertificate)
1889 return nil, errors.New("tls: failed to verify client's certificate: " + err.Error())
1890 }
1891
1892 ok := false
1893 for _, ku := range certs[0].ExtKeyUsage {
1894 if ku == x509.ExtKeyUsageClientAuth {
1895 ok = true
1896 break
1897 }
1898 }
1899 if !ok {
1900 c.sendAlert(alertHandshakeFailure)
1901 return nil, errors.New("tls: client's certificate's extended key usage doesn't permit it to be used for client authentication")
1902 }
1903
1904 c.verifiedChains = chains
1905 }
1906
1907 if len(certs) > 0 {
David Benjamind768c5d2017-03-28 18:28:44 -05001908 pub := getCertificatePublicKey(certs[0])
1909 switch pub.(type) {
1910 case *ecdsa.PublicKey, *rsa.PublicKey, ed25519.PublicKey:
1911 break
Adam Langley95c29f32014-06-20 12:00:00 -07001912 default:
1913 c.sendAlert(alertUnsupportedCertificate)
David Benjamind768c5d2017-03-28 18:28:44 -05001914 return nil, fmt.Errorf("tls: client's certificate contains an unsupported public key of type %T", pub)
Adam Langley95c29f32014-06-20 12:00:00 -07001915 }
1916 c.peerCertificates = certs
1917 return pub, nil
1918 }
1919
1920 return nil, nil
1921}
1922
Nick Harper60a85cb2016-09-23 16:25:11 -07001923func verifyChannelIDMessage(channelIDMsg *channelIDMsg, channelIDHash []byte) (*ecdsa.PublicKey, error) {
1924 x := new(big.Int).SetBytes(channelIDMsg.channelID[0:32])
1925 y := new(big.Int).SetBytes(channelIDMsg.channelID[32:64])
1926 r := new(big.Int).SetBytes(channelIDMsg.channelID[64:96])
1927 s := new(big.Int).SetBytes(channelIDMsg.channelID[96:128])
1928 if !elliptic.P256().IsOnCurve(x, y) {
1929 return nil, errors.New("tls: invalid channel ID public key")
1930 }
Martin Kreichgauera23b68f2017-09-06 11:12:07 -07001931 channelID := &ecdsa.PublicKey{Curve: elliptic.P256(), X: x, Y: y}
Nick Harper60a85cb2016-09-23 16:25:11 -07001932 if !ecdsa.Verify(channelID, channelIDHash, r, s) {
1933 return nil, errors.New("tls: invalid channel ID signature")
1934 }
1935 return channelID, nil
1936}
1937
David Benjamin83c0bc92014-08-04 01:23:53 -04001938func (hs *serverHandshakeState) writeServerHash(msg []byte) {
1939 // writeServerHash is called before writeRecord.
1940 hs.writeHash(msg, hs.c.sendHandshakeSeq)
1941}
1942
1943func (hs *serverHandshakeState) writeClientHash(msg []byte) {
1944 // writeClientHash is called after readHandshake.
1945 hs.writeHash(msg, hs.c.recvHandshakeSeq-1)
1946}
1947
1948func (hs *serverHandshakeState) writeHash(msg []byte, seqno uint16) {
1949 if hs.c.isDTLS {
1950 // This is somewhat hacky. DTLS hashes a slightly different format.
1951 // First, the TLS header.
1952 hs.finishedHash.Write(msg[:4])
1953 // Then the sequence number and reassembled fragment offset (always 0).
1954 hs.finishedHash.Write([]byte{byte(seqno >> 8), byte(seqno), 0, 0, 0})
1955 // Then the reassembled fragment (always equal to the message length).
1956 hs.finishedHash.Write(msg[1:4])
1957 // And then the message body.
1958 hs.finishedHash.Write(msg[4:])
1959 } else {
1960 hs.finishedHash.Write(msg)
1961 }
1962}
1963
Adam Langley95c29f32014-06-20 12:00:00 -07001964// tryCipherSuite returns a cipherSuite with the given id if that cipher suite
1965// is acceptable to use.
Steven Valdez803c77a2016-09-06 14:13:43 -04001966func (c *Conn) tryCipherSuite(id uint16, supportedCipherSuites []uint16, version uint16, ellipticOk, ecdsaOk bool) *cipherSuite {
Adam Langley95c29f32014-06-20 12:00:00 -07001967 for _, supported := range supportedCipherSuites {
1968 if id == supported {
1969 var candidate *cipherSuite
1970
1971 for _, s := range cipherSuites {
1972 if s.id == id {
1973 candidate = s
1974 break
1975 }
1976 }
1977 if candidate == nil {
1978 continue
1979 }
Steven Valdez803c77a2016-09-06 14:13:43 -04001980
Adam Langley95c29f32014-06-20 12:00:00 -07001981 // Don't select a ciphersuite which we can't
1982 // support for this client.
Steven Valdez803c77a2016-09-06 14:13:43 -04001983 if version >= VersionTLS13 || candidate.flags&suiteTLS13 != 0 {
1984 if version < VersionTLS13 || candidate.flags&suiteTLS13 == 0 {
1985 continue
1986 }
1987 return candidate
David Benjamin5ecb88b2016-10-04 17:51:35 -04001988 }
1989 if (candidate.flags&suiteECDHE != 0) && !ellipticOk {
1990 continue
1991 }
1992 if (candidate.flags&suiteECDSA != 0) != ecdsaOk {
1993 continue
1994 }
1995 if version < VersionTLS12 && candidate.flags&suiteTLS12 != 0 {
1996 continue
1997 }
David Benjamin5ecb88b2016-10-04 17:51:35 -04001998 if c.isDTLS && candidate.flags&suiteNoDTLS != 0 {
1999 continue
David Benjamin83c0bc92014-08-04 01:23:53 -04002000 }
Adam Langley95c29f32014-06-20 12:00:00 -07002001 return candidate
2002 }
2003 }
2004
2005 return nil
2006}
David Benjaminf93995b2015-11-05 18:23:20 -05002007
2008func isTLS12Cipher(id uint16) bool {
2009 for _, cipher := range cipherSuites {
2010 if cipher.id != id {
2011 continue
2012 }
2013 return cipher.flags&suiteTLS12 != 0
2014 }
2015 // Unknown cipher.
2016 return false
2017}
David Benjamin65ac9972016-09-02 21:35:25 -04002018
2019func isGREASEValue(val uint16) bool {
David Benjamin3c6a1ea2016-09-26 18:30:05 -04002020 return val&0x0f0f == 0x0a0a && val&0xff == val>>8
David Benjamin65ac9972016-09-02 21:35:25 -04002021}
Steven Valdeza833c352016-11-01 13:39:36 -04002022
2023func verifyPSKBinder(clientHello *clientHelloMsg, sessionState *sessionState, binderToVerify, transcript []byte) error {
2024 binderLen := 2
2025 for _, binder := range clientHello.pskBinders {
2026 binderLen += 1 + len(binder)
2027 }
2028
2029 truncatedHello := clientHello.marshal()
2030 truncatedHello = truncatedHello[:len(truncatedHello)-binderLen]
2031 pskCipherSuite := cipherSuiteFromID(sessionState.cipherSuite)
2032 if pskCipherSuite == nil {
2033 return errors.New("tls: Unknown cipher suite for PSK in session")
2034 }
2035
2036 binder := computePSKBinder(sessionState.masterSecret, resumptionPSKBinderLabel, pskCipherSuite, transcript, truncatedHello)
2037 if !bytes.Equal(binder, binderToVerify) {
2038 return errors.New("tls: PSK binder does not verify")
2039 }
2040
2041 return nil
2042}