【摘 要】
:
We b应用程序由于其自身的特点和实现方式, 在面对恶意攻击时, 显得十分脆弱.为了提高 We b应用系统的安全性, 需要针对它的特点设计合理有效的测试方法.提出一种方法, 采用
论文部分内容阅读
We b应用程序由于其自身的特点和实现方式, 在面对恶意攻击时, 显得十分脆弱.为了提高 We b应用系统的安全性, 需要针对它的特点设计合理有效的测试方法.提出一种方法, 采用扩展的有限状态机模型针对We b应用可能存在安全漏洞的模块进行形式化的分析建模, 生成威胁模型并从中解析出抽象的安全测试用例.结合常见的 We b应用安全攻击方式中基于语法的攻击输入数据, 将抽象的安全测试用例实例化为实现级别的可执行的安全测试用例.设计开发了一个原型工具, 以一个 We b购物网站为待测系统, 在实验中验证了该方
其他文献
<正> 染色均匀性是涤纶低弹丝降等的主要因素,其中以色斑丝(简称F丝)降等为主。本文结合生产实际和大量实验结果,对影响F丝的因素进行了分析,同时提出了解决办法。 (一) 实验
“V/A就V/A了”是现代汉语中的一个常用格式,本文以“V/A就V/A了”格式为研究对象,先分析了格式的构成情况,又从语义、句法、语用三个平面对这一格式进行了讨论,最后解释了该
筝曲《抒情幻想曲》是一首流传较广的古筝独奏作品,乐曲以即兴的成分构思而成,以现代作曲手法创作而又不失传统音乐的风格,在抒情与幻想中给予作品很多的表现空间。此文从乐
针对民用单相供电却需要三相电的供电场合,解决偏远地区三相电供电困难的问题以及未来家用电器由单相电机发展为三相电机后的供电新需求,研究了5种单相电变三相电的变换的理
近十余年来,随着高血压病病因的探索以及肾脏生理学的进展,肾素-血管紧张素系统逐渐引起产科学者的注意而成为进一步阐明子宫胎盘缺血与妊娠中毒症之间因果关系的重要课题。
目的:1、研究ULK1 m RNA和蛋白在肾透明细胞癌和相应癌旁组织中的表达情况,探讨ULK1的表达与肾癌发生、发展的关系;2、研究ULK1抑制剂SBI-0206965对人肾癌细胞株A498增殖、凋
传统食材发菜是一种受国家一级保护的珍稀陆生蓝细菌,具有较高的营养价值、药用价值和重要的生态学作用,为了实现发菜生物资源的可持续利用,发菜的人工培养研究已广泛开展.本
目的:本研究采用心肌缺血再灌注损伤家兔作为模型,研究刺五加方对心肌缺血再灌注损伤的保护作用及作用机理,为新药开发提供科学依据。方法:24只日本大耳白兔随机分为3组:假手
介绍了“长城牌”油膜轴承油在高速线材轧机的应用情况。“长城牌”油膜轴承油能够满足高速线材轧机的润滑要求,可以代替进口油膜轴承油使用。