['ub_se_domain_data.P'].            
['ub_se_typetrans_data.P'].
['ub_se_file_creation_data.P'].
['ub_se_domain_privilege_data.P'].  
['ub_se_user_data.P'].
['ub_se_file_data.P'].              
['ub_se_group_data.P'].             
['ub_se_netstat_data.P'].
['ub_se_ps_data.P'].
['ub_se_type_data.P'].
['ub_se_rules.P'].

['ub_aa_file_data.P'].
['ub_aa_user_data.P'].
['ub_aa_group_data.P'].
['ub_aa_ps_data.P'].
['ub_aa_netstat_data.P'].
['ub_aa_policy_data.P'].
['ub_aa_profile_data.P'].
['ub_aa_rules.P'].


['C:\Hong\research\sys_model\file_data'].
['C:\Hong\research\sys_model\se_typetrans_data'].
['C:\Hong\research\sys_model\group_data'].
['C:\Hong\research\sys_model\se_domain_privilege_data'].
['C:\Hong\research\sys_model\user_data'].
['C:\Hong\research\sys_model\ps_data'].
['C:\Hong\research\sys_model\netstat_data'].
['C:\Hong\research\sys_model\rules3'].

---output nodes and edges in the transition graph

open('C:\Hong\research\sys_model\edges.out', write, Myfile), tell(Myfile), findall(_, (attacker_control_step(Proc1, Proc2, Action), write(step(Proc1, Proc2, Action)), nl), _), close(Myfile).

open('C:\Hong\research\sys_model\nodes.out', write, Myfile), tell(Myfile), findall(_, (attacker_control_process(X,Y,Z), write(con(X,Y,Z)), nl), _), close(Myfile).

---output the privileges of unconfined_t

open('C:\hong\research\sys_model\unconfined_privileges.out', write, Myfile), tell(Myfile), setof(pr(T,C,O),se_domain_privilege(domain(unconfined_t),type(T),class(C),op(O)), Set), write(Set), close(Myfile).

['C:\\Hong\\research\\sys_model\\file_data.P'].
['C:\\Hong\\research\\sys_model\\se_typetrans_data.P'].
['C:\\Hong\\research\\sys_model\\group_data.P'].
['C:\\Hong\\research\\sys_model\\se_domain_privilege_data.P'].
['C:\\Hong\\research\\sys_model\\user_data.P'].
['C:\\Hong\\research\\sys_model\\ps_data.P'].
['C:\\Hong\\research\\sys_model\\netstat_data.P'].
['C:\\Hong\\research\\sys_model\\rules3.P'].

['file_data.P'].
['se_typetrans_data.P'].
['se_file_creation_data.P'].
['group_data.P'].
['se_domain_privilege_data.P'].
['user_data.P'].
['ps_data.P'].
['netstat_data.P'].
['se_domain_data.P'].
['se_type_data.P'].
['fe8_se_rules.P'].

