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)
Expired & archived
pdf htmlized bibtex
Stream Stream state (No stream defined)
Consensus Boilerplate Unknown
RFC Editor Note (None)
IESG IESG state Expired
Telechat date
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 (unknown-email-George-Psimenos)

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