计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (8): 84-86.DOI: 10.3778/j.issn.1002-8331.2010.08.024
李树德,张明清,唐 俊
LI Shu-de,ZHANG Ming-qing,TANG Jun
摘要: 介绍了安全组件组合安全强度分析的现实意义,对现有方法进行研究,重点探讨了安全边界已知情况下安全组件组合的安全特性。研究段云所副教授所提出的理论,并以其方法为基础,提出了一种基于Petri网的网络系统安全组件组合强度分析方法,进一步研究了Petri网模型的构造,并利用Petri网仿真工具ExSpect对所提出方法的正确性进行仿真验证。
中图分类号: