<?xml version="1.0"?>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:oval="http://oval.mitre.org/XMLSchema/oval-common-5" xmlns:oval-def="http://oval.mitre.org/XMLSchema/oval-definitions-5" xmlns:win-def="http://oval.mitre.org/XMLSchema/oval-definitions-5#windows" xmlns:sch="http://purl.oclc.org/dsdl/schematron" targetNamespace="http://oval.mitre.org/XMLSchema/oval-definitions-5#windows" elementFormDefault="qualified" version="5.3">
     <xsd:import namespace="http://oval.mitre.org/XMLSchema/oval-common-5" schemaLocation="oval-common-schema.xsd"/>
     <xsd:import namespace="http://oval.mitre.org/XMLSchema/oval-definitions-5" schemaLocation="oval-definitions-schema.xsd"/>
     <xsd:annotation>
          <xsd:documentation>The following is a description of the elements, types, and attributes that compose the Windows specific tests found in Open Vulnerability and Assessment Language (OVAL). Each test is an extension of the standard test element defined in the Core Definition Schema. Through extension, each test inherits a set of elements and attributes that are shared amongst all OVAL tests. Each test is described in detail and should provide the information necessary to understand what each element and attribute represents. This document is intended for developers and assumes some familiarity with XML. A high level description of the interaction between the different tests and their relationship to the Core Definition Schema is not outlined here.</xsd:documentation>
          <xsd:documentation>The OVAL Schema is maintained by The Mitre Corporation and developed by the public OVAL Community. For more information, including how to get involved in the project and how to submit change requests, please visit the OVAL website at http://oval.mitre.org.</xsd:documentation>
          <xsd:appinfo>
               <schema>Windows Definition</schema>
               <version>5.3</version>
               <date>6/22/2007 11:19:26 AM</date>
               <sch:title>schematron validation of the Windows portion of an OVAL Definitions file</sch:title>
               <sch:ns prefix="oval-def" uri="http://oval.mitre.org/XMLSchema/oval-definitions-5"/>
               <sch:ns prefix="win-def" uri="http://oval.mitre.org/XMLSchema/oval-definitions-5#windows"/>
               <sch:ns prefix="xsi" uri="http://www.w3.org/2001/XMLSchema-instance"/>
               <sch:pattern id="affected_platform">
                    <sch:rule context="oval-def:affected[@family='windows']">
                         <sch:assert test="not(oval-def:platform) or oval-def:platform='Microsoft Windows 95' or oval-def:platform='Microsoft Windows 98' or oval-def:platform='Microsoft Windows ME' or oval-def:platform='Microsoft Windows NT' or oval-def:platform='Microsoft Windows 2000' or oval-def:platform='Microsoft Windows XP' or oval-def:platform='Microsoft Windows Server 2003' or oval-def:platform='Microsoft Windows Vista'">
                              <sch:value-of select="../../@id"/> - the value "<sch:value-of select="oval-def:platform"/>" found in platform element as part of the affected element is not a valid windows platform.</sch:assert>
                    </sch:rule>
               </sch:pattern>
          </xsd:appinfo>
     </xsd:annotation>
     <!-- =============================================================================== -->
     <!-- ============================  ACCESS TOKEN TEST   ============================= -->
     <!-- =============================================================================== -->
     <xsd:element name="accesstoken_test" substitutionGroup="oval-def:test">
          <xsd:annotation>
               <xsd:documentation>The access token test is used to check the properties of a Windows' access token as well as individual privileges and rights associated with it. It extends the standard TestType as defined in the oval-definitions-schema and one should refer to the TestType description for more information. The required object element references an accesstoken_object and the optional state element specifies the data to check. The evaluation of the test is guided by the check attribute that is inherited from the TestType.</xsd:documentation>
               <xsd:appinfo>
                    <sch:pattern id="attst">
                         <sch:rule context="win-def:accesstoken_test/win-def:object">
                              <sch:assert test="@object_ref=/oval-def:oval_definitions/oval-def:objects/win-def:accesstoken_object/@id">
                                   <sch:value-of select="../@id"/> - the object child element of an accesstoken_test must reference an accesstoken_object</sch:assert>
                         </sch:rule>
                         <sch:rule context="win-def:accesstoken_test/win-def:state">
                              <sch:assert test="@state_ref=/oval-def:oval_definitions/oval-def:states/win-def:accesstoken_state/@id">
                                   <sch:value-of select="../@id"/> - the state child element of an accesstoken_test must reference an accesstoken_state</sch:assert>
                         </sch:rule>
                    </sch:pattern>
               </xsd:appinfo>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:TestType">
                         <xsd:sequence>
                              <xsd:element name="object" type="oval-def:ObjectRefType"/>
                              <xsd:element name="state" type="oval-def:StateRefType" minOccurs="0"/>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:element name="accesstoken_object" substitutionGroup="oval-def:object">
          <xsd:annotation>
               <xsd:documentation>The accesstoken_object element is used by an access token test to define the object to be evaluated. Each object extends the standard ObjectType as definied in the oval-definitions-schema and one should refer to the ObjectType description for more information. The common set element allows complex objects to be created using filters and set logic. Again, please refer to the description of the set element in the oval-definitions-schema.</xsd:documentation>
               <xsd:documentation>An access token object consists of a single security principle that identifies user, group, or compter account that is associated with the token.</xsd:documentation>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:ObjectType">
                         <xsd:sequence>
                              <xsd:choice>
                                   <xsd:element ref="oval-def:set"/>
                                   <xsd:sequence>
                                        <xsd:element name="behaviors" type="win-def:AccesstokenBehaviors" minOccurs="0"/>
                                        <xsd:element name="security_principle" type="oval-def:EntityObjectStringType">
                                             <xsd:annotation>
                                                  <xsd:documentation>The security_principle element defines the access token being specified. Security principals include users or groups with either local or domain accounts, and computer accounts created when a computer running Windows NT, Windows 2000, Windows XP, or a member of the Windows Server 2003 family joins a domain. User rights and permissions to access objects such as Active Directory objects, files, and registry settings are assigned to security principals. In a domain environment, security principals should be identified in the form: "domain\trustee name" For local security principals use: "computer name\trustee name" For built-in accounts on the system, use the trustee name without a domain. For example: ADMINISTRATOR, SYSTEM, NETWORK_SERVICES, ADMINISTRATORS (group), etc. Note that the built-in security principals should be all caps as that is how the windows apis return them.</xsd:documentation>
                                                  <xsd:appinfo>
                                                       <sch:pattern id="atobjsecurity_principle">
                                                            <sch:rule context="win-def:accesstoken_object/win-def:security_principle">
                                                                 <sch:assert test="not(@datatype) or @datatype='string'">
                                                                      <sch:value-of select="../@id"/> - datatype attribute for the security_principle entity of an accesstoken_object should be 'string'</sch:assert>
                                                                 <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'">
                                                                      <sch:value-of select="../@id"/> - operation attribute for the security_principle entity of an accesstoken_object should be 'equals', 'not equal', or 'pattern match'</sch:assert>
                                                            </sch:rule>
                                                       </sch:pattern>
                                                  </xsd:appinfo>
                                             </xsd:annotation>
                                        </xsd:element>
                                   </xsd:sequence>
                              </xsd:choice>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:element name="accesstoken_state" substitutionGroup="oval-def:state">
          <xsd:annotation>
               <xsd:documentation>The accesstoken_state element defines the different information that can be used to evaluate the specified access tokens. This includes the multitude of user rights and permissions that can be granted. Please refer to the individual elements in the schema for more details about what each represents.</xsd:documentation>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:StateType">
                         <xsd:sequence>
                              <xsd:element name="security_principle" type="oval-def:EntityStateStringType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>The security_principle element identifies an access token to test for. Security principals include users or groups with either local or domain accounts, and computer accounts created when a computer running Windows NT, Windows 2000, Windows XP, or a member of the Windows Server 2003 family joins a domain. User rights and permissions to access objects such as Active Directory objects, files, and registry settings are assigned to security principals. In a domain environment, security principals should be identified in the form: "domain\trustee name" For local security principals use: "computer name\trustee name" For built-in accounts on the system, use the trustee name without a domain. For example: ADMINISTRATOR, SYSTEM, NETWORK_SERVICES, ADMINISTRATORS (group), etc. Note that the built-in security principals should be all caps as that is how the windows apis return them.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesecurity_principle">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:security_principle">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the security_principle entity of an accesstoken_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the security_principle entity of an accesstoken_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seassignprimarytokenprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seassignprimarytokenprivilege privilege is enabled, it allows a parent process to replace the access token that is associated with a child process.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseassignprimarytokenprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seassignprimarytokenprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seassignprimarytokenprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seassignprimarytokenprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seauditprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seauditprivilege privilege is enabled, it allows a process to generate audit records in the security log. The security log can be used to trace unauthorized system access.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseauditprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seauditprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seauditprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seauditprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sebackupprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sebackupprivilege privilege is enabled, it allows the user to circumvent file and directory permissions to back up the system. The privilege is selected only when an application attempts access by using the NTFS backup application programming interface (API). Otherwise, normal file and directory permissions apply.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesebackupprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sebackupprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sebackupprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sebackupprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sechangenotifyprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sechangenotifyprivilege privilege is enabled, it allows the user to pass through folders to which the user otherwise has no access while navigating an object path in the NTFS file system or in the registry. This privilege does not allow the user to list the contents of a folder; it allows the user only to traverse its directories.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesechangenotifyprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sechangenotifyprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sechangenotifyprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sechangenotifyprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="secreateglobalprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the secreateglobalprivilege privilege is enabled, it allows the user to create named file mapping objects in the global namespace during Terminal Services sessions.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesecreateglobalprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:secreateglobalprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the secreateglobalprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the secreateglobalprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="secreatepagefileprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the secreatepagefileprivilege privilege is enabled, it allows the user to create and change the size of a pagefile.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesecreatepagefileprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:secreatepagefileprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the secreatepagefileprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the secreatepagefileprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="secreatepermanentprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the secreatepermanentprivilege privilege is enabled, it allows a process to create a directory object in the object manager. It is useful to kernel-mode components that extend the object namespace. Components that are running in kernel mode have this privilege inherently.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesecreatepermanentprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:secreatepermanentprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the secreatepermanentprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for thesecreatepermanentprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="secreatesymboliclinkprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the secreatesymboliclinkprivilege privilege is enabled, it allows users to create symbolic links.  This is new for Vista.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesecreatesymboliclinkprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:secreatesymboliclinkprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the secreatesymboliclinkprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the secreatesymboliclinkprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="secreatetokenprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the secreatetokenprivilege privilege is enabled, it allows a process to create an access token by calling NtCreateToken() or other token-creating APIs.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesecreatetokenprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:secreatetokenprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the secreatetokenprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the secreatetokenprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sedebugprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sedebugprivilege privilege is enabled, it allows the user to attach a debugger to any process. It provides access to sensitive and critical operating system components.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesedebugprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sedebugprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sedebugprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sedebugprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seenabledelegationprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seenabledelegationprivilege privilege is enabled, it allows the user to change the Trusted for Delegation setting on a user or computer object in Active Directory. The user or computer that is granted this privilege must also have write access to the account control flags on the object.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseenabledelegationprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seenabledelegationprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seenabledelegationprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seenabledelegationprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seimpersonateprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seimpersonateprivilege privilege is enabled, it allows the user to impersonate a client after authentication. It is not supported on Windows XP, Windows 2000 SP3 and earlier, or Windows NT.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseimpersonateprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seimpersonateprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seimpersonateprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seimpersonateprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seincreasebasepriorityprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seincreasebasepriorityprivilege privilege is enabled, it allows a user to increase the base priority class of a process.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseincreasebasepriorityprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seincreasebasepriorityprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seincreasebasepriorityprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seincreasebasepriorityprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seincreasequotaprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seincreasequotaprivilege privilege is enabled, it allows a process that has access to a second process to increase the processor quota assigned to the second process.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseincreasequotaprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seincreasequotaprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seincreasequotaprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seincreasequotaprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seincreaseworkingsetprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seincreaseworkingsetprivilege privilege is enabled, it allows a user to increase a process working set.  This is new for Vista.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseincreaseworkingsetprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seincreaseworkingsetprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seincreaseworkingsetprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seincreaseworkingsetprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seloaddriverprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seloaddriverprivilege privilege is enabled, it allows a user to install and remove drivers for Plug and Play devices.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseloaddriverprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seloaddriverprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seloaddriverprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seloaddriverprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="selockmemoryprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the selockmemoryprivilege privilege is enabled, it allows a process to keep data in physical memory, which prevents the system from paging the data to virtual memory on disk.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteselockmemoryprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:selockmemoryprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the selockmemoryprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the selockmemoryprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="semachineaccountprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the semachineaccountprivilege privilege is enabled, it allows the user to add a computer to a specific domain.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesemachineaccountprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:semachineaccountprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the semachineaccountprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the semachineaccountprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="semanagevolumeprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the semanagevolumeprivilege privilege is enabled, it allows a non-administrative or remote user to manage volumes or disks.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesemanagevolumeprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:semanagevolumeprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the semanagevolumeprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the semanagevolumeprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seprofilesingleprocessprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seprofilesingleprocessprivilege privilege is enabled, it allows a user to sample the performance of an application process.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseprofilesingleprocessprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seprofilesingleprocessprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seprofilesingleprocessprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seprofilesingleprocessprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="serelabelprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the serelabelprivilege privilege is enabled, it allows a user to modify an object label.  This user right is new for Vista.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteserelabelprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:serelabelprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the serelabelprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the serelabelprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seremoteshutdownprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seremoteshutdownprivilege privilege is enabled, it allows a user to shut down a computer from a remote location on the network. </xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseremoteshutdownprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seremoteshutdownprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seremoteshutdownprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seremoteshutdownprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="serestoreprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the serestoreprivilege privilege is enabled, it allows a user to circumvent file and directory permissions when restoring backed-up files and directories and to set any valid security principal as the owner of an object.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteserestoreprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:serestoreprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the serestoreprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the serestoreprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sesecurityprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sesecurityprivilege privilege is enabled, it allows a user to specify object access auditing options for individual resources such as files, Active Directory objects, and registry keys. A user who has this privilege can also view and clear the security log from Event Viewer.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesesecurityprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sesecurityprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sesecurityprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sesecurityprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seshutdownprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seshutdownprivilege privilege is enabled, it allows a user to shut down the local computer.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseshutdownprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seshutdownprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seshutdownprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seshutdownprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sesyncagentprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sesyncagentprivilege privilege is enabled, it allows a process to read all objects and properties in the directory, regardless of the protection on the objects and properties. It is required in order to use Lightweight Directory Access Protocol (LDAP) directory synchronization (Dirsync) services.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesesyncagentprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sesyncagentprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sesyncagentprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sesyncagentprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sesystemenvironmentprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sesystemenvironmentprivilege privilege is enabled, it allows modification of system environment variables either by a process through an API or by a user through System Properties.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesesystemenvironmentprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sesystemenvironmentprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sesystemenvironmentprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sesystemenvironmentprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sesystemprofileprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sesystemprofileprivilege privilege is enabled, it allows a user to sample the performance of system processes.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesesystemprofileprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sesystemprofileprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sesystemprofileprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sesystemprofileprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sesystemtimeprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the sesystemtimeprivilege privilege is enabled, it allows the user to adjust the time on the computer's internal clock. It is not required to change the time zone or other display characteristics of the system time.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesesystemtimeprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sesystemtimeprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sesystemtimeprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sesystemtimeprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="setakeownershipprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the setakeownershipprivilege privilege is enabled, it allows a user to take ownership of any securable object in the system, including Active Directory objects, NTFS files and folders, printers, registry keys, services, processes, and threads.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesetakeownershipprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:setakeownershipprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the setakeownershipprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the setakeownershipprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="setcbprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the setcbprivilege privilege is enabled, it allows a process to assume the identity of any user and thus gain access to the resources that the user is authorized to access.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesetcbprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:setcbprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the setcbprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the setcbprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="setimezoneprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the setimezoneprivilege privilege is enabled, it allows the user to change the time zone.  This is new for Vista.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesetimezoneprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:setimezoneprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the setimezoneprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the setimezoneprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seundockprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seundockprivilege privilege is enabled, it allows the user of a portable computer to undock the computer by clicking Eject PC on the Start menu.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseundockprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seundockprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seundockprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seundockprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seunsolicitedinputprivilege" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If the seunsolicitedinputprivilege privilege is enabled, it allows the user to read unsolicited data from a terminal device.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseunsolicitedinputprivilege">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seunsolicitedinputprivilege">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seunsolicitedinputprivilege entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seunsolicitedinputprivilege entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sebatchlogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the sebatchlogonright right, it can log on using the batch logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesebatchlogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sebatchlogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sebatchlogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sebatchlogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seinteractivelogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the seinteractivelogonright right, it can log on using the interactive logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseinteractivelogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seinteractivelogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seinteractivelogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seinteractivelogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="senetworklogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the senetworklogonright right, it can log on using the network logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesenetworklogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:senetworklogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the senetworklogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the senetworklogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seremoteinteractivelogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the seremoteinteractivelogonright right, it can log on to the computer by using a Remote Desktop connection.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseremoteinteractivelogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seremoteinteractivelogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seremoteinteractivelogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seremoteinteractivelogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="seservicelogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the seservicelogonright right, it can log on using the service logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atsteseservicelogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:seservicelogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the seservicelogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the seservicelogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sedenybatchLogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the sedenybatchLogonright right, it is explicitly denied the ability to log on using the batch logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesedenybatchLogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sedenybatchLogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sedenybatchLogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sedenybatchLogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sedenyinteractivelogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the sedenyinteractivelogonright right, it is explicitly denied the ability to log on using the interactive logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesedenyinteractivelogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sedenyinteractivelogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sedenyinteractivelogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sedenyinteractivelogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sedenynetworklogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the sedenynetworklogonright right, it is explicitly denied the ability to log on using the network logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesedenynetworklogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sedenynetworklogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sedenynetworklogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sedenynetworklogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sedenyremoteInteractivelogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the sedenyremoteInteractivelogonright right, it is explicitly denied the ability to log on through Terminal Services.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesedenyremoteInteractivelogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sedenyremoteInteractivelogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sedenyremoteInteractivelogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sedenyremoteInteractivelogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="sedenyservicelogonright" type="oval-def:EntityStateBoolType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>If an account is assigned the sedenyservicelogonright right, it is explicitly denied the ability to log on using the service logon type.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="atstesedenyservicelogonright">
                                                  <sch:rule context="win-def:accesstoken_state/win-def:sedenyservicelogonright">
                                                       <sch:assert test="@datatype='boolean'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the sedenyservicelogonright entity of an accesstoken_state should be 'boolean'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the sedenyservicelogonright entity of an accesstoken_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:complexType name="AccesstokenBehaviors">
          <xsd:annotation>
               <xsd:documentation>These behaviors allow a more detailed definition of the accesstoken_object being specified.</xsd:documentation>
          </xsd:annotation>
          <xsd:attribute name="include_group" type="xsd:boolean" use="optional" default="true">
               <xsd:annotation>
                    <xsd:documentation>If a group security principle is specified, this behavior specifies whether to include the group or not. For example, maybe you want to check the access tokens associated with every user within a group, but not the group itself. In this case, you would set the include_group behavior to 'false'. If the security_principle is not a group, then this behavior should be ignored.</xsd:documentation>
               </xsd:annotation>
          </xsd:attribute>
          <xsd:attribute name="resolve_group" type="xsd:boolean" use="optional" default="false">
               <xsd:annotation>
                    <xsd:documentation>If a group security principle is specified, this behavior specifies whether to resolve the group into its list of users. For example, to check the access tokens of every user in a group, you could specify the group security_principle and then set the resolve_group behavior to 'true'. If the security_principle is not a group, then this behavior should be ignored.</xsd:documentation>
               </xsd:annotation>
          </xsd:attribute>
     </xsd:complexType>
     <!-- =============================================================================== -->
     <!-- ===========================  ACTIVE DIRECTORY TEST  =========================== -->
     <!-- =============================================================================== -->
     <xsd:element name="activedirectory_test" substitutionGroup="oval-def:test">
          <xsd:annotation>
               <xsd:documentation>The active directory test is used to check information about specific entries in active directory. It extends the standard TestType as defined in the oval-definitions-schema and one should refer to the TestType description for more information. The required object element references an activedirectory_object and the optional state element specifies the metadata to check. The evaluation of the test is guided by the check attribute that is inherited from the TestType.</xsd:documentation>
               <xsd:appinfo>
                    <sch:pattern id="adtst">
                         <sch:rule context="win-def:activedirectory_test/win-def:object">
                              <sch:assert test="@object_ref=/oval-def:oval_definitions/oval-def:objects/win-def:activedirectory_object/@id">
                                   <sch:value-of select="../@id"/> - the object child element of an activedirectory_test must reference an activedirectory_object</sch:assert>
                         </sch:rule>
                         <sch:rule context="win-def:activedirectory_test/win-def:state">
                              <sch:assert test="@state_ref=/oval-def:oval_definitions/oval-def:states/win-def:activedirectory_state/@id">
                                   <sch:value-of select="../@id"/> - the state child element of an activedirectory_test must reference an activedirectory_state</sch:assert>
                         </sch:rule>
                    </sch:pattern>
               </xsd:appinfo>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:TestType">
                         <xsd:sequence>
                              <xsd:element name="object" type="oval-def:ObjectRefType"/>
                              <xsd:element name="state" type="oval-def:StateRefType" minOccurs="0"/>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:element name="activedirectory_object" substitutionGroup="oval-def:object">
          <xsd:annotation>
               <xsd:documentation>The activedirectory_object element is used by an active directory test to define those objects to evaluated based on a specified state. Each object extends the standard ObjectType as definied in the oval-definitions-schema and one should refer to the ObjectType description for more information. The common set element allows complex objects to be created using filters and set logic. Again, please refer to the description of the set element in the oval-definitions-schema.</xsd:documentation>
               <xsd:documentation>An active directory object consists of three pieces of information, a naming context, a relative distinguished name, and an attribute. Each piece helps identify a specific active directory entry.</xsd:documentation>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:ObjectType">
                         <xsd:sequence>
                              <xsd:choice>
                                   <xsd:element ref="oval-def:set"/>
                                   <xsd:sequence>
                                        <xsd:element name="naming_context" type="win-def:EntityObjectNamingContextType">
                                             <xsd:annotation>
                                                  <xsd:documentation>Each object in active directory exists under a certain naming context (also known as a partition). A naming context is defined as a single object in the Directory Information Tree (DIT) along with every object in the tree subordinate to it. There are three default naming contexts in Active Directory: domain, configuration, and schema.</xsd:documentation>
                                                  <xsd:appinfo>
                                                       <sch:pattern id="adobjnaming_context">
                                                            <sch:rule context="win-def:activedirectory_object/win-def:naming_context">
                                                                 <sch:assert test="not(@datatype) or @datatype='string'">
                                                                      <sch:value-of select="../@id"/> - datatype attribute for the naming_context entity of an activedirectory_object should be 'string'</sch:assert>
                                                                 <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                                      <sch:value-of select="../@id"/> - operation attribute for the naming_context entity of an activedirectory_object should be 'equals', or 'not equal</sch:assert>
                                                            </sch:rule>
                                                       </sch:pattern>
                                                  </xsd:appinfo>
                                             </xsd:annotation>
                                        </xsd:element>
                                        <xsd:element name="relative_dn" type="oval-def:EntityObjectStringType" nillable="true">
                                             <xsd:annotation>
                                                  <xsd:documentation>The relative_dn field is used to uniquely identify an object inside the specified naming context. It contains all the parts of the object's distinguished name except those outlined by the naming context. If the nillable attribute is set to true, then the object being specified is the higher level naming context. In this case, the relative_dn element should not be collected or used in analysis. Setting nil equal to true is different than using a .* pattern match, which says to collect every relative dn under a given naming context. Note that when nil is used for the relative dn element, the attribute element should also be nilled.</xsd:documentation>
                                                  <xsd:appinfo>
                                                       <sch:pattern id="adobjrelative_dn">
                                                            <sch:rule context="win-def:activedirectory_object/win-def:relative_dn">
                                                                 <sch:assert test="not(@datatype) or @datatype='string'">
                                                                      <sch:value-of select="../@id"/> - datatype attribute for the relative_dn entity of an activedirectory_object should be 'string'</sch:assert>
                                                                 <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'">
                                                                      <sch:value-of select="../@id"/> - operation attribute for the relative_dn entity of an activedirectory_object should be 'equals', 'not equal', or 'pattern match'</sch:assert>
                                                                 <sch:assert test="not(@xsi:nil='true') or ../win-def:attribute/@xsi:nil='true'">
                                                                      <sch:value-of select="../@id"/> - attribute entity must be nil when relative_dn is nil</sch:assert>
                                                            </sch:rule>
                                                       </sch:pattern>
                                                  </xsd:appinfo>
                                             </xsd:annotation>
                                        </xsd:element>
                                        <xsd:element name="attribute" type="oval-def:EntityObjectStringType" nillable="true">
                                             <xsd:annotation>
                                                  <xsd:documentation>Specifies a named value contained by the object. If the nillable attribute is set to true, then the object being specified is the higher level relative_dn. In this case, the attribute element should not be collected or used in analysis. Setting nil equal to true is different than using a .* pattern match, which says to collect every attribute under a given relative dn.</xsd:documentation>
                                                  <xsd:appinfo>
                                                       <sch:pattern id="adobjattribute">
                                                            <sch:rule context="win-def:activedirectory_object/win-def:attribute">
                                                                 <sch:assert test="not(@datatype) or @datatype='string'">
                                                                      <sch:value-of select="../@id"/> - datatype attribute for the attribute entity of an activedirectory_object should be 'string'</sch:assert>
                                                                 <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'">
                                                                      <sch:value-of select="../@id"/> - operation attribute for the attribute entity of an activedirectory_object should be 'equals', 'not equal', or 'pattern match'</sch:assert>
                                                            </sch:rule>
                                                       </sch:pattern>
                                                  </xsd:appinfo>
                                             </xsd:annotation>
                                        </xsd:element>
                                   </xsd:sequence>
                              </xsd:choice>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:element name="activedirectory_state" substitutionGroup="oval-def:state">
          <xsd:annotation>
               <xsd:documentation>The activedirectory_state element defines the different information that can be used to evaluate the specified entries in active directory. An active directory test will reference a specific instance of this state that defines the exact settings that need to be evaluated. Please refer to the individual elements in the schema for more details about what each represents.</xsd:documentation>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:StateType">
                         <xsd:sequence>
                              <xsd:element name="naming_context" type="win-def:EntityStateNamingContextType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Each object in active directory exists under a certain naming context (also known as a partition). A naming context is defined as a single object in the Directory Information Tree (DIT) along with every object in the tree subordinate to it. There are three default naming contexts in Active Directory: domain, configuration, and schema.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="adstenaming_context">
                                                  <sch:rule context="win-def:activedirectory_state/win-def:naming_context">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the naming_context entity of an activedirectory_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the naming_context entity of an activedirectory_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="relative_dn" type="oval-def:EntityStateStringType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>The relative_dn field is used to uniquely identify an object inside the specified naming context. It contains all the parts of the objects distinguished name except those outlined by the naming context.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="adsterelative_dn">
                                                  <sch:rule context="win-def:activedirectory_state/win-def:relative_dn">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the relative_dn entity of an activedirectory_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the relative_dn entity of an activedirectory_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="attribute" type="oval-def:EntityStateStringType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Specifies a named value contained by the object.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="adsteattribute">
                                                  <sch:rule context="win-def:activedirectory_state/win-def:attribute">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the attribute entity of an activedirectory_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the attribute entity of an activedirectory_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="object_class" type="oval-def:EntityStateStringType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>The name of the class of which the object is an instance.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="adsteobject_class">
                                                  <sch:rule context="win-def:activedirectory_state/win-def:object_class">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the object_class entity of an activedirectory_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the object_class entity of an activedirectory_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="adstype" type="win-def:EntityStateAdstypeType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Specifies the type of information that the specified attribute represents.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="adsteadstype">
                                                  <sch:rule context="win-def:activedirectory_state/win-def:adstype">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the adstype entity of an activedirectory_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the adstype entity of an activedirectory_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="value" type="oval-def:EntityStateAnyType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>The actual value of the specified active directory attribute.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="adstevalue">
                                                  <sch:rule context="win-def:activedirectory_state/win-def:value">
                                                       <sch:assert test="((@datatype='binary' and (not(@operation) or @operation='equals' or @operation='not equal')) or (@datatype='boolean' and (not(@operation) or @operation='equals' or @operation='not equal')) or (@datatype='float' and (not(@operation) or @operation='equals' or @operation='not equal' or @operation='greater than' or @operation='greater than or equal' or @operation='less than' or @operation='less than or equal' or @operation='bitwise and' or @operation='bitwise or')) or (@datatype='int' and (not(@operation) or @operation='equals' or @operation='not equal' or @operation='greater than' or @operation='greater than or equal' or @operation='less than' or @operation='less than or equal' or @operation='bitwise and' or @operation='bitwise or')) or ((@datatype='string' or not(@datatype)) and (not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match')) or (@datatype='version' and (not(@operation) or @operation='equals' or @operation='not equal' or @operation='greater than' or @operation='greater than or equal' or @operation='less than' or @operation='less than or equal')))">
                                                            <sch:value-of select="../@id"/> - the supplied operation attribute for the value entity of an activedirectory_state is not valid given a datatype of '<sch:value-of select="@datatype"/>'</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <!-- =============================================================================== -->
     <!-- ==========================  AUDIT EVENT POLICY TEST  ========================== -->
     <!-- =============================================================================== -->
     <xsd:element name="auditeventpolicy_test" substitutionGroup="oval-def:test">
          <xsd:annotation>
               <xsd:documentation>The audit event policy test is used to check different types of events the system should audit. It extends the standard TestType as defined in the oval-definitions-schema and one should refer to the TestType description for more information. The required object element references a auditeventpolicy_object and the optional state element specifies the metadata to check. The evaluation of the test is guided by the check attribute that is inherited from the TestType.</xsd:documentation>
               <xsd:appinfo>
                    <sch:pattern id="aeptst">
                         <sch:rule context="win-def:auditeventpolicy_test/win-def:object">
                              <sch:assert test="@object_ref=/oval-def:oval_definitions/oval-def:objects/win-def:auditeventpolicy_object/@id">
                                   <sch:value-of select="../@id"/> - the object child element of an auditeventpolicy_test must reference an auditeventpolicy_object</sch:assert>
                         </sch:rule>
                         <sch:rule context="win-def:auditeventpolicy_test/win-def:state">
                              <sch:assert test="@state_ref=/oval-def:oval_definitions/oval-def:states/win-def:auditeventpolicy_state/@id">
                                   <sch:value-of select="../@id"/> - the state child element of an auditeventpolicy_test must reference an auditeventpolicy_state</sch:assert>
                         </sch:rule>
                    </sch:pattern>
               </xsd:appinfo>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:TestType">
                         <xsd:sequence>
                              <xsd:element name="object" type="oval-def:ObjectRefType"/>
                              <xsd:element name="state" type="oval-def:StateRefType" minOccurs="0"/>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:element name="auditeventpolicy_object" substitutionGroup="oval-def:object">
          <xsd:annotation>
               <xsd:documentation>The auditeventpolicy_object element is used by an audit event policy test to define those objects to evaluate based on a specified state. There is actually only one object relating to audit event policy and this is the system as a whole. Therefore, there are no child entities defined. Any OVAL Test written to check audit event policy will reference the same auditeventpolicy_object which is basically an empty object element.</xsd:documentation>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:ObjectType"/>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:element name="auditeventpolicy_state" substitutionGroup="oval-def:state">
          <xsd:annotation>
               <xsd:documentation>The auditeventpolicy_state element specifies the different system activities that can be audited. An audit event policy test will reference a specific instance of this state that defines the exact settings that need to be evaluated. The defined values are found in window's POLICY_AUDIT_EVENT_TYPE enumeration and accessed through the LsaQueryInformationPolicy when the InformationClass parameters are set to PolicyAuditEventsInformation. Please refer to the individual elements in the schema for more details about what each represents.</xsd:documentation>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:StateType">
                         <xsd:sequence>
                              <xsd:element name="account_logon" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to log on to or log off of the system. Also, audit attempts to make a network connection.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="aepsteaccount_logon">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:account_logon">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the account_logon entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the account_logon entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="account_management" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to create, delete, or change user or group accounts. Also, audit password changes.</xsd:documentation>
                                        <xsd:appinfo>> <sch:pattern id="aepsteaccount_management">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:account_management">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the account_management entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the account_management entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="detailed_tracking" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit specific events, such as program activation, some forms of handle duplication, indirect access to an object, and process exit. </xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="aepstedetailed_tracking">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:detailed_tracking">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the detailed_tracking entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the detailed_tracking entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="directory_service_access" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to access the directory service.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="aepstedirectory_service_access">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:directory_service_access">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the directory_service_access entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the directory_service_access entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="logon" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to log on to or log off of the system. Also, audit attempts to make a network connection.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="aepstelogon">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:logon">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the logon entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the logon entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="object_access" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to access securable objects, such as files.</xsd:documentation>
                                        <xsd:appinfo>> <sch:pattern id="aepsteobject_access">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:object_access">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the object_access entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the object_access entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="policy_change" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to change Policy object rules. </xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="aepstepolicy_change">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:policy_change">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the policy_change entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the policy_change entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="privilege_use" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to use privileges.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="aepsteprivilege_use">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:privilege_use">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the privilege_use entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the privilege_use entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                              <xsd:element name="system" type="win-def:EntityStateAuditType" minOccurs="0">
                                   <xsd:annotation>
                                        <xsd:documentation>Audit attempts to shut down or restart the computer. Also, audit events that affect system security or the security log.</xsd:documentation>
                                        <xsd:appinfo>
                                             <sch:pattern id="aepstesystem">
                                                  <sch:rule context="win-def:auditeventpolicy_state/win-def:system">
                                                       <sch:assert test="not(@datatype) or @datatype='string'">
                                                            <sch:value-of select="../@id"/> - datatype attribute for the system entity of an auditeventpolicy_state should be 'string'</sch:assert>
                                                       <sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'">
                                                            <sch:value-of select="../@id"/> - operation attribute for the system entity of an auditeventpolicy_state should be 'equals', or 'not equal</sch:assert>
                                                  </sch:rule>
                                             </sch:pattern>
                                        </xsd:appinfo>
                                   </xsd:annotation>
                              </xsd:element>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <!-- =============================================================================== -->
     <!-- ===================  AUDIT EVENT POLICY SUBCATEGORIES TEST  =================== -->
     <!-- =============================================================================== -->
     <xsd:element name="auditeventpolicysubcategories_test" substitutionGroup="oval-def:test">
          <xsd:annotation>
               <xsd:documentation>The audit event policy subcategories test is used to check different types of events the system should audit.  These subcategories are new for Windows Vista. The test extends the standard TestType as defined in the oval-definitions-schema and one should refer to the TestType description for more information. The required object element references a auditeventpolicy_object and the optional state element specifies the metadata to check. The evaluation of the test is guided by the check attribute that is inherited from the TestType.</xsd:documentation>
               <xsd:appinfo>
                    <sch:pattern id="aepstst">
                         <sch:rule context="win-def:auditeventpolicysubcategories_test/win-def:object">
                              <sch:assert test="@object_ref=/oval-def:oval_definitions/oval-def:objects/win-def:auditeventpolicysubcategories_object/@id">
                                   <sch:value-of select="../@id"/> - the object child element of an auditeventpolicysubcategories_test must reference an auditeventpolicysubcategories_object</sch:assert>
                         </sch:rule>
                         <sch:rule context="win-def:auditeventpolicysubcategories_test/win-def:state">
                              <sch:assert test="@state_ref=/oval-def:oval_definitions/oval-def:states/win-def:auditeventpolicysubcategories_state/@id">
                                   <sch:value-of select="../@id"/> - the state child element of an auditeventpolicysubcategories_test must reference an auditeventpolicysubcategories_state</sch:assert>
                         </sch:rule>
                    </sch:pattern>
               </xsd:appinfo>
          </xsd:annotation>
          <xsd:complexType>
               <xsd:complexContent>
                    <xsd:extension base="oval-def:TestType">
                         <xsd:sequence>
                              <xsd:element name="object" type="oval-def:ObjectRefType"/>
                              <xsd:element name="state" type="oval-def:StateRefType" minOccurs="0"/>
                         </xsd:sequence>
                    </xsd:extension>
               </xsd:complexContent>
          </xsd:complexType>
     </xsd:element>
     <xsd:element name="auditeventpolicysubcategories_object" substitutionGroup="oval-def:object">
          <xsd:annotation>
               <xsd:documentati