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]
Abstract is missing.