Referenced Items are not available for this document.
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.
Published in:
Future Generation Communication and Networking, 2008. FGCN '08. Second International Conference on
(Volume:2
)
Date of Conference: 13-15 Dec. 2008
- Page(s):
- 201 - 204
- Print ISBN:
- 978-0-7695-3431-2
- INSPEC Accession Number:
- 10439118
- Conference Location :
- Hainan Island
- Digital Object Identifier :
- 10.1109/FGCN.2008.99
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
