Botan 3.4.0
Crypto and TLS for C&
Public Member Functions | Protected Member Functions | List of all members
Botan::Stateful_RNG Class Referenceabstract

#include <stateful_rng.h>

Inheritance diagram for Botan::Stateful_RNG:
Botan::RandomNumberGenerator Botan::ChaCha_RNG Botan::HMAC_DRBG

Public Member Functions

bool accepts_input () const final
 
void add_entropy (const uint8_t input[], size_t length)
 
void add_entropy (std::span< const uint8_t > input)
 
template<typename T >
requires std::is_standard_layout<T>::value && std::is_trivial<T>::value
void add_entropy_T (const T &t)
 
void clear () final
 
void force_reseed ()
 
void initialize_with (const uint8_t input[], size_t length)
 
void initialize_with (std::span< const uint8_t > input)
 
bool is_seeded () const final
 
virtual size_t max_number_of_bytes_per_request () const =0
 
virtual std::string name () const =0
 
uint8_t next_byte ()
 
uint8_t next_nonzero_byte ()
 
template<concepts::resizable_byte_buffer T = secure_vector<uint8_t>>
requires std::default_initializable<T>
T random_vec (size_t bytes)
 
void random_vec (std::span< uint8_t > v)
 
template<concepts::resizable_byte_buffer T>
void random_vec (T &v, size_t bytes)
 
void randomize (std::span< uint8_t > output)
 
void randomize (uint8_t output[], size_t length)
 
void randomize_with_input (std::span< uint8_t > output, std::span< const uint8_t > input)
 
void randomize_with_input (uint8_t output[], size_t output_len, const uint8_t input[], size_t input_len)
 
void randomize_with_ts_input (std::span< uint8_t > output)
 
void randomize_with_ts_input (uint8_t output[], size_t output_len)
 
size_t reseed (Entropy_Sources &srcs, size_t poll_bits=BOTAN_RNG_RESEED_POLL_BITS, std::chrono::milliseconds poll_timeout=BOTAN_RNG_RESEED_DEFAULT_TIMEOUT) override
 
void reseed_from_rng (RandomNumberGenerator &rng, size_t poll_bits=BOTAN_RNG_RESEED_POLL_BITS) final
 
size_t reseed_interval () const
 
virtual size_t security_level () const =0
 
 Stateful_RNG ()
 
 Stateful_RNG (Entropy_Sources &entropy_sources, size_t reseed_interval)
 
 Stateful_RNG (RandomNumberGenerator &rng, Entropy_Sources &entropy_sources, size_t reseed_interval)
 
 Stateful_RNG (RandomNumberGenerator &rng, size_t reseed_interval)
 

Protected Member Functions

virtual void clear_state ()=0
 
virtual void generate_output (std::span< uint8_t > output, std::span< const uint8_t > input)=0
 
void reseed_check ()
 
virtual void update (std::span< const uint8_t > input)=0
 

Detailed Description

Inherited by RNGs which maintain in-process state, like HMAC_DRBG. On Unix these RNGs are vulnerable to problems with fork, where the RNG state is duplicated, and the parent and child process RNGs will produce identical output until one of them reseeds. Stateful_RNG reseeds itself whenever a fork is detected, or after a set number of bytes have been output.

Not implemented by RNGs which access an external RNG, such as the system PRNG or a hardware RNG.

Definition at line 26 of file stateful_rng.h.

Constructor & Destructor Documentation

◆ Stateful_RNG() [1/4]

Botan::Stateful_RNG::Stateful_RNG ( RandomNumberGenerator & rng,
Entropy_Sources & entropy_sources,
size_t reseed_interval )
inline
Parameters
rngis a reference to some RNG which will be used to perform the periodic reseeding
entropy_sourceswill be polled to perform reseeding periodically
reseed_intervalspecifies a limit of how many times the RNG will be called before automatic reseeding is performed

Definition at line 35 of file stateful_rng.h.

35 :
36 m_underlying_rng(&rng), m_entropy_sources(&entropy_sources), m_reseed_interval(reseed_interval) {}
size_t reseed_interval() const

