
A formal role-based access control model for security policies in multi-domain mobile networks
Keywords: کنترل دسترسی; Mobile network; Multi-domain; Security policy; Access control; Model checking