QUIC stateless reset invariants
E698184
QUIC stateless reset invariants are protocol design rules that ensure stateless reset packets can be reliably recognized and validated across different QUIC versions and implementations.
All labels observed (1)
| Label | Occurrences |
|---|---|
| QUIC stateless reset invariants canonical | 1 |
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
QUIC protocol invariant
ⓘ
protocol design rule set ⓘ |
| aimsTo |
balance statelessness with authenticity of reset signals
ⓘ
minimize additional on-path observability beyond what is necessary for reset recognition ⓘ |
| appliesTo |
QUIC clients
ⓘ
QUIC endpoints ⓘ QUIC servers ⓘ |
| assumes |
endpoints may lose connection state unexpectedly
ⓘ
middleboxes may forward packets without understanding QUIC versions ⓘ |
| constrains |
format of QUIC stateless reset packets
ⓘ
recognition of QUIC stateless reset packets ⓘ |
| definedIn | IETF QUIC specifications NERFINISHED ⓘ |
| designedFor |
interoperability between different QUIC implementations
ⓘ
long-term protocol evolution ⓘ |
| ensures |
stateless reset behavior remains consistent across QUIC versions
ⓘ
stateless reset packets can be recognized even when version-specific parsing fails ⓘ stateless reset packets can be validated by recipients without maintaining per-connection state ⓘ |
| hasProperty |
implementation-guiding
ⓘ
security-sensitive ⓘ version-independent ⓘ |
| hasPurpose |
allow endpoints to discard connection state while still signaling a reset
ⓘ
enable validation of stateless reset packets across QUIC versions ⓘ ensure stateless reset packets can be reliably recognized ⓘ support version-independent handling of stateless reset packets ⓘ |
| influences |
error handling logic in QUIC stacks
ⓘ
implementation of QUIC connection ID and token generation ⓘ |
| mitigates |
risk of misinterpreting random packets as valid QUIC traffic
ⓘ
risk of off-path injection of fake stateless reset packets ⓘ |
| partOf | QUIC invariants ⓘ |
| relatedTo |
QUIC stateless reset
NERFINISHED
ⓘ
QUIC transport protocol NERFINISHED ⓘ |
| requires |
stateless reset packets be compatible with QUIC version negotiation and evolution
ⓘ
stateless reset packets be distinguishable from regular QUIC packets with high probability ⓘ stateless reset packets be processable without connection-specific state ⓘ stateless reset packets include a stateless reset token ⓘ stateless reset token be bound to connection or endpoint secrets ⓘ stateless reset token be unpredictable to off-path attackers ⓘ |
| supports |
rapid connection teardown when state is lost
ⓘ
robust error recovery in QUIC ⓘ |
| usedBy |
QUIC library implementers
ⓘ
protocol designers extending QUIC ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.