Verification of Strict Integrity Policy via Petri Nets

Zhao-Li Zhang, Fan Hong, Hai-Jun Xiao. Verification of Strict Integrity Policy via Petri Nets. In Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29 - November 3, 2006, Papeete, Tahiti, French Polynesia. pages 23, IEEE Computer Society, 2006. [doi]

Authors

Zhao-Li Zhang

This author has not been identified. Look up 'Zhao-Li Zhang' in Google

Fan Hong

This author has not been identified. Look up 'Fan Hong' in Google

Hai-Jun Xiao

This author has not been identified. Look up 'Hai-Jun Xiao' in Google