◆ Stateful_RNG() [2/4]

Botan::Stateful_RNG::Stateful_RNG ( RandomNumberGenerator & rng,
size_t reseed_interval )
inline
Parameters
rngis a reference to some RNG which will be used to perform the periodic reseeding
reseed_intervalspecifies a limit of how many times the RNG will be called before automatic reseeding is performed

Definition at line 44 of file stateful_rng.h.

44 :
45 m_underlying_rng(&rng), m_reseed_interval(reseed_interval) {}

◆ Stateful_RNG() [3/4]

Botan::Stateful_RNG::Stateful_RNG ( Entropy_Sources & entropy_sources,
size_t reseed_interval )
inline
Parameters
entropy_sourceswill be polled to perform reseeding periodically
reseed_intervalspecifies a limit of how many times the RNG will be called before automatic reseeding is performed

Definition at line 52 of file stateful_rng.h.

52 :
53 m_entropy_sources(&entropy_sources), m_reseed_interval(reseed_interval) {}

◆ Stateful_RNG() [4/4]

Botan::Stateful_RNG::Stateful_RNG ( )
inline

In this case, automatic reseeding is impossible

Definition at line 58 of file stateful_rng.h.

58: m_reseed_interval(0) {}

Member Function Documentation

◆ accepts_input()

bool Botan::Stateful_RNG::accepts_input ( ) const
inlinefinalvirtual

Returns false if it is known that this RNG object is not able to accept externally provided inputs (via add_entropy, randomize_with_input, etc). In this case, any such provided inputs are ignored.

If this function returns true, then inputs may or may not be accepted.

Implements Botan::RandomNumberGenerator.

Definition at line 71 of file stateful_rng.h.

71{ return true; }

◆ add_entropy() [1/2]

void Botan::RandomNumberGenerator::add_entropy ( const uint8_t input[],
size_t length )
inlineinherited

Definition at line 77 of file rng.h.

77{ this->add_entropy(std::span(input, length)); }
void add_entropy(std::span< const uint8_t > input)
Definition rng.h:75

References Botan::RandomNumberGenerator::add_entropy().

Referenced by Botan::RandomNumberGenerator::add_entropy().

◆ add_entropy() [2/2]

void Botan::RandomNumberGenerator::add_entropy ( std::span< const uint8_t > input)
inlineinherited

Incorporate some additional data into the RNG state. For example adding nonces or timestamps from a peer's protocol message can help hedge against VM state rollback attacks. A few RNG types do not accept any externally provided input, in which case this function is a no-op.

Parameters
inputa byte array containing the entropy to be added
Exceptions
Exceptionmay throw if the RNG accepts input, but adding the entropy failed.

Definition at line 75 of file rng.h.

75{ this->fill_bytes_with_input({}, input); }
virtual void fill_bytes_with_input(std::span< uint8_t > output, std::span< const uint8_t > input)=0

Referenced by Botan::ChaCha_RNG::ChaCha_RNG(), initialize_with(), Botan::Getentropy::poll(), Botan::Intel_Rdseed::poll(), and Botan::RandomNumberGenerator::reseed_from_rng().

◆ add_entropy_T()

template<typename T >
requires std::is_standard_layout<T>::value && std::is_trivial<T>::value
void Botan::RandomNumberGenerator::add_entropy_T ( const T & t)
inlineinherited

Incorporate some additional data into the RNG state.

Definition at line 84 of file rng.h.

84 {
85 this->add_entropy(reinterpret_cast<const uint8_t*>(&t), sizeof(T));
86 }
FE_25519 T
Definition ge.cpp:34

References T.

Referenced by Botan::Win32_EntropySource::poll().

◆ clear()

void Botan::Stateful_RNG::clear ( )
finalvirtual

Clear all internally held values of this RNG

Postcondition
is_seeded() == false if the RNG has an internal state that can be cleared.

Implements Botan::RandomNumberGenerator.

Definition at line 14 of file stateful_rng.cpp.

