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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computer networks (Amsterdam, Netherlands : 1999) Jg. 57; H. 1; S. 330 - 350
Hauptverfasser:	Unal, D., Caglayan, M.U.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Kidlington Elsevier B.V 16.01.2013 Elsevier Elsevier Sequoia S.A
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!