IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formalism of the Access Control Model Based on the Marqued Petri Nets

2008 Second International Conference on Future Generation Communication and Networking (FGCN)

Author(s): A. Ghadi ; D. Mammass ; M. Mignotte ; A. Sartout
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2008
Conference Location: Hainan Island, China
Conference Date: 13 December 2008
Volume: 2
Page(s): 201 - 204
ISBN (Paper): 978-0-7695-3431-2
DOI: 10.1109/FGCN.2008.99
Regular:

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

Advertisement