14 {
15 lock_guard_type<recursive_mutex_type> lock(m_mutex);
16 m_reseed_counter = 0;
17 m_last_pid = 0;
19}
virtual void clear_state()=0
secure_vector< T > lock(const std::vector< T > &in)
Definition secmem.h:70

References clear_state(), and Botan::lock().

Referenced by Botan::ChaCha_RNG::ChaCha_RNG(), Botan::ChaCha_RNG::ChaCha_RNG(), Botan::ChaCha_RNG::ChaCha_RNG(), Botan::ChaCha_RNG::ChaCha_RNG(), Botan::ChaCha_RNG::ChaCha_RNG(), Botan::HMAC_DRBG::HMAC_DRBG(), Botan::HMAC_DRBG::HMAC_DRBG(), Botan::HMAC_DRBG::HMAC_DRBG(), Botan::HMAC_DRBG::HMAC_DRBG(), Botan::HMAC_DRBG::HMAC_DRBG(), and initialize_with().

◆ clear_state()

virtual void Botan::Stateful_RNG::clear_state ( )
protectedpure virtual

Referenced by clear().

◆ force_reseed()

void Botan::Stateful_RNG::force_reseed ( )

Mark state as requiring a reseed on next use

Definition at line 21 of file stateful_rng.cpp.

21 {
22 lock_guard_type<recursive_mutex_type> lock(m_mutex);
23 m_reseed_counter = 0;
24}

References Botan::lock().

◆ generate_output()

virtual void Botan::Stateful_RNG::generate_output ( std::span< uint8_t > output,
std::span< const uint8_t > input )
protectedpure virtual

◆ initialize_with() [1/2]

void Botan::Stateful_RNG::initialize_with ( const uint8_t input[],
size_t length )
inline

Definition at line 67 of file stateful_rng.h.

67{ this->initialize_with(std::span(input, length)); }
void initialize_with(std::span< const uint8_t > input)

References initialize_with().

Referenced by initialize_with().

◆ initialize_with() [2/2]

void Botan::Stateful_RNG::initialize_with ( std::span< const uint8_t > input)

Consume this input and mark the RNG as initialized regardless of the length of the input or the current seeded state of the RNG.

Definition at line 31 of file stateful_rng.cpp.

31 {
32 lock_guard_type<recursive_mutex_type> lock(m_mutex);
33
34 clear();
35 add_entropy(input);
36}

References Botan::RandomNumberGenerator::add_entropy(), clear(), and Botan::lock().

◆ is_seeded()

bool Botan::Stateful_RNG::is_seeded ( ) const
finalvirtual

Check whether this RNG is seeded.

Returns
true if this RNG was already seeded, false otherwise.

Implements Botan::RandomNumberGenerator.

Definition at line 26 of file stateful_rng.cpp.

26 {
27 lock_guard_type<recursive_mutex_type> lock(m_mutex);
28 return m_reseed_counter > 0;
29}

References Botan::lock().

Referenced by reseed_check().

◆ max_number_of_bytes_per_request()

virtual size_t Botan::Stateful_RNG::max_number_of_bytes_per_request ( ) const
pure virtual

Some DRBGs have a notion of the maximum number of bytes per request. Longer requests (to randomize) will be treated as multiple requests, and may initiate reseeding multiple times, depending on the values of max_number_of_bytes_per_request and reseed_interval(). This function returns zero if the RNG in question does not have such a notion.

Returns
max number of bytes per request (or zero)

Implemented in Botan::ChaCha_RNG, and Botan::HMAC_DRBG.

◆ name()

virtual std::string Botan::RandomNumberGenerator::name ( ) const
pure virtualinherited

◆ next_byte()

uint8_t Botan::RandomNumberGenerator::next_byte ( )
inlineinherited

Return a random byte

Returns
random byte
Exceptions
PRNG_Unseededif the RNG fails because it has not enough entropy
Exceptionif the RNG fails

Definition at line 217 of file rng.h.

217 {
218 uint8_t b;
219 this->fill_bytes_with_input(std::span(&b, 1), {});
220 return b;
221 }

Referenced by Botan::random_prime().

◆ next_nonzero_byte()

