2016-11-29 17:34:10 +00:00
|
|
|
#! /usr/bin/env perl
|
2018-02-13 12:51:29 +00:00
|
|
|
# Copyright 2015-2018 The OpenSSL Project Authors. All Rights Reserved.
|
2016-11-29 17:34:10 +00:00
|
|
|
#
|
|
|
|
# Licensed under the OpenSSL license (the "License"). You may not use
|
|
|
|
# this file except in compliance with the License. You can obtain a copy
|
|
|
|
# in the file LICENSE in the source distribution or at
|
|
|
|
# https://www.openssl.org/source/license.html
|
|
|
|
|
2016-12-08 00:03:53 +00:00
|
|
|
package checkhandshake;
|
2016-11-29 17:34:10 +00:00
|
|
|
|
|
|
|
use OpenSSL::Test qw/:DEFAULT cmdstr srctop_file srctop_dir bldtop_dir/;
|
|
|
|
use OpenSSL::Test::Utils;
|
|
|
|
use TLSProxy::Proxy;
|
|
|
|
|
|
|
|
use Exporter;
|
|
|
|
our @ISA = 'Exporter';
|
|
|
|
our @EXPORT = qw(@handmessages @extensions checkhandshake);
|
|
|
|
|
|
|
|
use constant {
|
|
|
|
DEFAULT_HANDSHAKE => 1,
|
|
|
|
OCSP_HANDSHAKE => 2,
|
|
|
|
RESUME_HANDSHAKE => 4,
|
|
|
|
CLIENT_AUTH_HANDSHAKE => 8,
|
|
|
|
RENEG_HANDSHAKE => 16,
|
2016-11-30 12:04:34 +00:00
|
|
|
NPN_HANDSHAKE => 32,
|
2016-12-28 15:01:57 +00:00
|
|
|
EC_HANDSHAKE => 64,
|
2017-02-02 16:06:50 +00:00
|
|
|
HRR_HANDSHAKE => 128,
|
|
|
|
HRR_RESUME_HANDSHAKE => 256,
|
2016-11-29 17:34:10 +00:00
|
|
|
|
2017-02-02 16:06:50 +00:00
|
|
|
ALL_HANDSHAKES => 511
|
2016-11-29 17:34:10 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
use constant {
|
2017-02-13 13:26:37 +00:00
|
|
|
#DEFAULT also includes SESSION_TICKET_SRV_EXTENSION and SERVER_NAME_CLI
|
|
|
|
DEFAULT_EXTENSIONS => 0x00000007,
|
2016-11-29 17:34:10 +00:00
|
|
|
SESSION_TICKET_SRV_EXTENSION => 0x00000002,
|
|
|
|
SERVER_NAME_CLI_EXTENSION => 0x00000004,
|
|
|
|
SERVER_NAME_SRV_EXTENSION => 0x00000008,
|
|
|
|
STATUS_REQUEST_CLI_EXTENSION => 0x00000010,
|
|
|
|
STATUS_REQUEST_SRV_EXTENSION => 0x00000020,
|
|
|
|
ALPN_CLI_EXTENSION => 0x00000040,
|
|
|
|
ALPN_SRV_EXTENSION => 0x00000080,
|
|
|
|
SCT_CLI_EXTENSION => 0x00000100,
|
2016-11-30 12:04:34 +00:00
|
|
|
SCT_SRV_EXTENSION => 0x00000200,
|
|
|
|
RENEGOTIATE_CLI_EXTENSION => 0x00000400,
|
|
|
|
NPN_CLI_EXTENSION => 0x00000800,
|
|
|
|
NPN_SRV_EXTENSION => 0x00001000,
|
|
|
|
SRP_CLI_EXTENSION => 0x00002000,
|
2016-12-28 15:01:57 +00:00
|
|
|
#Client side for ec point formats is a default extension
|
|
|
|
EC_POINT_FORMAT_SRV_EXTENSION => 0x00004000,
|
2017-01-20 12:11:49 +00:00
|
|
|
PSK_CLI_EXTENSION => 0x00008000,
|
2017-01-25 10:44:46 +00:00
|
|
|
PSK_SRV_EXTENSION => 0x00010000,
|
|
|
|
KEY_SHARE_SRV_EXTENSION => 0x00020000,
|
2017-02-02 16:06:50 +00:00
|
|
|
PSK_KEX_MODES_EXTENSION => 0x00040000,
|
2017-05-05 09:30:07 +00:00
|
|
|
KEY_SHARE_HRR_EXTENSION => 0x00080000,
|
Add TLSv1.3 post-handshake authentication (PHA)
Add SSL_verify_client_post_handshake() for servers to initiate PHA
Add SSL_force_post_handshake_auth() for clients that don't have certificates
initially configured, but use a certificate callback.
Update SSL_CTX_set_verify()/SSL_set_verify() mode:
* Add SSL_VERIFY_POST_HANDSHAKE to postpone client authentication until after
the initial handshake.
* Update SSL_VERIFY_CLIENT_ONCE now only sends out one CertRequest regardless
of when the certificate authentication takes place; either initial handshake,
re-negotiation, or post-handshake authentication.
Add 'RequestPostHandshake' and 'RequirePostHandshake' SSL_CONF options that
add the SSL_VERIFY_POST_HANDSHAKE to the 'Request' and 'Require' options
Add support to s_client:
* Enabled automatically when cert is configured
* Can be forced enabled via -force_pha
Add support to s_server:
* Use 'c' to invoke PHA in s_server
* Remove some dead code
Update documentation
Update unit tests:
* Illegal use of PHA extension
* TLSv1.3 certificate tests
DTLS and TLS behave ever-so-slightly differently. So, when DTLS1.3 is
implemented, it's PHA support state machine may need to be different.
Add a TODO and a #error
Update handshake context to deal with PHA.
The handshake context for TLSv1.3 post-handshake auth is up through the
ClientFinish message, plus the CertificateRequest message. Subsequent
Certificate, CertificateVerify, and Finish messages are based on this
handshake context (not the Certificate message per se, but it's included
after the hash). KeyUpdate, NewSessionTicket, and prior Certificate
Request messages are not included in post-handshake authentication.
After the ClientFinished message is processed, save off the digest state
for future post-handshake authentication. When post-handshake auth occurs,
copy over the saved handshake context into the "main" handshake digest.
This effectively discards the any KeyUpdate or NewSessionTicket messages
and any prior post-handshake authentication.
This, of course, assumes that the ID-22 did not mean to include any
previous post-handshake authentication into the new handshake transcript.
This is implied by section 4.4.1 that lists messages only up to the
first ClientFinished.
Reviewed-by: Ben Kaduk <kaduk@mit.edu>
Reviewed-by: Matt Caswell <matt@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/4964)
2017-12-18 21:52:28 +00:00
|
|
|
SUPPORTED_GROUPS_SRV_EXTENSION => 0x00100000,
|
|
|
|
POST_HANDSHAKE_AUTH_CLI_EXTENSION => 0x00200000
|
2016-11-29 17:34:10 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
our @handmessages = ();
|
|
|
|
our @extensions = ();
|
|
|
|
|
|
|
|
sub checkhandshake($$$$)
|
|
|
|
{
|
|
|
|
my ($proxy, $handtype, $exttype, $testname) = @_;
|
|
|
|
|
|
|
|
subtest $testname => sub {
|
|
|
|
my $loop = 0;
|
|
|
|
my $numtests;
|
|
|
|
my $extcount;
|
|
|
|
my $clienthelloseen = 0;
|
|
|
|
|
2017-12-05 10:14:35 +00:00
|
|
|
my $lastmt = 0;
|
|
|
|
my $numsh = 0;
|
|
|
|
if (TLSProxy::Proxy::is_tls13()) {
|
|
|
|
#How many ServerHellos are we expecting?
|
|
|
|
for ($numtests = 0; $handmessages[$loop][1] != 0; $loop++) {
|
|
|
|
next if (($handmessages[$loop][1] & $handtype) == 0);
|
|
|
|
$numsh++ if ($lastmt != TLSProxy::Message::MT_SERVER_HELLO
|
|
|
|
&& $handmessages[$loop][0] == TLSProxy::Message::MT_SERVER_HELLO);
|
|
|
|
$lastmt = $handmessages[$loop][0];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-29 17:34:10 +00:00
|
|
|
#First count the number of tests
|
2017-02-02 14:54:24 +00:00
|
|
|
my $nextmess = 0;
|
|
|
|
my $message = undef;
|
2017-02-02 16:06:50 +00:00
|
|
|
my $chnum = 0;
|
2017-12-05 10:14:35 +00:00
|
|
|
my $shnum = 0;
|
|
|
|
if (!TLSProxy::Proxy::is_tls13()) {
|
|
|
|
# In non-TLSv1.3 we always treat reneg CH and SH like the first CH
|
|
|
|
# and SH
|
|
|
|
$chnum = 1;
|
|
|
|
$shnum = 1;
|
|
|
|
}
|
|
|
|
#If we're only expecting one ServerHello out of two then we skip the
|
|
|
|
#first ServerHello in the list completely
|
|
|
|
$shnum++ if ($numsh == 1 && TLSProxy::Proxy::is_tls13());
|
|
|
|
$loop = 0;
|
2016-11-29 17:34:10 +00:00
|
|
|
for ($numtests = 0; $handmessages[$loop][1] != 0; $loop++) {
|
2017-02-02 14:54:24 +00:00
|
|
|
next if (($handmessages[$loop][1] & $handtype) == 0);
|
|
|
|
if (scalar @{$proxy->message_list} > $nextmess) {
|
|
|
|
$message = ${$proxy->message_list}[$nextmess];
|
|
|
|
$nextmess++;
|
|
|
|
} else {
|
|
|
|
$message = undef;
|
|
|
|
}
|
|
|
|
$numtests++;
|
|
|
|
|
|
|
|
next if (!defined $message);
|
2017-12-05 10:14:35 +00:00
|
|
|
if (TLSProxy::Proxy::is_tls13()) {
|
|
|
|
$chnum++ if $message->mt() == TLSProxy::Message::MT_CLIENT_HELLO;
|
|
|
|
$shnum++ if $message->mt() == TLSProxy::Message::MT_SERVER_HELLO;
|
|
|
|
}
|
2017-02-02 14:54:24 +00:00
|
|
|
next if ($message->mt() != TLSProxy::Message::MT_CLIENT_HELLO
|
|
|
|
&& $message->mt() != TLSProxy::Message::MT_SERVER_HELLO
|
|
|
|
&& $message->mt() !=
|
|
|
|
TLSProxy::Message::MT_ENCRYPTED_EXTENSIONS
|
|
|
|
&& $message->mt() != TLSProxy::Message::MT_CERTIFICATE);
|
|
|
|
|
|
|
|
next if $message->mt() == TLSProxy::Message::MT_CERTIFICATE
|
|
|
|
&& !TLSProxy::Proxy::is_tls13();
|
2016-11-29 17:34:10 +00:00
|
|
|
|
2017-12-05 10:14:35 +00:00
|
|
|
my $extchnum = 1;
|
|
|
|
my $extshnum = 1;
|
2017-02-02 14:54:24 +00:00
|
|
|
for (my $extloop = 0;
|
|
|
|
$extensions[$extloop][2] != 0;
|
|
|
|
$extloop++) {
|
2017-12-05 10:14:35 +00:00
|
|
|
$extchnum = 2 if $extensions[$extloop][0] != TLSProxy::Message::MT_CLIENT_HELLO
|
2017-02-02 16:06:50 +00:00
|
|
|
&& TLSProxy::Proxy::is_tls13();
|
2017-12-05 10:14:35 +00:00
|
|
|
$extshnum = 2 if $extensions[$extloop][0] != TLSProxy::Message::MT_SERVER_HELLO
|
|
|
|
&& $extchnum == 2;
|
2017-02-02 16:06:50 +00:00
|
|
|
next if $extensions[$extloop][0] == TLSProxy::Message::MT_CLIENT_HELLO
|
|
|
|
&& $extchnum != $chnum;
|
2017-12-05 10:14:35 +00:00
|
|
|
next if $extensions[$extloop][0] == TLSProxy::Message::MT_SERVER_HELLO
|
|
|
|
&& $extshnum != $shnum;
|
2017-02-02 14:54:24 +00:00
|
|
|
next if ($message->mt() != $extensions[$extloop][0]);
|
|
|
|
$numtests++;
|
|
|
|
}
|
|
|
|
$numtests++;
|
2016-11-29 17:34:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
plan tests => $numtests;
|
|
|
|
|
2017-02-02 14:54:24 +00:00
|
|
|
$nextmess = 0;
|
|
|
|
$message = undef;
|
2017-12-05 10:14:35 +00:00
|
|
|
if (TLSProxy::Proxy::is_tls13()) {
|
|
|
|
$chnum = 0;
|
|
|
|
$shnum = 0;
|
|
|
|
} else {
|
|
|
|
# In non-TLSv1.3 we always treat reneg CH and SH like the first CH
|
|
|
|
# and SH
|
|
|
|
$chnum = 1;
|
|
|
|
$shnum = 1;
|
|
|
|
}
|
|
|
|
#If we're only expecting one ServerHello out of two then we skip the
|
|
|
|
#first ServerHello in the list completely
|
|
|
|
$shnum++ if ($numsh == 1 && TLSProxy::Proxy::is_tls13());
|
2016-11-29 17:34:10 +00:00
|
|
|
for ($loop = 0; $handmessages[$loop][1] != 0; $loop++) {
|
|
|
|
next if (($handmessages[$loop][1] & $handtype) == 0);
|
|
|
|
if (scalar @{$proxy->message_list} > $nextmess) {
|
|
|
|
$message = ${$proxy->message_list}[$nextmess];
|
|
|
|
$nextmess++;
|
|
|
|
} else {
|
|
|
|
$message = undef;
|
|
|
|
}
|
|
|
|
if (!defined $message) {
|
|
|
|
fail("Message type check. Got nothing, expected "
|
|
|
|
.$handmessages[$loop][0]);
|
|
|
|
next;
|
|
|
|
} else {
|
|
|
|
ok($message->mt == $handmessages[$loop][0],
|
|
|
|
"Message type check. Got ".$message->mt
|
|
|
|
.", expected ".$handmessages[$loop][0]);
|
|
|
|
}
|
2017-12-05 10:14:35 +00:00
|
|
|
if (TLSProxy::Proxy::is_tls13()) {
|
|
|
|
$chnum++ if $message->mt() == TLSProxy::Message::MT_CLIENT_HELLO;
|
|
|
|
$shnum++ if $message->mt() == TLSProxy::Message::MT_SERVER_HELLO;
|
|
|
|
}
|
2016-11-29 17:34:10 +00:00
|
|
|
|
|
|
|
next if ($message->mt() != TLSProxy::Message::MT_CLIENT_HELLO
|
|
|
|
&& $message->mt() != TLSProxy::Message::MT_SERVER_HELLO
|
|
|
|
&& $message->mt() !=
|
2016-12-02 09:14:15 +00:00
|
|
|
TLSProxy::Message::MT_ENCRYPTED_EXTENSIONS
|
|
|
|
&& $message->mt() != TLSProxy::Message::MT_CERTIFICATE);
|
|
|
|
|
|
|
|
next if $message->mt() == TLSProxy::Message::MT_CERTIFICATE
|
|
|
|
&& !TLSProxy::Proxy::is_tls13();
|
2016-11-29 17:34:10 +00:00
|
|
|
|
|
|
|
if ($message->mt() == TLSProxy::Message::MT_CLIENT_HELLO) {
|
|
|
|
#Add renegotiate extension we will expect if renegotiating
|
2017-02-02 14:54:24 +00:00
|
|
|
$exttype |= RENEGOTIATE_CLI_EXTENSION
|
|
|
|
if ($clienthelloseen && !TLSProxy::Proxy::is_tls13());
|
2016-11-29 17:34:10 +00:00
|
|
|
$clienthelloseen = 1;
|
|
|
|
}
|
|
|
|
#Now check that we saw the extensions we expected
|
|
|
|
my $msgexts = $message->extension_data();
|
2017-12-05 10:14:35 +00:00
|
|
|
my $extchnum = 1;
|
|
|
|
my $extshnum = 1;
|
2016-11-29 17:34:10 +00:00
|
|
|
for (my $extloop = 0, $extcount = 0; $extensions[$extloop][2] != 0;
|
|
|
|
$extloop++) {
|
2017-02-02 16:06:50 +00:00
|
|
|
#In TLSv1.3 we can have two ClientHellos if there has been a
|
|
|
|
#HelloRetryRequest, and they may have different extensions. Skip
|
|
|
|
#if these are extensions for a different ClientHello
|
2017-12-05 10:14:35 +00:00
|
|
|
$extchnum = 2 if $extensions[$extloop][0] != TLSProxy::Message::MT_CLIENT_HELLO
|
2017-02-02 16:06:50 +00:00
|
|
|
&& TLSProxy::Proxy::is_tls13();
|
2017-12-05 10:14:35 +00:00
|
|
|
$extshnum = 2 if $extensions[$extloop][0] != TLSProxy::Message::MT_SERVER_HELLO
|
|
|
|
&& $extchnum == 2;
|
2017-02-02 16:06:50 +00:00
|
|
|
next if $extensions[$extloop][0] == TLSProxy::Message::MT_CLIENT_HELLO
|
|
|
|
&& $extchnum != $chnum;
|
2017-12-05 10:14:35 +00:00
|
|
|
next if $extensions[$extloop][0] == TLSProxy::Message::MT_SERVER_HELLO
|
|
|
|
&& $extshnum != $shnum;
|
2016-11-29 17:34:10 +00:00
|
|
|
next if ($message->mt() != $extensions[$extloop][0]);
|
|
|
|
ok (($extensions[$extloop][2] & $exttype) == 0
|
|
|
|
|| defined ($msgexts->{$extensions[$extloop][1]}),
|
|
|
|
"Extension presence check (Message: ".$message->mt()
|
|
|
|
." Extension: ".($extensions[$extloop][2] & $exttype).", "
|
|
|
|
.$extloop.")");
|
|
|
|
$extcount++ if (($extensions[$extloop][2] & $exttype) != 0);
|
2017-02-02 14:54:24 +00:00
|
|
|
}
|
2016-11-29 17:34:10 +00:00
|
|
|
ok($extcount == keys %$msgexts, "Extensions count mismatch ("
|
|
|
|
.$extcount.", ".(keys %$msgexts)
|
|
|
|
.")");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
1;
|