add updated dtd

This commit is contained in:
Chris PeBenito 2005-06-07 18:49:44 +00:00
parent 254bbc7bb3
commit 9c25fdd816

22
refpolicy/doc/policy.dtd Normal file
View File

@ -0,0 +1,22 @@
<!ELEMENT policy (module+,tunable*)>
<!ELEMENT module (summary,interface+)>
<!ATTLIST module
name CDATA #REQUIRED
layer CDATA #REQUIRED>
<!ELEMENT tunable (#PCDATA)>
<!ATTLIST tunable
name CDATA #REQUIRED
dftval CDATA #REQUIRED>
<!ELEMENT summary (#PCDATA)>
<!ELEMENT interface (description,securitydesc*,parameter+,infoflow)>
<!ATTLIST interface name CDATA #REQUIRED>
<!ELEMENT description (#PCDATA)>
<!ELEMENT securitydesc (#PCDATA)>
<!ELEMENT parameter (#PCDATA)>
<!ATTLIST parameter
name CDATA #REQUIRED
optional (true|false) "false">
<!ELEMENT infoflow EMPTY>
<!ATTLIST infoflow
type CDATA #REQUIRED
weight CDATA #IMPLIED>