blob: 019ec3ca589844d52014cdb7c5373496a71312dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
/*
* TLS Handshake State Transitions
* (C) 2004-2006,2011,2012 Jack Lloyd
* 2017 Harry Reimann, Rohde & Schwarz Cybersecurity
* 2022 René Meusel, Hannes Rantzsch - neXenio GmbH
*
* Botan is released under the Simplified BSD License (see license.txt)
*/
#ifndef BOTAN_TLS_HANDSHAKE_TRANSITIONS_H_
#define BOTAN_TLS_HANDSHAKE_TRANSITIONS_H_
#include <vector>
#include <botan/tls_magic.h>
namespace Botan::TLS {
/**
* Manages the expectations for incoming handshake messages in both TLS 1.2 and 1.3.
* This does not bear any knowledge about the actual state machine but is a mere
* helper to implement state transition validation.
*/
class BOTAN_TEST_API Handshake_Transitions
{
public:
/**
* Return true iff we have received a particular message already
* @param msg_type the message type
*/
bool received_handshake_msg(Handshake_Type msg_type) const;
/**
* Confirm that we were expecting this message type
* @param msg_type the message type
*/
void confirm_transition_to(Handshake_Type msg_type);
/**
* Record that we are expecting a particular message type next
* @param msg_type the message type
*/
void set_expected_next(Handshake_Type msg_type);
/**
* Record that we are expecting one of the enumerated message types next.
* Note that receiving any of the expected messages in `confirm_transition_to`
* resets _all_ the expectations.
*
* @param msg_types the message types
*/
void set_expected_next(const std::vector<Handshake_Type>& msg_types);
/**
* Check whether a Change Cipher Spec must be expected
*/
bool change_cipher_spec_expected() const;
private:
uint32_t m_hand_expecting_mask = 0;
uint32_t m_hand_received_mask = 0;
};
}
#endif
|
