张静,丁伟. 面向协同模型的安全追踪研究. 小型微型计算机系统. Vol. No. P:-. 2001-08.