uint8_t Botan::RandomNumberGenerator::next_nonzero_byte ( )
inlineinherited
Returns
a random byte that is greater than zero
Exceptions
PRNG_Unseededif the RNG fails because it has not enough entropy
Exceptionif the RNG fails

Definition at line 228 of file rng.h.

228 {
229 uint8_t b = this->next_byte();
230 while(b == 0) {
231 b = this->next_byte();
232 }
233 return b;
234 }

Referenced by Botan::EME_PKCS1v15::pad().

◆ random_vec() [1/3]

template<concepts::resizable_byte_buffer T = secure_vector<uint8_t>>
requires std::default_initializable<T>
T Botan::RandomNumberGenerator::random_vec ( size_t bytes)
inlineinherited

Create some byte container type and fill it with some random bytes.

Template Parameters
Tthe desired byte container type (e.g std::vector<uint8_t>)
Parameters
bytesnumber of random bytes to initialize the container with
Returns
a container of type T with bytes random bytes
Exceptions
Exceptionif RNG or memory allocation fails

Definition at line 205 of file rng.h.

205 {
206 T result;
207 random_vec(result, bytes);
208 return result;
209 }
void random_vec(std::span< uint8_t > v)
Definition rng.h:179

References T.

◆ random_vec() [2/3]

void Botan::RandomNumberGenerator::random_vec ( std::span< uint8_t > v)
inlineinherited

◆ random_vec() [3/3]

template<concepts::resizable_byte_buffer T>
void Botan::RandomNumberGenerator::random_vec ( T & v,
size_t bytes )
inlineinherited

Resize a given byte container to bytes and fill it with random bytes

Template Parameters
Tthe desired byte container type (e.g std::vector<uint8_t>)
Parameters
vthe container to be filled with bytes random bytes
bytesnumber of random bytes to initialize the container with
Exceptions
Exceptionif RNG or memory allocation fails

Definition at line 190 of file rng.h.

190 {
191 v.resize(bytes);
192 random_vec(v);
193 }

◆ randomize() [1/2]

void Botan::RandomNumberGenerator::randomize ( std::span< uint8_t > output)
inlineinherited

◆ randomize() [2/2]

void Botan::RandomNumberGenerator::randomize ( uint8_t output[],
size_t length )
inlineinherited

Definition at line 54 of file rng.h.

54{ this->randomize(std::span(output, length)); }

References Botan::RandomNumberGenerator::randomize().

Referenced by Botan::RandomNumberGenerator::randomize().

◆ randomize_with_input() [1/2]

void Botan::RandomNumberGenerator::randomize_with_input ( std::span< uint8_t > output,
std::span< const uint8_t > input )
inlineinherited

Incorporate entropy into the RNG state then produce output. Some RNG types implement this using a single operation, default calls add_entropy + randomize in sequence.

Use this to further bind the outputs to your current process/protocol state. For instance if generating a new key for use in a session, include a session ID or other such value. See NIST SP 800-90 A, B, C series for more ideas.

Parameters
outputbuffer to hold the random output
inputentropy buffer to incorporate
Exceptions
PRNG_Unseededif the RNG fails because it has not enough entropy
Exceptionif the RNG fails
Exceptionmay throw if the RNG accepts input, but adding the entropy failed.

Definition at line 104 of file rng.h.

104 {
105 this->fill_bytes_with_input(output, input);
106 }

Referenced by Botan::System_RNG::fill_bytes_with_input().

◆ randomize_with_input() [2/2]

void Botan::RandomNumberGenerator::randomize_with_input ( uint8_t output[],
size_t output_len,
const uint8_t input[],
size_t input_len )
inlineinherited

Definition at line 108 of file rng.h.

108 {
109 this->randomize_with_input(std::span(output, output_len), std::span(input, input_len));
110 }
void randomize_with_input(std::span< uint8_t > output, std::span< const uint8_t > input)
Definition rng.h:104

◆ randomize_with_ts_input() [1/2]

void Botan::RandomNumberGenerator::randomize_with_ts_input ( std::span< uint8_t > output)
inherited

This calls randomize_with_input using some timestamps as extra input.

