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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Computer networks (Amsterdam, Netherlands : 1999) Ročník 57; číslo 1; s. 330 - 350
Hlavní autoři:	Unal, D., Caglayan, M.U.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Kidlington Elsevier B.V 16.01.2013 Elsevier Elsevier Sequoia S.A
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!