<?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.0">
	<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.0 release candidate 3</version>
			<date>26 May 2006</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="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'">
						<value-of select="../../@id"/> - the value "<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"><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"><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" minOccurs="1" maxOccurs="1"/>
						<xsd:element name="state" type="oval-def:StateRefType" minOccurs="0" maxOccurs="1"/>
					</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 minOccurs="1" maxOccurs="1">
							<xsd:element ref="oval-def:set"/>
							<xsd:sequence>
								<xsd:element name="security_principle" type="oval-def:EntityObjectStringType" minOccurs="1" maxOccurs="1">
									<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.</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'"><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'"><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" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The security_principle element identifies a specific access token.  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.</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'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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="secreatetokenprivilege" type="oval-def:EntityStateBoolType" minOccurs="0" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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="seloaddriverprivilege" type="oval-def:EntityStateBoolType" minOccurs="0" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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="seremoteshutdownprivilege" type="oval-def:EntityStateBoolType" minOccurs="0" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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="seundockprivilege" type="oval-def:EntityStateBoolType" minOccurs="0" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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" maxOccurs="1">
							<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="not(@datatype) or @datatype='boolean'"><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'"><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>
	<!-- =============================================================================== -->
	<!-- ===========================  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"><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"><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" minOccurs="1" maxOccurs="1"/>
						<xsd:element name="state" type="oval-def:StateRefType" minOccurs="0" maxOccurs="1"/>
					</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 minOccurs="1" maxOccurs="1">
							<xsd:element ref="oval-def:set"/>
							<xsd:sequence>
								<xsd:element name="naming_context" type="win-def:EntityObjectNamingContextType" minOccurs="1" maxOccurs="1">
									<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'"><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'"><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" minOccurs="1" maxOccurs="1" 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'"><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'"><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'"><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" minOccurs="1" maxOccurs="1" 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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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='bool' 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' or @operation='bitwise and' or @operation='bitwise or')))"><value-of select="../@id"/> - the supplied operation attribute for the value entity of an activedirectory_state is not valid given a datatype of '<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"><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"><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" minOccurs="1" maxOccurs="1"/>
						<xsd:element name="state" type="oval-def:StateRefType" minOccurs="0" maxOccurs="1"/>
					</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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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" maxOccurs="1">
							<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'"><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'"><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>
	<!-- =============================================================================== -->
	<!-- =================================  FILE TEST  ================================= -->
	<!-- =============================================================================== -->
	<xsd:element name="file_test" substitutionGroup="oval-def:test">
		<xsd:annotation>
			<xsd:documentation>The file test is used to check metadata associated with Windows files.  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 file_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="filetst">
					<sch:rule context="win-def:file_test/win-def:object">
						<sch:assert test="@object_ref=/oval-def:oval_definitions/oval-def:objects/win-def:file_object/@id"><value-of select="../@id"/> - the object child element of a file_test must reference a file_object</sch:assert>
					</sch:rule>
					<sch:rule context="win-def:file_test/win-def:state">
						<sch:assert test="@state_ref=/oval-def:oval_definitions/oval-def:states/win-def:file_state/@id"><value-of select="../@id"/> - the state child element of a file_test must reference a file_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" minOccurs="1" maxOccurs="1"/>
						<xsd:element name="state" type="oval-def:StateRefType" minOccurs="0" maxOccurs="1"/>
					</xsd:sequence>
				</xsd:extension>
			</xsd:complexContent>
		</xsd:complexType>
	</xsd:element>
	<xsd:element name="file_object" substitutionGroup="oval-def:object">
		<xsd:annotation>
			<xsd:documentation>The file_object element is used by a file test to define the specific file(s) 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>A file object defines the path and filename of the file(s).  In addition, a number of behaviors may be provided that help guide the collection of objects.  Please refer to the FileBehaviors complex type for more information about specific behaviors.</xsd:documentation>
		</xsd:annotation>
		<xsd:complexType>
			<xsd:complexContent>
				<xsd:extension base="oval-def:ObjectType">
					<xsd:sequence>
						<xsd:choice minOccurs="1" maxOccurs="1">
							<xsd:element ref="oval-def:set"/>
							<xsd:sequence>
								<xsd:element name="behaviors" type="win-def:FileBehaviors" minOccurs="0" maxOccurs="1"/>
								<xsd:element name="path" type="oval-def:EntityObjectStringType" minOccurs="1" maxOccurs="1">
									<xsd:annotation>
										<xsd:documentation>The path element specifies the absolute path to a file on the machine.</xsd:documentation>
										<xsd:appinfo>
											<sch:pattern id="fileobjpath">
												<sch:rule context="win-def:file_object/win-def:path">
													<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the path entity of a file_object should be 'string'</sch:assert>
													<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the path entity of a file_object should be 'equals', 'not equal', or 'pattern match'</sch:assert>
												</sch:rule>
											</sch:pattern>
										</xsd:appinfo>
									</xsd:annotation>
								</xsd:element>
								<xsd:element name="filename" type="oval-def:EntityObjectStringType" minOccurs="1" maxOccurs="1" nillable="true">
									<xsd:annotation>
										<xsd:documentation>The filename element specifies the name of the file.  If the nillable attribute is set to true, then the object being specified is the higher level path.  In this case, the filename 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 file under a given path.</xsd:documentation>
										<xsd:appinfo>
											<sch:pattern id="fileobjfilename">
												<sch:rule context="win-def:file_object/win-def:filename">
													<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the filename entity of a file_object should be 'string'</sch:assert>
													<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the filename entity of a file_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="file_state" substitutionGroup="oval-def:state">
		<xsd:annotation>
			<xsd:documentation>The file_state element defines the different metadata associate with a Windows file.  This includes the path, filename, owner, size, last modified time, version, etc.  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="path" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The path element specifies the absolute path to a file on the machine.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestepath">
										<sch:rule context="win-def:file_state/win-def:path">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the path entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the path entity of a file_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="filename" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The filename element specifies the name of the file.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestefilename">
										<sch:rule context="win-def:file_state/win-def:filename">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the filename entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the filename entity of a file_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="owner" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The owner element is a string that contains the name of the owner.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filesteowner">
										<sch:rule context="win-def:file_state/win-def:owner">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the owner entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the owner entity of a file_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="size" type="oval-def:EntityStateIntType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The size element is the size of the file in bytes.</xsd:documentation>
								<xsd:appinfo>
									<valid_datatypes>integer</valid_datatypes>
									<valid_operators>equals, not equal, greater than, less than, greater than or equal, less than or equal</valid_operators>
									<sch:pattern id="filestesize">
										<sch:rule context="win-def:file_state/win-def:size">
											<sch:assert test="not(@datatype) or @datatype='int'"><value-of select="../@id"/> - datatype attribute for the size entity of a file_state should be 'int'</sch:assert>
											<sch:assert test="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'"><value-of select="../@id"/> - operation attribute for the size entity of a file_state should be 'equals', 'not equal', 'greater than', 'greater than or equal', 'less than', or 'less than or equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="a_time" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Time of last access of file. Valid on NTFS but not on FAT formatted disk drives.  The string should represent the FILETIME structure which is a 64-bit value representing the number of 100-nanosecond intervals since January 1, 1601 (UTC).</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestea_time">
										<sch:rule context="win-def:file_state/win-def:a_time">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the a_time entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="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='pattern match'"><value-of select="../@id"/> - operation attribute for the a_time entity of a file_state should be 'equals', 'not equal', 'greater than', 'greater than or equal', 'less than', 'less than or equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="c_time" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Time of creation of file. Valid on NTFS but not on FAT formatted disk drives.  The string should represent the FILETIME structure which is a 64-bit value representing the number of 100-nanosecond intervals since January 1, 1601 (UTC).</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestec_time">
										<sch:rule context="win-def:file_state/win-def:c_time">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the c_time entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="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='pattern match'"><value-of select="../@id"/> - operation attribute for the c_time entity of a file_state should be 'equals', 'not equal', 'greater than', 'greater than or equal', 'less than', 'less than or equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="m_time" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Time of last modification of file.  The string should represent the FILETIME structure which is a 64-bit value representing the number of 100-nanosecond intervals since January 1, 1601 (UTC).</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestem_time">
										<sch:rule context="win-def:file_state/win-def:m_time">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the m_time entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="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='pattern match'"><value-of select="../@id"/> - operation attribute for the m_time entity of a file_state should be 'equals', 'not equal', 'greater than', 'greater than or equal', 'less than', 'less than or equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="ms_checksum" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The ms_checksum element is the md5 checksum of the file as supplied by Microsoft.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestems_checksum">
										<sch:rule context="win-def:file_state/win-def:ms_checksum">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the ms_checksum entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the ms_checksum entity of a file_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="version" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The version element is the delimited version string of the file.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filesteversion">
										<sch:rule context="win-def:file_state/win-def:version">
											<sch:assert test="not(@datatype) or @datatype='version'"><value-of select="../@id"/> - datatype attribute for the version entity of a file_state should be 'version'</sch:assert>
											<sch:assert test="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'"><value-of select="../@id"/> - operation attribute for the version entity of a file_state should be 'equals', 'not equal', 'greater than', 'greater than or equal', 'less than', or 'less than or equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="type" type="win-def:EntityStateFileTypeType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The type element marks whether the file is a directory, named pipe, standard file, etc.  These types are the return values for GetFileType, with the exception of FILE_ATTRIBUTE_DIRECTORY which is obtained by looking at GetFileAttributesEx.  NOTE: Should this entity be split into two in future versions of the language as there are other values associated with GetFileAttributesEx that are not represented here?</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestetype">
										<sch:rule context="win-def:file_state/win-def:type">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the type entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the type entity of a file_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="development_class" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The development_class element allows the distinction to be made between the GDR development environment and the QFE development environment.  This field holds the text found in front of the mmmmmm-nnnn version, for example srv03_gdr.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="filestedevelopment_class">
										<sch:rule context="win-def:file_state/win-def:development_class">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the development_class entity of a file_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the development_class entity of a file_state should be 'equals', 'not equal', or 'pattern match'</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="FileBehaviors">
		<xsd:annotation>
			<xsd:documentation>The FileBehaviors complex type defines a number of behaviors that allow a more detailed definition of the file objects being specified.</xsd:documentation>
		</xsd:annotation>
		<xsd:attribute name="max_depth" use="optional" default="-1">
			<xsd:annotation>
				<xsd:documentation>'max_depth' defines how many directories to recurse when a recurse direction is specified.  The default value is '-1' meaning no limitation.  A value of '0' is equivalent to no recursion, '1' means to step only one directory level up/down, and so on.</xsd:documentation>
			</xsd:annotation>
			<xsd:simpleType>
				<xsd:restriction base="xsd:integer">
					<xsd:fractionDigits value="0"/>
				</xsd:restriction>
			</xsd:simpleType>
		</xsd:attribute>
		<xsd:attribute name="recurse_direction" use="optional" default="none">
			<xsd:annotation>
				<xsd:documentation>'recurse_direction' defines the direction to recurse, either 'up' to parent directories, or 'down' into child directories.  The default value is 'none' for no recursion.</xsd:documentation>
			</xsd:annotation>
			<xsd:simpleType>
				<xsd:restriction base="xsd:string">
					<xsd:enumeration value="none"/>
					<xsd:enumeration value="up"/>
					<xsd:enumeration value="down"/>
				</xsd:restriction>
			</xsd:simpleType>
		</xsd:attribute>
	</xsd:complexType>
	<!-- =============================================================================== -->
	<!-- =======================  FILE AUDITED PERMISSIONS TEST  ======================= -->
	<!-- =============================================================================== -->
	<xsd:element name="fileauditedpermissions_test" substitutionGroup="oval-def:test">
		<xsd:annotation>
			<xsd:documentation>The file audit permissions test is used to check the audit permissions associated with Windows files.  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 fileauditedpermissions_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="faptst">
					<sch:rule context="win-def:fileauditedpermissions_test/win-def:object">
						<sch:assert test="@object_ref=/oval-def:oval_definitions/oval-def:objects/win-def:fileauditedpermissions_object/@id"><value-of select="../@id"/> - the object child element of a fileauditedpermissions_test must reference a fileauditedpermissions_object</sch:assert>
					</sch:rule>
					<sch:rule context="win-def:fileauditedpermissions_test/win-def:state">
						<sch:assert test="@state_ref=/oval-def:oval_definitions/oval-def:states/win-def:fileauditedpermissions_state/@id"><value-of select="../@id"/> - the state child element of a fileauditedpermissions_test must reference a fileauditedpermissions_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" minOccurs="1" maxOccurs="1"/>
						<xsd:element name="state" type="oval-def:StateRefType" minOccurs="0" maxOccurs="1"/>
					</xsd:sequence>
				</xsd:extension>
			</xsd:complexContent>
		</xsd:complexType>
	</xsd:element>
	<xsd:element name="fileauditedpermissions_object" substitutionGroup="oval-def:object">
		<xsd:annotation>
			<xsd:documentation>The fileauditedpermissions_object element is used by a file audited permissions test to define the objects used to evalutate against the 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.</xsd:documentation>
			<xsd:documentation>A fileauditedpermissions_object is defined as a combination of a Windows file and trustee name.  The file represents the file to be evaluated while the trustee name represents the account (sid) to check audited permissions of.  If multiple files or sids are matched by either reference, then each possible combination of file and sid is a matching file audited permissions object.  In addition, a number of behaviors may be provided that help guide the collection of objects.  Please refer to the FileAuditPermissionsBehaviors complex type for more information about specific behaviors.</xsd:documentation>
		</xsd:annotation>
		<xsd:complexType>
			<xsd:complexContent>
				<xsd:extension base="oval-def:ObjectType">
					<xsd:sequence>
						<xsd:choice minOccurs="1" maxOccurs="1">
							<xsd:element ref="oval-def:set" minOccurs="0" maxOccurs="1"/>
							<xsd:sequence minOccurs="0" maxOccurs="1">
								<xsd:element name="behaviors" type="win-def:FileAuditPermissionsBehaviors" minOccurs="0" maxOccurs="1"/>
								<xsd:element name="path" type="oval-def:EntityObjectStringType" minOccurs="1" maxOccurs="1">
									<xsd:annotation>
										<xsd:documentation>The path element specifies the absolute path to a file on the machine.</xsd:documentation>
										<xsd:appinfo>
											<sch:pattern id="fapobjpath">
												<sch:rule context="win-def:fileauditedpermissions_object/win-def:path">
													<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the path entity of a fileauditedpermissions_object should be 'string'</sch:assert>
													<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the path entity of a fileauditedpermissions_object should be 'equals', 'not equal', or 'pattern match'</sch:assert>
												</sch:rule>
											</sch:pattern>
										</xsd:appinfo>
									</xsd:annotation>
								</xsd:element>
								<xsd:element name="filename" type="oval-def:EntityObjectStringType" minOccurs="1" maxOccurs="1" nillable="true">
									<xsd:annotation>
										<xsd:documentation>The filename element specifies the name of the file.  If the nillable attribute is set to true, then the object being specified is the higher level path.  In this case, the filename 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 file under a given path.</xsd:documentation>
										<xsd:appinfo>
											<sch:pattern id="fapobjfilename">
												<sch:rule context="win-def:fileauditedpermissions_object/win-def:filename">
													<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the filename entity of a fileauditedpermissions_object should be 'string'</sch:assert>
													<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the filename entity of a fileauditedpermissions_object should be 'equals', 'not equal', or 'pattern match'</sch:assert>
												</sch:rule>
											</sch:pattern>
										</xsd:appinfo>
									</xsd:annotation>
								</xsd:element>
								<xsd:element name="trustee_name" type="oval-def:EntityObjectStringType" minOccurs="1" maxOccurs="1">
									<xsd:annotation>
										<xsd:documentation>The trustee_name element is the unique name that associated a particular SID.  A SID can be associated with a user, group, or program (such as a Windows service)</xsd:documentation>
										<xsd:appinfo>
											<sch:pattern id="fapobjtrustee_name">
												<sch:rule context="win-def:fileauditedpermissions_object/win-def:trustee_name">
													<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the trustee_name entity of a fileauditedpermissions_object should be 'string'</sch:assert>
													<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the trustee_name entity of a fileauditedpermissions_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="fileauditedpermissions_state" substitutionGroup="oval-def:state">
		<xsd:annotation>
			<xsd:documentation>The fileauditedpermissions_state element defines the different audit permissions that can be associated with a given fileauditedpermissions_object.  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="path" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The path element specifies the absolute path to a file on the machine.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstepath">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:path">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the path entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the path entity of a fileauditedpermissions_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="filename" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The filename element specifies the name of the file.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefilename">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:filename">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the filename entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the filename entity of a fileauditedpermissions_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="trustee_name" type="oval-def:EntityStateStringType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The trustee_name is the unique name associated with a particular security identifier (SID).</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstetrustee_name">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:trustee_name">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the trustee_name entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal' or @operation='pattern match'"><value-of select="../@id"/> - operation attribute for the trustee_name entity of a fileauditedpermissions_state should be 'equals', 'not equal', or 'pattern match'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="standard_delete" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The right to delete the object.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstestandard_delete">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:standard_delete">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the standard_delete entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the standard_delete entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="standard_read_control" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The right to read the information in the object's security descriptor, not including the information in the SACL.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstestandard_read_control">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:standard_read_control">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the standard_read_control entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the standard_read_control entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="standard_write_dac" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The right to modify the DACL in the object's security descriptor.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstestandard_write_dac">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:standard_write_dac">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the standard_write_dac entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the standard_write_dac entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="standard_write_owner" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>The right to change the owner in the object's security descriptor.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstestandard_write_owner">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:standard_write_owner">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the standard_write_owner entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the standard_write_owner entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="standard_synchronize" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Windows NT/2000: The right to use the object for synchronization. This enables a thread to wait until the object is in the signaled state. Some object types do not support this access right.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstestandard_synchronize">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:standard_synchronize">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the standard_synchronize entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the standard_synchronize entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="access_system_security" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Indicates access to a system access control list (SACL).</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapsteaccess_system_security">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:access_system_security">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the access_system_security entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the access_system_security entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="generic_read" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Read access.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstegeneric_read">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:generic_read">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the generic_read entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the generic_read entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="generic_write" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Write access.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstegeneric_write">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:generic_write">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the generic_write entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the generic_write entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="generic_execute" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Execute access.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstegeneric_execute">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:generic_execute">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the generic_execute entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the generic_execute entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="generic_all" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Read, write, and execute access.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstegeneric_all">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:generic_all">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the generic_all entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the generic_all entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="file_read_data" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Grants the right to read data from the file</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefile_read_data">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:file_read_data">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the file_read_data entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the file_read_data entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="file_write_data" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Grants the right to write data to the file.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefile_write_data">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:file_write_data">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the file_write_data entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the file_write_data entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="file_append_data" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Grants the right to append data to the file.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefile_append_data">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:file_append_data">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the file_append_data entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the file_append_data entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="file_read_ea" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Grants the right to read extended attributes.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefile_read_ea">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:file_read_ea">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the file_read_ea entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the file_read_ea entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="file_write_ea" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Grants the right to write extended attributes.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefile_write_ea">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:file_write_ea">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the file_write_ea entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the file_write_ea entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="file_execute" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Grants the right to execute a file.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefile_execute">
										<sch:rule context="win-def:fileauditedpermissions_state/win-def:file_execute">
											<sch:assert test="not(@datatype) or @datatype='string'"><value-of select="../@id"/> - datatype attribute for the file_execute entity of a fileauditedpermissions_state should be 'string'</sch:assert>
											<sch:assert test="not(@operation) or @operation='equals' or @operation='not equal'"><value-of select="../@id"/> - operation attribute for the file_execute entity of a fileauditedpermissions_state should be 'equals', or 'not equal'</sch:assert>
										</sch:rule>
									</sch:pattern>
								</xsd:appinfo>
							</xsd:annotation>
						</xsd:element>
						<xsd:element name="file_delete_child" type="win-def:EntityStateAuditType" minOccurs="0" maxOccurs="1">
							<xsd:annotation>
								<xsd:documentation>Right to delete a directory and all the files it contains (its children), even if the files are read-only.</xsd:documentation>
								<xsd:appinfo>
									<sch:pattern id="fapstefile_de