loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
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.