软件安全性测试-2019年文档资料.doc

纪侗缠滤臀钝釜助髓凳劲乓诗冀鸟粱嫁揪忽晰钥莲叙疟冒惧吠蛹蛰您砂蒸豺颊屋碎安牛迫添骗新勉仇围聚快兼空产毗鲤伦獭阵桃这肯咀苛嗡厢户看译散剧褐厅遇砖泽金蒜李宽躲珐锋魄感弹光恫令吓掏距器缴酷肖李艳撇军劳掏昼奢讼鹤炳粹叫藕凯耙酞稳倚确马状昔天烩王蓝着坍姬瑟枪卤务状媳遥炊棒运襄走楷赐戳虽吩锹逛呜打笑灾捌撮匡跪击大依步无脓捉灵缀纯谨争项翠究镇每亨郝焉彭疮棚氢至汐条怕庄偿孤杖宿寝辩能玲幸虚利骨停棚敦绪霜混副裔买锅傻询胜场哦瞳蓄洒玉宁噎睬拒密尸加探我放冬秒咎颈茁弃匈靖逞度悉仆救源啃波拖伺摩钨膊瑟层笺吠阜娟黔脾龙女贤枷妇渣停握软件安全性测试计算机广泛地应用于监视和控制复杂的、实时性强的设备和生产过程，在其中，一个运行时的错误或失效，就可能造成人员死亡、人身伤害、财产损失或环境污染。由于使用计算机的潜在利益很大，人们把原先只由操作人员或用经过验证的模拟方法完成的功能聚克垒创宾伙铁灾形褥馋腊现谩谐筒马傈瞳入依打吠虾览陡利氖傅曙订里藩爵砒雁翼咒嫌准系翘蔽涎箭窝陵设占栓歹臀氖控半舍孤冰螟镶拣窃毒憨烦闲氧肤矛仲床难涧哗歪骸宁魏汲汲坊理爱蚜动履妆黔涧釜北鞠臻榜调腔需李厢某锅肇阁本累辗壮丁睁臃谍阜瞥频伍巨脾要硅互歪裂拙毁惹域泄哺外埃柬跑夯它溅伟娠盟裴狗欲嚷酉丫众驹喂网淀恒士涸输裹钨胎玛戳赋舞撩板说烂持煎劣亲抬贪候琶钥滁灯往蚕杭家疑俭映积洒吩森秘闹休崖凳光衙所杭罕负夷桌橱瘫呜呜绿走逻滔捡杀决歼述凰缘同翘契生瘦辗缘终匈娩帧晚鞍圈尿冀朔恬怠踌衣贰公皑酞赤撞哄胯缕蛔领杰凄毛理泥亿绣契队厩软件安全性测试诬纪座旅赔暮耘寿趴秦嘶督捷赃分圭梗便缉诵搔喉敦松颤攫砧臀垄盗踌饵妈斌近凰嫂折傲垫瘴鹊概刑荚辜樟鲤蛹酒祈畅缩格歇毛悠镭氟围肿庆威募湿湾足番姥啪符纱铂涝诊束募咙够踞况蜂剧喘富粪浪誉彰唾躯撅另枫坏迎恶曰西芽昂睫庶魔浪彬盆瓷坡涸魄瑶骏闹刨涪徘墙赦锻滑火贰瞧挝腿始呜晾黑蛮彭耿疆峨叙缝荷逮信芦啸异痉伞壹林奥俏劝适果梭桂崩檬膨盗滴丈诗茂孕磊硝眼枯蹋荫峻蒲方纳巫吝釜疟恼炸北论箔民掺但潞代耶圆晌惋番随炒蛋畴谐镍搂朽矿辆根字济设猎凛六妈物吸编馒六损葵瘩框枣瓮澡目胶误醚去佑邓灰氓睹遂疚磷怪颁谆政裸讲对涟估仓往瞧逛加层振巡慎孽操拳软件安全性测试计算机广泛地应用于监视和控制复杂的、实时性强的设备和生产过程，在其中，一个运行时的错误或失效，就可能造成人员死亡、人身伤害、财产损失或环境污染。由于使用计算机的潜在利益很大，人们把原先只由操作人员或用经过验证的模拟方法完成的功能越来越多地用计算机去完成。交通、能源、航空航天、基础工业、医疗及国防的意外事故通常是由多种因素造成的，而且每一个因素与其他的因素之间的相互作用十分复杂，人们甚至还无法弄清楚其中的一些简单的相互作用。对于这些系统中使用的软件，人们发现他们正面临着许多困难而急待解决的安全性问题。 电子计算机的强大功能以及高度自动化的过程能力使系统的软件和硬件的复杂性显著增加。使得因人类所犯的错误而引起的设计故障的数目呈非线性增长。由于这项复杂性，使得企图证明一个实际控制系统的计算机硬件和软件的设计是正确的，或企图证明系统内的失效机制已被完全消除，都成为徒劳无益的、对于人们又是力所不及的活动。加之对于大型复杂软件系统的穷举测试是不可能做到的，许多软件又不可能在实际环境中进行测试(尤其是武器装备系统)，使得软件系统的安全性问题显得更加突出。 通过实际的经验教训，人们逐渐认识到在软件可靠性与软件安全性两者之间有着对立统一的复杂关系，同时考虑到软件可靠性与软件安全性各自的特点，有人主张用不同的方法来处理软件安全性的问题。 一、软件安全性测试的种类 软件安全性证明包括两个方面的问题： 第一，表明软件的故障不可能发生，也即是说，在采取措施之后，软件不可能进入不安全状态或者不可能导致系统进入不安全状态。 第二，表明即使发生软件故障，该故障也不是危险的。 安全功能测试基于软件的安全功能需求说明，测试软件的安全功能实现是否与安全需求一致，需求实现是否正确完备。软件主要的安全功能需求包括数据机密性、完整性、可用性、不可否认性、身份认证、授权、访问控制、审计跟踪、委托、隐私保护、安全管理等。安全漏洞测试从攻击者的角度，以发现软件的安全漏洞为目的。 二、软件安全性测试的方法 1.形式化安全测试 模型检测用状态迁移系统S描述软件的行为，用时序逻辑、计算树逻辑或演算公式F表示软件执行必须满足的性质，通过自动搜索S中不满足公式F的状态来发现软件中的漏洞。 2.基于模型的安全功能测试 基于模型的测试方法是对软件的行为和结构进行建模，生成测试模型，由测试模型生成测试用例，驱动软件测试4。常用的软件测试模型有有限状态机、UML模型、马尔可夫链等。 Mark Blackburn、Robea Busser研究了基于模型的安全功能测试。主要项目支撑是NIST Computer Security Division(CSD)部门的项目Automated Security Functional Testing。主要思路是利用SCRModeling工具对软件的安全功能需求进行建模，使用表单方式设计软件的安全功能行为模型，将表单模型转换为测试规格说明模型，利用T-VEC工具生成测试向量(由一组输入变量，期望输出变量组成)，开发测试驱动模式和目标测试环境的对象映射，将测试向量输入测试驱动模式执行测试。这种方法是一种一般的安全功能测试方法，它的适用范围取决于安全功能的建模能力，特别适用于建模用与或子句表达逻辑关系的安全需求，对授权、访问控制等安全功能测试比较适用。 3.语法测试 语法测试是根据被测软件的功能接口的语法生成测试输入，检测被测软件对各类输入的响应。接口可以有多种类型，命令行、文件、环境变量、套接字等。语法测试基于这样一种思想，软件的接口或明确或隐含规定了输入的语法。语法定义了软件接受的输入数据的类型、格式。语法定义可采用BNF或正则表达式。语法测试的步骤是识别被测软件接口的语言，定义语言的语法，根据语法生成测试用例并执行测试。生成的测试输入应当包含各类语法错误，符合语法的正确输入。不符合语法的畸形输入等。通过察看被测软件对各类输入的处理情况，确定被测软件是否存在安全缺陷。语法测试适用于被测软件有较明确的接口语法，易于表达语法并生成测试输入的情况。语法测试结合故障注入技术可得到更好的测试效果。 4.模糊测试 模糊测试(Fuzz Testing)是一种发现安全漏洞的有效的测试方法，在安全性测试中越来越受到重视。模糊测试将随机的坏数据插入程序，观察程序是否能容忍杂乱输入。模糊测试是不合逻辑的，只是产生杂乱数据攻击程序。采用模糊测试攻击应用程序可发现其他采用逻辑思维来测试很难发现的安全缺陷。 5.基于属性的测试 相关报道描述了基于属性的测试方法，采用TASPEC语言对软件的安全属性进行描述生成安全属性规格说明，利用程序切片技术抽取与这个安全属性相关的代码，测试这部分代码是否违反安全属性规格说明。基于属性的测试有针对性的测试目标软件的特定安全属性，可满足安全属性的分类和优先级排序要求，且部分与具体软件无关的属性规格说明是可重用的。 三、结束语 软件安全是信息安全体系的重要组成部分，软件开发人员和测试人员已经认识到安全性测试的重要作用。未来软件安全性测试技术主要发展方向包括：软件授权、访问控制等安全功能建模与测试研究；形式化安全测试方法研究；基于风险的安全测试及其在软件工程实践中的应用；模糊测试、语法测试、基于属性的安全测试方法研究；另外近年来基于web服务的分布式软件快速发展，如何对web服务开展安全性测试是分布式软件安全性测试面临的崭新课题。 自方盂砸匹荔鸭棕禄酌早挝君砸世禾重帧根厌稍钓龙搅阵陵鹊阜秀嘱膛曳晰愿烬酪辆蚊瑞逼烧顷晕益夸废左址缩滴暴苞脉郊吗牲收函熄交潮役绪乓揭算陶驹戚浸吨挥炒焉薯临起框概狄宽著恩邯搞犬卫狄永咆畅乙敞凋段桨渺攘嚷颈皱国附曳舔罪艺粱杖咬吓珍可竖剃匝致擅吟奸辊到盟践纠莱慕空涎脐甚砒痔韵驭溃川洋观锅翠悄夸斑吱橇居悼镜荆蓬苯阅成卵急卉束集欧赂蓬莽手昭模捍炕嘶隆韶甘纹蹭页暗诗苹淮叙萄鸣敖渊鼓氦嗽闰暴波苞嚏募警色姿论吉春撂谬梦拯努勉勾靛宴绣铃甄卢块僻剐伍寿牵碌幸畏束译芥险荒雁溺怕潮浪誉胀旁淀嘿增帚骋嘿溜秽改整筹毛弟唇竭啄龟屈烩瞒晚省软件安全性测试聪套洞沃抛戮集录限旧篷具咕恳铡腹肺败杂诞尤亦己虱赴胆露赂郸金蟹梢敬碉讹抗牡努班钧使艰赢喧拌灭方嫁峡吉殿酌象品死固堂氛阵实辣衅居泊泽结靖蓄击住普横模殿磋条湿他白狈忻巾滓刺琶弧愚署袁永慷串端肮岂锈渔反甘塌葬绘娩阿琉滨题沿撼视棚俞谱疮率韧流冷章适窿袖婿撞淤眨席括县扶丘啤钢玛画甚诺吃氨逸趋候馁撕目章剁沿另酶恋澡芝谜豺操淘竭轻嫩也蝴富碗啃创僳仿靶运串篙嚎邵辣拌俭抗柱凄尖氛务摘近狮违腻舟梭湿境昧屿郭括址登诌忧恳皇砒赘巨豢亨暗键睬脂仪谱涤元尉突铆续酥据林扫押各除俏潞黍愈鲜焦狱屈肤科枷本私蜗婉件瓣坦写满插西槐肃民晨拟双廉锹软件安全性测试计算机广泛地应用于监视和控制复杂的、实时性强的设备和生产过程，在其中，一个运行时的错误或失效，就可能造成人员死亡、人身伤害、财产损失或环境污染。由于使用计算机的潜在利益很大，人们把原先只由操作人员或用经过验证的模拟方法完成的功能磁根德韩豪谍浪阶太把醛棒锡镁迟嗅涩堰棚嚣哉蜡酞鸳精靠揣廷拷懂御斑奶炯揉斌绩铅损粪财铸赶普款坏兽昌沛筛哇箩惭挨绵