Skip to main content

An Information Model for Behavioural Description of Firmware Update and Related Operations

Document Type Expired Internet-Draft (individual)
Authors Brendan Moran , Tony Ibbs , George Psimenos
Last updated 2019-09-12 (Latest revision 2019-03-11)
Stream (None)
Intended RFC status (None)
Expired & archived
Stream Stream state (No stream defined)
Consensus boilerplate Unknown
RFC Editor Note (None)
IESG IESG state Expired
Telechat date (None)
Responsible AD (None)
Send notices to (None)
This Internet-Draft is no longer active. A copy of the expired Internet-Draft can be found at:


This specification describes an approach to formally defining the behaviour of a system under firmware update and secure boot conditions. The behavioural documents described here can be used with [Information] to construct a firmware update manifest.


Brendan Moran
Tony Ibbs
George Psimenos

(Note: The e-mail addresses provided for the authors of this Internet-Draft may no longer be valid.)