Marshmallow  |  6.0.1_r16
普通文本  |  11行  |  151 B 

module modreq_perm_global 1.0;

require { 
	class msg { send receive };
}

type mod_global_t;
type a_t;
type b_t;
allow a_t b_t: msg { send receive };