loading...
Modeling Chinese Wall Policy Using Colored Petri Nets
Seoul, Korea September 20-September 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CIT.2006.123Sixth IEEE International Conference o ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Zhao-Li Zhang, Huazhong University of Science and Technology, China
Fan Hong, Huazhong University of Science and Technology, China
Jun-Guo Liao, Huazhong University of Science and Technology, China
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.