Skip to content

fix(pdu): retain unknown client encryptionMethods bits in the GCC security data - #1845

Merged
Marc-André Moreau (mamoreau-devolutions) merged 1 commit into
Devolutions:masterfrom
lamco-admin:fix/client-security-methods-retain
Aug 30, 2026
Merged

fix(pdu): retain unknown client encryptionMethods bits in the GCC security data#1845
Marc-André Moreau (mamoreau-devolutions) merged 1 commit into
Devolutions:masterfrom
lamco-admin:fix/client-security-methods-retain

Conversation

@glamberson

@glamberson Greg Lamberson (glamberson) commented Aug 30, 2026

Copy link
Copy Markdown
Contributor

ClientSecurityData::decode rejects the whole Basic Settings Exchange when the encryptionMethods field carries a bit outside the four defined flags. [MS-RDPBCGR] 2.2.1.3.3 defines the field as the set of methods the client supports, with the server obliged to "select one of the methods specified by the client", and [MS-RDPBCGR] 3.3.5.3.3's mandated handling for this field is to examine encryptionMethods and extEncryptionMethods for at least one valid flag, not to validate the bit set. The strict decode implemented neither half of that: it rejected a valid flag accompanied by an unknown bit, and accepted the zero-flags case the rule actually addresses. The sibling extEncryptionMethods field in the same structure is already read without validation. So the strictness is this library's own, it fails the connection at GCC, and it protects nothing: a server simply never selects a method it does not know.

The advertisement site switches to from_bits_retain, the crate-wide policy since #1144, with the usual property that re-encoding a decoded block reproduces the wire value.

The server-side selection in ServerSecurityData deliberately STAYS strict, and this change adds a comment making that asymmetry durable: that field is the server's selected method, not an advertisement, a conforming server can never send an unknown bit there, a client cannot implement a method it does not know, and the value drives the conditional serverRandom/serverCertificate parse.

This continues the interop line of #1489, #1458, #1837, #1843 and #1844.

Test: a Client Security Data fixture with an undefined method bit decodes, the bit is retained, and re-encoding reproduces the exact input bytes. Fails with the strict from_bits restored.

cargo xtask check fmt/lints/tests/typos/locks all pass.

…urity data

ClientSecurityData::decode rejected the whole Basic Settings Exchange
when the encryptionMethods field carried a bit outside the four defined
flags. [MS-RDPBCGR] 2.2.1.3.3 defines the field as the set of methods
the client supports, with the server obliged to select one of the
methods specified by the client, and 3.3.5.3.3's processing rules ask
the server to validate only the Client Network Data bounds among the
settings blocks. The sibling extEncryptionMethods field in the same
structure is already read without validation. So the strictness was
this library's own, it failed the connection at GCC, and it protected
nothing: a server simply never selects a method it does not know.

Switch the advertisement site to from_bits_retain, the crate-wide
policy since Devolutions#1144; re-encoding a decoded block reproduces the wire
value.

The server-side selection in ServerSecurityData deliberately STAYS
strict, and this change adds a comment making that asymmetry durable:
that field is the server's selected method, not an advertisement, a
conforming server can never send an unknown bit there, a client cannot
implement a method it does not know, and the value drives the
conditional serverRandom/serverCertificate parse.

