1 module modreq_perm_global 1.0; 2 3 require { 4 class msg { send receive }; 5 } 6 7 type mod_global_t; 8 type a_t; 9 type b_t; 10 allow a_t b_t: msg { send receive }; 11
