CISA published advisory ICSMA-18-114-01 on April 24, 2018, covering the KRACK key reinstallation attacks in BD Pyxis products. Twelve product lines are listed, all versions, among them Pyxis MedStation ES, MedStation 4000 T2, Anesthesia System 3500 and 4000, Anesthesia ES, SupplyStation, StockStation and CIISafe.
The lead identifier is CVE-2017-13077 (CWE-323, CVSS v3 6.8), reinstallation of the pairwise key during the four-way handshake, with CVE-2017-13078 and CVE-2017-13079 in the same group. Mathy Vanhoef of imec-DistriNet, KU Leuven, found the KRACK flaws. Manipulated handshake traffic forces nonce reuse, and an attacker in radio range can then replay, decrypt or spoof frames.
KRACK is an industry-wide protocol weakness in WPA and WPA2. Every Wi-Fi client stack had to be patched, so medical devices inherited the problem from whatever wireless supplicant they ship. CISA says exploitation could allow partial disclosure of encrypted communication or injection of data.
BD has applied third-party vendor patches through its routine patch deployment process for most devices. Some need coordination with BD, and the company is contacting those users to schedule patches. BD reports no verified malicious exploitation of KRACK against its devices and published a product security bulletin with compensating controls.
A dispensing cabinet fleet is only as patched as its slowest coordinated install. Track which Pyxis units still wait on BD.