@techreport{moran-suit-behavioural-manifest-01,
    number =    {draft-moran-suit-behavioural-manifest-01},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-moran-suit-behavioural-manifest/01/},
    author =    {Brendan Moran and Tony Ibbs and George Psimenos},
    title =     {{An Information Model for Behavioural Description of Firmware Update and Related Operations}},
    pagetotal = 27,
    year =      2019,
    month =     mar,
    day =       11,
    abstract =  {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.},
}