Skip to main content

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

Document Type Expired Internet-Draft (individual)
Expired & archived
Authors Brendan Moran , Tony Ibbs , George Psimenos
Last updated 2019-09-12 (Latest revision 2019-03-11)
RFC stream (None)
Intended RFC status (None)
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 is available in these formats:


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.)