@techreport{haynes-sacm-oval-definitions-model-01,
    number =    {draft-haynes-sacm-oval-definitions-model-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-haynes-sacm-oval-definitions-model/01/},
    author =    {Michael Cokus and Daniel Haynes and David Rothenberg and Juan Gonzalez},
    title =     {{OVAL(R) Definitions Model}},
    pagetotal = 169,
    year =      2016,
    month =     sep,
    day =       7,
    abstract =  {This document specifies Version 5.11.1 of the OVAL Definitions Model which defines an extensible framework for making assertions about a system that are based upon a collection of logical statements. Each logical statement defines a specific machine state by identifying the data set on the system to examine and describing the expected state of that system data.},
}