16cd6a6acSopenharmony_ci(handleunknown deny)
26cd6a6acSopenharmony_ci(class cl01 (p01a p01b p11a p11b))
36cd6a6acSopenharmony_ci(classorder (cl01))
46cd6a6acSopenharmony_ci(sid kernel)
56cd6a6acSopenharmony_ci(sidorder (kernel))
66cd6a6acSopenharmony_ci(mls true)
76cd6a6acSopenharmony_ci(sensitivity s01)
86cd6a6acSopenharmony_ci(sensitivityorder (s01))
96cd6a6acSopenharmony_ci(category c01)
106cd6a6acSopenharmony_ci(categoryorder (c01))
116cd6a6acSopenharmony_ci(sensitivitycategory s01 (c01))
126cd6a6acSopenharmony_ci(typeattribute at01)
136cd6a6acSopenharmony_ci(typeattribute at02)
146cd6a6acSopenharmony_ci(boolean b01 false)
156cd6a6acSopenharmony_ci(type tp01)
166cd6a6acSopenharmony_ci(type tp02)
176cd6a6acSopenharmony_ci(type tp04)
186cd6a6acSopenharmony_ci(type tpr1)
196cd6a6acSopenharmony_ci(type tpr2)
206cd6a6acSopenharmony_ci(type tpr3)
216cd6a6acSopenharmony_ci(type tpr4)
226cd6a6acSopenharmony_ci(type tpr5)
236cd6a6acSopenharmony_ci(typeattributeset at01 (tp01))
246cd6a6acSopenharmony_ci(typeattributeset at02 (tp01 tp02))
256cd6a6acSopenharmony_ci(allow at02 tpr1 (cl01 (p11a p01a p01b)))
266cd6a6acSopenharmony_ci(allow at02 tpr3 (cl01 (p11a p01a p01b)))
276cd6a6acSopenharmony_ci(allow tp01 at01 (cl01 (p11b)))
286cd6a6acSopenharmony_ci(allow tp01 self (cl01 (p11a p01a)))
296cd6a6acSopenharmony_ci(allow tp01 tp01 (cl01 (p01b)))
306cd6a6acSopenharmony_ci(allow tp01 tpr1 (cl01 (p11a p11b p01a p01b)))
316cd6a6acSopenharmony_ci(allow tp02 tpr1 (cl01 (p11a p01a)))
326cd6a6acSopenharmony_ci(dontaudit at02 tpr2 (cl01 (p11a p01a p01b)))
336cd6a6acSopenharmony_ci(dontaudit at02 tpr4 (cl01 (p11a p01a p01b)))
346cd6a6acSopenharmony_ci(dontaudit tp01 tpr2 (cl01 (p11a p11b p01a p01b)))
356cd6a6acSopenharmony_ci(dontaudit tp02 tpr2 (cl01 (p11a p01a)))
366cd6a6acSopenharmony_ci(booleanif (b01)
376cd6a6acSopenharmony_ci    (true
386cd6a6acSopenharmony_ci        (allow tp01 tpr3 (cl01 (p11a p11b p01a p01b)))
396cd6a6acSopenharmony_ci        (allow tp01 tpr5 (cl01 (p11a p11b p01a p01b)))
406cd6a6acSopenharmony_ci        (allow tp02 tpr3 (cl01 (p11a p01a)))
416cd6a6acSopenharmony_ci        (allow tp02 tpr5 (cl01 (p11a p01a)))
426cd6a6acSopenharmony_ci        (dontaudit tp01 tpr4 (cl01 (p11a p11b p01a p01b)))
436cd6a6acSopenharmony_ci        (dontaudit tp02 tpr4 (cl01 (p11a p01a)))
446cd6a6acSopenharmony_ci    )
456cd6a6acSopenharmony_ci    (false
466cd6a6acSopenharmony_ci        (allow at02 tpr5 (cl01 (p11a p01a p01b)))
476cd6a6acSopenharmony_ci    )
486cd6a6acSopenharmony_ci)
496cd6a6acSopenharmony_ci(role object_r)
506cd6a6acSopenharmony_ci(role rl01)
516cd6a6acSopenharmony_ci(roletype rl01 tp01)
526cd6a6acSopenharmony_ci(roletype object_r tp01)
536cd6a6acSopenharmony_ci(roletype object_r tp02)
546cd6a6acSopenharmony_ci(roletype object_r tp04)
556cd6a6acSopenharmony_ci(roletype object_r tpr1)
566cd6a6acSopenharmony_ci(roletype object_r tpr2)
576cd6a6acSopenharmony_ci(roletype object_r tpr3)
586cd6a6acSopenharmony_ci(roletype object_r tpr4)
596cd6a6acSopenharmony_ci(roletype object_r tpr5)
606cd6a6acSopenharmony_ci(user us01)
616cd6a6acSopenharmony_ci(userrole us01 object_r)
626cd6a6acSopenharmony_ci(userrole us01 rl01)
636cd6a6acSopenharmony_ci(userlevel us01 (s01))
646cd6a6acSopenharmony_ci(userrange us01 ((s01) (s01)))
656cd6a6acSopenharmony_ci(sidcontext kernel (us01 rl01 tp01 ((s01) (s01))))
66