Liu Mixia Zhang Qiuyu Yu Dongmei Zhao Hong Formal security model research based on Petri-net. 575-578 2005 conf/grc/2005 GrC http://doi.ieeecomputersociety.org/10.1109/GRC.2005.1547357 db/conf/grc/grc2005.html#MixiaQDH05