Sixth IEEE International Conference on Computer and Information Technology (CIT'06) Modeling Chinese Wall Policy Using Colored Petri Nets Seoul, Korea September 20-September 22 ISBN: 0-7695-2687-X
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CIT.2006.123
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.
Index Terms:
Chinese Wall Policy, Colored Petri Nets, Security, Verification
Citation:
Zhao-Li Zhang, Fan Hong, Jun-Guo Liao, "Modeling Chinese Wall Policy Using Colored Petri Nets," cit, pp.162, Sixth IEEE International Conference on Computer and Information Technology (CIT'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb