A formal role-based access control model for security policies in multi-domain mobile networks

Mobile users present challenges for security in multi-domain mobile networks. The actions of mobile users moving across security domains need to be specified and checked against domain and inter-domain policies. We propose a new formal security policy model for multi-domain mobile networks, called F...

Full description

Saved in:

Bibliographic Details
Published in:	Computer networks (Amsterdam, Netherlands : 1999) Vol. 57; no. 1; pp. 330 - 350
Main Authors:	Unal, D., Caglayan, M.U.
Format:	Journal Article
Language:	English
Published:	Kidlington Elsevier B.V 16.01.2013 Elsevier Elsevier Sequoia S.A
Subjects:	Access Access control Applied sciences Computer science; control theory; systems Computer systems and distributed systems. User interface Computer systems performance. Reliability Constraints Exact sciences and technology Logic Mapping Mathematical models Memory and file management (including protection and security) Memory organisation. Data processing Mobile communications networks Mobile network Mobility Model checking Multi-domain Network security Networks Programming languages Security Security policy Software Specification Studies Access control Model checking Multi-domain Mobile network Security policy Policy Process algebra Specification language Ambient calculus Formal method Mobility Multiprotocol Logical programming Modeling Program verification Duty separation Formal specification Static analysis Wireless network Automatic analysis Localization Computer security Mobile computing
ISSN:	1389-1286, 1872-7069
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!