Verification of strict integrity policy via petri nets

Second International Conference on Systems and Networks Communications, ICSNC 2006

Volumn , Issue , 2006, Pages

  Zhang, Zhao Li ^a   Hong, Fan ^a   Xiao, Hai Jun ^a  

^a HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Integrity policy; Petri net; Security; Verification

Indexed keywords

GRAPHIC METHODS; SECURITY OF DATA; SYSTEMS ANALYSIS; VERIFICATION;

GRAPHIC ANALYSIS; INTEGRITY POLICY;

PETRI NETS;

EID: 40249115100     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSNC.2006.76     Document Type: Conference Paper

References (11)

1. K. Biba. Integrity Considerations for Secure Computer Systems. Technical Report MTR-3153, MITRE Corporation, Bedford, MA, Apr. 1977
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. M. Pozzo and T. Gray. A model for the Containment of Computer Viruses. Proceedings of the AIAA/ASIS/DODCI 2nd Aerospace Computer Security Conference, pp. 256-261, Dec. 1988
8. M. Pozzo and T. Gray. An Approach to Containing Computer Viruses. Computer and Security 6(4), pp. 321-331 Aug. 1987
9. G. Popek and B. Walker. The LOTUS Distributed System Architecture, The MIT Press, Cambridge, MA, 1985
10. C. A. Petri. Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik der Universität Bonn, 1962
11. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4): 541-580, 1989