Formalism of the Access Control Model Based on the Marqued Petri Nets

Author

Ghadi, Abderrahim ; Mammass, Driss ; Mignotte, Maurice ; Sartout, Alain

Author_Institution

IRF-SIC-FSA, Zohr Univ., Morocco

Volume

2

fYear

2008

fDate

13-15 Dec. 2008

Firstpage

201

Lastpage

204

Abstract

An access control system is a mandatory step in the implementation of security policy. The algebra of security introduced by McLean is not enough expressive to model an access control system. Several models appeared thereafter, namely the mandatory models and discretionary models. In this paper we will use the graphs of privileges and the Marked Petri Nets in order to model formally the access control system for the Unix/Linux systems. The access control model used will be the RBAC (Role-BasedAccess Control) model coupled with the SuperUser model of Unix/Linux.

Keywords

Linux; Petri nets; authorisation; Marqued Petri nets; RBAC; SuperUser model; Unix/Linux systems; access control model; discretionary models; role-based access control; security policy; Access control; Algebra; Automata; Differential equations; Linux; Petri nets; Safety; Security; Stochastic systems; Unified modeling language; Access control; DAC; Formalism; Graph of Privileges; Petri Nets; RBAC;

fLanguage

English

Publisher

ieee

Conference_Titel

Future Generation Communication and Networking, 2008. FGCN '08. Second International Conference on

Conference_Location

Hainan Island

Print_ISBN

978-0-7695-3431-2

Type

conf

DOI

10.1109/FGCN.2008.99

Filename

4734205