For a stateful RNG using non-random but potentially unique data the extra input can help protect against problems with fork, VM state rollback, or other cases where somehow an RNG state is duplicated. If both of the duplicated RNG states later incorporate a timestamp (and the timestamps don't themselves repeat), their outputs will diverge.

Parameters
outputbuffer to hold the random output
Exceptions
PRNG_Unseededif the RNG fails because it has not enough entropy
Exceptionif the RNG fails
Exceptionmay throw if the RNG accepts input, but adding the entropy failed.

Definition at line 21 of file rng.cpp.

21 {
22 if(this->accepts_input()) {
23 constexpr auto s_hd_clk = sizeof(decltype(OS::get_high_resolution_clock()));
24 constexpr auto s_sys_ts = sizeof(decltype(OS::get_system_timestamp_ns()));
25 constexpr auto s_pid = sizeof(decltype(OS::get_process_id()));
26
27 std::array<uint8_t, s_hd_clk + s_sys_ts + s_pid> additional_input = {0};
28 auto s_additional_input = std::span(additional_input.begin(), additional_input.end());
29
30 store_le(OS::get_high_resolution_clock(), s_additional_input.data());
31 s_additional_input = s_additional_input.subspan(s_hd_clk);
32
33#if defined(BOTAN_HAS_SYSTEM_RNG)
34 System_RNG system_rng;
35 system_rng.randomize(s_additional_input);
36#else
37 store_le(OS::get_system_timestamp_ns(), s_additional_input.data());
38 s_additional_input = s_additional_input.subspan(s_sys_ts);
39
40 store_le(OS::get_process_id(), s_additional_input.data());
41#endif
42
43 this->fill_bytes_with_input(output, additional_input);
44 } else {
45 this->fill_bytes_with_input(output, {});
46 }
47}
virtual bool accepts_input() const =0
uint64_t BOTAN_TEST_API get_high_resolution_clock()
Definition os_utils.cpp:266
uint64_t BOTAN_TEST_API get_system_timestamp_ns()
Definition os_utils.cpp:316
uint32_t BOTAN_TEST_API get_process_id()
Definition os_utils.cpp:116
RandomNumberGenerator & system_rng()
constexpr auto store_le(ParamTs &&... params)
Definition loadstor.h:702

References Botan::RandomNumberGenerator::accepts_input(), Botan::RandomNumberGenerator::fill_bytes_with_input(), Botan::OS::get_high_resolution_clock(), Botan::OS::get_process_id(), Botan::OS::get_system_timestamp_ns(), Botan::RandomNumberGenerator::randomize(), Botan::store_le(), and Botan::system_rng().

◆ randomize_with_ts_input() [2/2]

void Botan::RandomNumberGenerator::randomize_with_ts_input ( uint8_t output[],
size_t output_len )
inlineinherited

Definition at line 128 of file rng.h.

128 {
129 this->randomize_with_ts_input(std::span(output, output_len));
130 }
void randomize_with_ts_input(std::span< uint8_t > output)
Definition rng.cpp:21

◆ reseed()

size_t Botan::Stateful_RNG::reseed ( Entropy_Sources & srcs,
size_t poll_bits = BOTAN_RNG_RESEED_POLL_BITS,
std::chrono::milliseconds poll_timeout = BOTAN_RNG_RESEED_DEFAULT_TIMEOUT )
overridevirtual

Poll provided sources for up to poll_bits bits of entropy or until the timeout expires. Returns estimate of the number of bits collected.

Reimplemented from Botan::RandomNumberGenerator.

Definition at line 77 of file stateful_rng.cpp.

77 {
78 lock_guard_type<recursive_mutex_type> lock(m_mutex);
79
80 const size_t bits_collected = RandomNumberGenerator::reseed(srcs, poll_bits, poll_timeout);
81
82 if(bits_collected >= security_level()) {
83 reset_reseed_counter();
84 }
85
86 return bits_collected;
87}
virtual size_t reseed(Entropy_Sources &srcs, size_t poll_bits=BOTAN_RNG_RESEED_POLL_BITS, std::chrono::milliseconds poll_timeout=BOTAN_RNG_RESEED_DEFAULT_TIMEOUT)
Definition rng.cpp:49
virtual size_t security_level() const =0

References Botan::lock(), Botan::RandomNumberGenerator::reseed(), and security_level().

Referenced by reseed_check().

◆ reseed_check()

void Botan::Stateful_RNG::reseed_check ( )
protected

Definition at line 104 of file stateful_rng.cpp.

104 {
105 // Lock is held whenever this function is called
106
107 const uint32_t cur_pid = OS::get_process_id();
108
109 const bool fork_detected = (m_last_pid > 0) && (cur_pid != m_last_pid);
110
111 if(is_seeded() == false || fork_detected || (m_reseed_interval > 0 && m_reseed_counter >= m_reseed_interval)) {
112 m_reseed_counter = 0;
113 m_last_pid = cur_pid;
114
115 if(m_underlying_rng) {
116 reseed_from_rng(*m_underlying_rng, security_level());
117 }
118
119 if(m_entropy_sources) {
120 reseed(*m_entropy_sources, security_level());
121 }
122
123 if(!is_seeded()) {
124 if(fork_detected) {
125 throw Invalid_State("Detected use of fork but cannot reseed DRBG");
126 } else {
127 throw PRNG_Unseeded(name());
128 }
129 }
130 } else {
131 BOTAN_ASSERT(m_reseed_counter != 0, "RNG is seeded");
132 m_reseed_counter += 1;
133 }
134}
#define BOTAN_ASSERT(expr, assertion_made)
Definition assert.h:50
virtual std::string name() const =0
bool is_seeded() const final
size_t reseed(Entropy_Sources &srcs, size_t poll_bits=BOTAN_RNG_RESEED_POLL_BITS, std::chrono::milliseconds poll_timeout=BOTAN_RNG_RESEED_DEFAULT_TIMEOUT) override
void reseed_from_rng(RandomNumberGenerator &rng, size_t poll_bits=BOTAN_RNG_RESEED_POLL_BITS) final

References BOTAN_ASSERT, Botan::OS::get_process_id(), is_seeded(), Botan::RandomNumberGenerator::name(), reseed(), reseed_from_rng(), and security_level().

◆ reseed_from_rng()

void Botan::Stateful_RNG::reseed_from_rng ( RandomNumberGenerator & rng,
size_t poll_bits = BOTAN_RNG_RESEED_POLL_BITS )
finalvirtual

Reseed by reading specified bits from the RNG

Sets the seeded state to true if enough entropy was added.

Exceptions
Exceptionif RNG accepts input but reseeding failed.

Reimplemented from Botan::RandomNumberGenerator.

Definition at line 89 of file stateful_rng.cpp.

89 {
90 lock_guard_type<recursive_mutex_type> lock(m_mutex);
91
93
94 if(poll_bits >= security_level()) {
95 reset_reseed_counter();
96 }
97}
virtual void reseed_from_rng(RandomNumberGenerator &rng, size_t poll_bits=BOTAN_RNG_RESEED_POLL_BITS)
Definition rng.cpp:57

References Botan::lock(), Botan::RandomNumberGenerator::reseed_from_rng(), and security_level().

Referenced by reseed_check().

◆ reseed_interval()

size_t Botan::Stateful_RNG::reseed_interval ( ) const
inline

Definition at line 106 of file stateful_rng.h.

106{ return m_reseed_interval; }

Referenced by Botan::HMAC_DRBG::HMAC_DRBG(), Botan::HMAC_DRBG::HMAC_DRBG(), and Botan::HMAC_DRBG::HMAC_DRBG().

◆ security_level()

virtual size_t Botan::Stateful_RNG::security_level ( ) const
pure virtual
Returns
intended security level of this DRBG

Implemented in Botan::ChaCha_RNG, and Botan::HMAC_DRBG.

Referenced by reseed(), reseed_check(), and reseed_from_rng().

◆ update()

virtual void Botan::Stateful_RNG::update ( std::span< const uint8_t > input)
protectedpure virtual

The documentation for this class was generated from the following files: