property set Cheddar_MILS is

    MILS_Compliant : aadlboolean applies to (thread, process);
	
    MILS_Confidentiality_Level_Type : type enumeration 
		 (UnClassified, Classified, Secret, Top_Secret);
	MILS_Confidentiality_Level : Cheddar_MILS::MILS_Confidentiality_Level_Type
	     applies to (thread, process);	 

	MILS_Integrity_Level_Type : type enumeration 
	     (Low, Medium, High);
	MILS_Integrity_Level : Cheddar_MILS::MILS_Integrity_Level_Type
	     applies to (thread, process);	 

	MILS_Component_Type : type enumeration 
		 (SLS, MSLS, MLS);
	MILS_Component : Cheddar_MILS::MILS_Component_Type
	     applies to (thread, process);	 

	MILS_Partition_Type : type enumeration 
		 (MILS_Device, MILS_Application);
	MILS_Partition : Cheddar_MILS::MILS_Partition_Type
	     applies to (process);	 

	MILS_Thread_Type : type enumeration 
		 (Application, MMR, Guard, Collator, Downgrader, Upgrader);
	MILS_Thread : Cheddar_MILS::MILS_Thread_Type
	     applies to (thread);	  

 end Cheddar_MILS;