This continues the interop line of Devolutions#1489, Devolutions#1458, Devolutions#1837, Devolutions#1843 and
Devolutions#1844.
@github-actions github-actions Bot added maintainer-required Maintainer review or intervention is required risk/unknown Risk could not be determined automatically; needs maintainer-level scrutiny scope/core Touches the core architectural tier size/XS Size: up to 49 counted lines and 2 files labels Aug 30, 2026
Marc-André Moreau (mamoreau-devolutions) pushed a commit that referenced this pull request Aug 30, 2026
…elds (#1846)

The two GCC core-data fields that echo the X.224 negotiation values are
decoded strictly: serverSelectedProtocol in the client core data and
clientRequestedProtocols in the server core data both reject the whole
settings exchange when the value carries a bit outside the five defined
PROTOCOL_* flags. The negotiation layer itself already decodes this
exact type with from_bits_retain in both the RDP Negotiation Request and
Response, so a value the library accepts leniently at X.224 becomes
connection-fatal when echoed back one phase later.

The strictness also works against the field's purpose. [MS-RDPBCGR]
3.3.5.3.3's mandated handling of serverSelectedProtocol is a value
comparison: if the field does not contain the same value the server
transmitted in the RDP Negotiation Response, the server SHOULD drop the
connection. That comparison needs the value to survive decode; rejecting
unknown bits at parse time replaces the spec's check with a decode
error. The client-side echo is symmetric: the client knows what it
requested and compares, rather than validating the bit set.

The exposure is demonstrated by history: the PROTOCOL_* list has grown
three times (RDSTLS, HYBRID_EX, RDSAAD), and each addition would have
made older strict decoders refuse newer peers whose negotiation had
already succeeded.

Both sites switch to from_bits_retain, the crate-wide policy since
#1144; re-encoding a decoded block reproduces the wire value.

This continues the interop line of #1489, #1458, #1837, #1843, #1844 and
#1845.

Tests: one per direction, each verifying that a fixture with an
undefined protocol bit decodes, that the bit is retained, and that
re-encoding reproduces the exact input bytes. Both fail with the strict
from_bits restored.

`cargo xtask check fmt/lints/tests/typos/locks` all pass.
@mamoreau-devolutions
Marc-André Moreau (mamoreau-devolutions) merged commit f87040f into Devolutions:master Aug 30, 2026
60 checks passed
Marc-André Moreau (mamoreau-devolutions) pushed a commit that referenced this pull request Aug 30, 2026
…ropping the session (#1847)

The fast-path input decoder rejects the whole event stream when a
keyboard or synchronize event carries an eventFlags bit outside the
defined set, and a decode error there is session-fatal mid-use: input
events arrive continuously, so a single unknown flag bit from a client
drops a live session with work in progress.

The strictness is also internally inconsistent: the slow-path decoders
for the very same events already tolerate unknown bits. Slow-path
keyboard flags (scan_code.rs), synchronize toggle flags (sync.rs) and
unicode keyboard flags (unicode.rs) all decode with from_bits_retain, so
the identical keystroke is tolerated on one path and connection-fatal on
the other.

The spec's only mandated strictness in this area is about event types,
not flags: [MS-RDPBCGR] 3.3.5.8.2 says the server SHOULD drop the
connection when an event structure does not match one of the known
types. That check is the existing eventCode rejection, which stays
exactly as it is. The eventFlags tables (2.2.8.1.2.2.1 and
2.2.8.1.2.2.5) carry no receiver-validation language.

All three flag sites (scancode, sync, unicode) switch to
from_bits_retain, the crate-wide policy since #1144. The retained bits
fit the 5-bit header field, so re-encoding reproduces the wire value,
and the server-side consumers read these flags with contains(), so
retained bits flow through harmlessly.

This continues the interop line of #1489, #1458, #1837, #1843, #1844,
#1845 and #1846, and it is the last flag-site conversion of that series.

Tests: a keyboard event and a synchronize event, each with an undefined
bit in the 5-bit field, decode successfully, retain the bit, and
re-encode byte-identically. Both fail with the strict from_bits
restored.

`cargo xtask check fmt/lints/tests/typos/locks` all pass.
@glamberson
Greg Lamberson (glamberson) deleted the fix/client-security-methods-retain branch August 30, 2026 15:03
Marc-André Moreau (mamoreau-devolutions) pushed a commit that referenced this pull request Aug 30, 2026
…ce policy (#1850)

STYLE.md's error handling section documents the message-formatting
conventions but predates two rounds of change in the machinery itself,
and it says nothing about the decode-tolerance convention that this
month's merges made the most exercised rule in ironrdp-pdu. This adds
three subsections, plus two mirroring bullets in AGENTS.md's Key Style
Conventions.

Choosing an error kind: the structured DecodeErrorKind/EncodeErrorKind
variants carry byte offsets and are constructed through the *_err!
macros with in: src; Other is the deliberate offset-less kind for
non-stream failures (constructors, conversions, state validation).

Error types: typed errors rather than anyhow in library crates, and no
proc-macro error derives in core-tier crates, hand-rolling Display and
Error per ironrdp-error's own Location-capturing Source pattern.

Decoding unknown values: the taxonomy the recent interop line converged
on. Peer advertisements decode with from_bits_retain (unknown bits kept,
never fatal, byte-identical re-encode); negotiation outputs the receiver
must implement stay strict; structural discriminants stay strict per the
specifications' own drop-the-connection language. Precedent: #1144
established retain crate-wide, #1489, #1458, #1536, #1541, #1837, and
#1843 through #1847 applied the taxonomy field by field, and #1845
documents the strict half in-code at the server-selected encryption
method.

Deliberately out of scope: connector-layer error types, which #1751 and
the sequence-contract stack are actively reshaping; nothing here
describes them. Testing guidance is also untouched; that conversation
belongs with the in-flight test-centralization series.

`cargo xtask check fmt/lints/tests/typos/locks` all pass (docs-only
change).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintainer-required Maintainer review or intervention is required risk/unknown Risk could not be determined automatically; needs maintainer-level scrutiny scope/core Touches the core architectural tier size/XS Size: up to 49 counted lines and 2 files

Development

Successfully merging this pull request may close these issues.

2 participants