liveBook · Manning

Forward secrecy

As explained in Hacking Cryptography

Forward secrecy is the property that compromise of long-term or current secret keying material does not reveal previously established session secrets.

Forward secrecy prevents observed output from revealing earlier values or previously used secret state. In a cryptographic pseudorandom number generator, an attacker who sees a later value should not be able to reconstruct the values produced before it. section 2.2.3

A predictable generator fails immediately: when its algorithm, constants, and current output are known, an attacker can clone the state to produce future values and reverse the recurrence to recover past values. Exposing internal state directly makes this failure especially clear. section 2.2.3

Recovering values from a predictable stream

Given the stream 1538354858, 90320905, 488601845, 1634248641, an attacker can seed a cloned LCG with 1634248641 to predict later values or rearrange its recurrence to calculate earlier ones. RC4-based Wi-Fi attacks go further: recovering the keystream can expose the original seed key, allowing encrypted traffic to be decrypted and violating forward secrecy. section 2.2.3 section 4.3

How Hacking Cryptography covers it

How deep it goes
Explains state mutation, output exposure, cloning, recurrence reversal, and an RC4 key-recovery attack.
Examples
Uses a numeric PRNG stream, cloned LCG states, and RC4-based Wi-Fi traffic to demonstrate recovery of earlier secrets.
What you can do after
Evaluate/understand whether observed generator output permits reconstruction of past values, state, or seed keys.
How it connects
Connects forward secrecy with CSPRNGs, backward secrecy, LCGs, internal state, LFSRs, RC4, and WEP.

Also explained in

Compare how 2 books explain forward secrecy →

Related concepts

This explainer was generated by Manning's knowledge graph from the text of Hacking Cryptography. The section links point to the parts of the book it draws on.