Security analysis of mandatory access control model

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 6, Issue , 2004, Pages 5013-5018

  Jiang, Yixin ^a   Lin, Chuang ^a   Yin, Hao ^a   Tan, Zhangxi ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Access Control Model; Lattice; Petri Nets; Reachability Graph

Indexed keywords

ACCESS CONTROL MODEL; LATTICE MODELS; MANDATORY ACCESS CONTROL (MAC); REACHABILITY GRAPH;

COMPUTER SYSTEMS; FUNCTIONS; INFORMATION RETRIEVAL SYSTEMS; MATHEMATICAL MODELS; SECURITY OF DATA; SET THEORY;

PETRI NETS;

EID: 15744367528     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1400987     Document Type: Conference Paper

References (12)

1. V.Varadharajan, "Petri Net Based Modeling of Information Flow Security Requirements". Computer Security Foundations Workshop III, 1990. Proc. Jun 1990, pp.51-61.
2. D. Marc. "A Petri Net Representation of the Take-Grant Model". Computer Security Foundations Workshop VI, 1993. Proc. Jun 1993, pp.99-108.
3. X. Dong, G. Chen. "Petri-net-based Context-related Access Control in Workflow Environment". Computer Supported Cooperative Work in Design, 2002. The 7th International Conference on, 2002, pp.381-384.
4. th Annual Conference, 2000, pp.159-167.
5. K. Knorr. "Multilevel Security and Information Flow in Petri Net Workflows", Proc. of the 9th International Conference on Telecommunication Systems - Modeling and Analysis, Special Session on Security Aspects of Telecommunication Systems, Dallas, 2001, pp.9-20.
6. K.Knorr, S.Röhrig. "Security Requirements of Electronic Business Processes", Proc. of the First IFIP Conference on E-Commerce, E-Business, and E-Government (I3E), Zurich, 2001, pp.73-86.
7. K.Knorr. "Security in Petri Net Workflows". Ph.D thesis, University of Zurich, Switzerland, 2001.
8. U.S. Department of Defense. Trusted Computer System Evaluation Criteria. DoD 5200.28-STD, Dec. 1985.
9. D. Bell, L.LaPadula. "The Bell-LaPadula Model". Journal of Computer Security, 4(2,3), 1996, pp.239-263.
10. K. Jensen. Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol.1, 2th Edition, Springer-Verlag, Berlin, Germany, 1997.
11. C. Girault, R. Valk. Petri Nets for System Engineering: A Guide to Modeling, Verification and Application. Springer-Verlag, 2003.
12. E. M. Clarke, O. Grumberg, D. Peled. Model Checking. Cambridge, MA: MIT Press, 2001, pp.35-49.