Modeling Chinese Wall policy using colored petri nets

Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006

Volumn , Issue , 2006, Pages

  Zhang, Zhao Li ^a   Hong, Fan ^a   Liao, Jun Guo ^a  

^a HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Chinese wall policy; Colored petri nets; Security; Verification

Indexed keywords

COMPUTER SIMULATION; FORMAL METHODS; GRAPHIC METHODS; SECURITY OF DATA; SYSTEMS ANALYSIS;

CHINESE WALL POLICY; COLORED PETRI NETS; IMPLEMENTATION;

PETRI NETS;

EID: 34547247707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIT.2006.123     Document Type: Conference Paper

References (8)

1. D. Brewer and M. Nash, "The Chinese Wall Security Policy", Proceedings of the 1989 IEEE Symposium on Security and Privacy, pp. 206-214, May 1989
2. D. Bell and L. Lapadula, "The Bell-Lapadula Model", Journal of Computer Security, 4(2,3): 239-263, 1996
3. T. Ahmed and A. R. Tripathi, "Static Verification of Security Requirements in Role Based CSCW Systems", Proceedings of the eighth ACM symposium on Access control models and technologies, pp. 196-203, June 2003
4. K. Knorr, "Dynamic Access Control Through Petri Net Workflows", Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC), New Orleans, pp. 159-167, Dec. 2000
5. K. Knorr, "Multilevel Security and Information Flow in Petri Net Workflows", Proceedings of the 9th International Conference on Telecommunication Systems - Modeling and Analysis, Special Session on Security Aspects of Telecommunication Systems, Dallas, TX, pp. 9-20, March 2001
6. Yixin Jiang, Chuang Lin, Hao Yin and Zhangxi Tan, "Security Analysis of Mandatory Access Control Model", Proceedings of the IEEE International Conference on Systems, Man & Cybernetics, pages 5013-5018, 2004
7. C. A. Petri. "Kommunikation mit Automaten", PhD thesis, Institut für instrumentelle Mathematik der Universität Bonn, 1962
8. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, 77(4): 541-580, 1989 [9] Kurt Jensen, "An Introduction to the Theoretical Aspects of Coloured Petri Nets. A Decade of Concurrency", Lecture Notes in Computer Science vol. 803, Springer-Verlag 230-272, 1994