2005-06-10 20:39:41 +00:00
|
|
|
<!ENTITY % inline.class "pre|p|ul|li">
|
|
|
|
|
|
2005-06-20 18:40:44 +00:00
|
|
|
<!ELEMENT policy (layer+,tunable*)>
|
|
|
|
|
<!ELEMENT layer (module+)>
|
|
|
|
|
<!ATTLIST layer
|
|
|
|
|
name CDATA #REQUIRED>
|
|
|
|
|
<!ELEMENT module (summary,description?,(interface|template)*)>
|
2005-06-07 18:49:44 +00:00
|
|
|
<!ATTLIST module
|
2005-06-20 18:40:44 +00:00
|
|
|
name CDATA #REQUIRED>
|
2005-06-07 18:49:44 +00:00
|
|
|
<!ELEMENT tunable (#PCDATA)>
|
|
|
|
|
<!ATTLIST tunable
|
|
|
|
|
name CDATA #REQUIRED
|
|
|
|
|
dftval CDATA #REQUIRED>
|
|
|
|
|
<!ELEMENT summary (#PCDATA)>
|
2005-06-13 20:03:08 +00:00
|
|
|
<!ELEMENT interface (summary?,description?,securitydesc?,parameter+,infoflow?)>
|
2005-06-07 18:49:44 +00:00
|
|
|
<!ATTLIST interface name CDATA #REQUIRED>
|
2005-06-20 18:40:44 +00:00
|
|
|
<!ELEMENT template (summary,description?,securitydesc?,parameter+)>
|
|
|
|
|
<!ATTLIST template name CDATA #REQUIRED>
|
2005-06-13 20:10:01 +00:00
|
|
|
<!ELEMENT description (#PCDATA|%inline.class;)*>
|
|
|
|
|
<!ELEMENT securitydesc (#PCDATA|%inline.class;)*>
|
2005-06-07 18:49:44 +00:00
|
|
|
<!ELEMENT parameter (#PCDATA)>
|
|
|
|
|
<!ATTLIST parameter
|
|
|
|
|
name CDATA #REQUIRED
|
|
|
|
|
optional (true|false) "false">
|
|
|
|
|
<!ELEMENT infoflow EMPTY>
|
|
|
|
|
<!ATTLIST infoflow
|
|
|
|
|
type CDATA #REQUIRED
|
|
|
|
|
weight CDATA #IMPLIED>
|
2005-06-10 20:39:41 +00:00
|
|
|
|
2005-06-13 20:10:01 +00:00
|
|
|
<!ATTLIST pre caption CDATA #IMPLIED>
|
2005-06-10 20:39:41 +00:00
|
|
|
<!ELEMENT p (#PCDATA|%inline.class;)*>
|
|
|
|
|
<!ELEMENT ul (li+)>
|
|
|
|
|
<!ELEMENT li (#PCDATA|%inline.class;|ul|ol)*>
|
