http://crad.ict.ac.cn:81/CRAD/ePublish/Catalog/Issue.asp?vol=2009&issue=6
张乐君. 基于SPN的信息系统生存性分析建模研究. 唐 卓. 一种基于风险的多域互操作动态访问控制模型