浅析软件结构脆弱性分析.pdfVIP

第 11期 电 子 学 报 V01．37 No．11 2009年 11月 ACIAI ELECIR0NICASINICA NOV． 20o9 软件结构脆弱性分析 苏健民 ，许 团 ，王 颖 ，崔宝江 ，姜 岚 ，孙维连 (1．东北林业大学信息与计算机工程学院，黑龙江哈尔滨 150040；2．信息工程大学信息工程学院，河南郑州 450002； 3．北京邮电大学计算机科学与技术学院，北京 100876；4．黑龙江省政务信息化管理服务中心，黑龙江哈尔滨 150001； 5．佳木斯大学，黑龙江佳木斯 154007) 摘 要： 文章首先应用系统工程定性定量的方法 ，以语言性质为基础，通过语义关系量化软件的动态运行过程 ， 在整体上以软件元素及其关系架构起软件的系统关系结构，其次对软件结构的脆弱性进行数学建模 ，以变异 粗集的 演算对软件运行过程的迁移特性进行分析，建立软件元素运行过程的迁移方程式组，通过推导得到软件结构的随机概 率特征值，度量出软件结构的脆弱性，然后给出了软件脆弱度的主动控制方法，以及软件攻击面和可信性的计算方法， 并提出制定完备编程规范的工程规则 ．最后测试了两个开源软件对该方法进行验证，并系统地分析了实验过程和相关 数据． 关键词： 脆弱性 ；关系结构 ；系统工程 ；迁移方程组 ；编程规则 中图分类号： TP31 文献标识码： A 文章编号： 0372．2112(2009)08．2403—06 AnalysisofSoftwareStructureVulnerabilities SUJian—min，XUTuan，WANGYing2，CUIBao．jiang3，JiangLan4，SUNWei-lian5 (1．InformationandComputerEngineeringInstituteofNortheastForestryUni,x,rsity，Harbin，Heilongi~g150040，China； 2．InstituteofInformatoinEngineering，InformatoinEngineeringUnivershy，Zh~ ．hou，ltenan450002，China； 3．SchoolofComputerScienceandTedmology，Bei~ngUniters ofPostsandTelecommunicatoins，Beijing100876，Chnia 4．ChicInformatoinManagementSenseC_,eng~rofHeilongfiangProvince，Harbin，Heilo~ 150001，China； 5．J~musiUniversity，血Ⅶ ，胁如 154tD7， ) Abstract： Wepresentasystemsengineeringmethodt0analyzesoftwarevulnerabilities．Weconstructedtherelationalstruc- tureofosftwaresystemswihtsoftwareelementshtrou~ htefunctionofesmanticrelationsbetweenthematruntime，inwhichthe dynamicopera,onprocessosofosftwarealequantifiedbytheesmanticrelationsbasedOnhtecomnlonnaturesof languages．Using htestructure，webuiltamahtematicalmodeltodescribehtepropertyofosft