基于扩展FSM的Web应用安全测试研究

• 作者: 李栋
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 基于模型的安全测试 Web应用 威胁模型 安全测试用例
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 30-35,101
• 页数: 7页
• 分类号: TP311
• 字数: 5946字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2018.02.005

摘要

Web应用程序由于其自身的特点和实现方式,在面对恶意攻击时,显得十分脆弱.为了提高Web应用系统的安全性,需要针对它的特点设计合理有效的测试方法.提出一种方法,采用扩展的有限状态机模型针对Web应用可能存在安全漏洞的模块进行形式化的分析建模,生成威胁模型并从中解析出抽象的安全测试用例.结合常见的Web应用安全攻击方式中基于语法的攻击输入数据,将抽象的安全测试用例实例化为实现级别的可执行的安全测试用例.设计开发了一个原型工具,以一个Web购物网站为待测系统,在实验中验证了该方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李栋	上海大学计算机工程与科学学院	10	40	4.0	6.0