Liu Mixia, Zhang Qiuyu, Yu Dongmei, Zhao Hong. Formal security model research based on Petri-net. In Xiaohua Hu, Qing Liu, Andrzej Skowron, Tsau Young Lin, Ronald R. Yager, Bo Zhang, editors, 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005. pages 575-578, IEEE, 2005. [doi]
Abstract is missing.