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