计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (8): 84-86.DOI: 10.3778/j.issn.1002-8331.2010.08.024

• 网络、通信、安全 • 上一篇    下一篇

网络安全组件组合强度研究

李树德,张明清,唐 俊   

  1. 解放军信息工程大学 电子技术学院,郑州 450004
  • 收稿日期:2008-09-12 修回日期:2008-12-08 出版日期:2010-03-11 发布日期:2010-03-11
  • 通讯作者: 李树德

Security analysis of network security components composition

LI Shu-de,ZHANG Ming-qing,TANG Jun   

  1. Institute of Electronic Technology,the PLA Information Engineering University,Zhengzhou 450004,China
  • Received:2008-09-12 Revised:2008-12-08 Online:2010-03-11 Published:2010-03-11
  • Contact: LI Shu-de

摘要: 介绍了安全组件组合安全强度分析的现实意义,对现有方法进行研究,重点探讨了安全边界已知情况下安全组件组合的安全特性。研究段云所副教授所提出的理论,并以其方法为基础,提出了一种基于Petri网的网络系统安全组件组合强度分析方法,进一步研究了Petri网模型的构造,并利用Petri网仿真工具ExSpect对所提出方法的正确性进行仿真验证。

Abstract: This paper introduces the meaning of security components composition intensity analysis,studies the methods in existence,discusses the security characteristic of security components composition at the condition of security boundary existed.After analyzing the method of Pro.DUAN,a new method based on Petri net is introduced.In addition,the paper introduces the information system modeling in Petri net,in order to prove the new method,simulates the new method on ExSpect.

中图分类号: