Modeling Chinese Wall Policy Using Colored Petri Nets

Authors:
Zhao-Li Zhang;Fan Hong;Jun-Guo Liao
Affiliations:
Huazhong University of Science and Technology, China;Huazhong University of Science and Technology, China;Huazhong University of Science and Technology, China
Venue:
CIT '06 Proceedings of the Sixth IEEE International Conference on Computer and Information Technology
Year:
2006

Citing 0
Cited 4

Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools

Transactions on Computational Science IV
Component-based security policy design with colored Petri nets

Semantics and algebraic specification
Modeling TCG-Based secure systems with colored petri nets

INTRUST'10 Proceedings of the Second international conference on Trusted Systems
Secure interoperation design in multi-domains environments based on colored Petri nets

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Chinese Wall model is a model of a security policy that refers equally to confidentiality and integrity. In this paper, we propose a Colored Petri net modeling technique, which allows one to analyze and verify Chinese Wall Policy in Colored Petri net model of a system. Subsequently, an example of the Chinese Wall Policy is illustrated and the conclusions show that Petri net is not only a concise graphic modeling method, but also suited to formal analysis and verification. This technique can efficiently improve the security policies during the system design and implementation.