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!
Description
Summary: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 FPM-RBAC, Formal Policy Model for Mobility with Role Based Access Control. FPM-RBAC supports the specification of mobility and location constraints, role hierarchy mapping, inter-domain services, inter-domain access rights and separation of duty. Associated with FPM-RBAC, we also present a formal security policy constraint specification language for domain and inter-domain security policies. Formal policy constraint specifications are based on ambient logic and predicate logic. We also use ambient calculus to specify the current state of a mobile network and actions within security policies for evaluation of access requests according to security policies. A novel aspect of the proposed policy model is the support for formal and automated analysis of security policies related to mobility within multiple security domains.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1389-1286
1872-7069
DOI:10.1016/j.comnet.2012.09.018