面向Python的信息流控制模型及其实现

• 作者: 殷红武 邵婧 陈左宁
• 来源期刊: 计算机应用研究
• 关键词: Web应用 污点分析 信息流控制 Python 库
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3065-3069
• 页数: 5页
• 分类号: TP309.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.10.043

摘要

动态污点分析是检测Web应用程序漏洞、提高Web服务安全性的一种常用方法,但现有方法大多缺乏完善的信息流策略和模型,对信息流的控制也较为粗糙.提出了一个面向Python的信息流控制模型PIFC,将Python程序中的对象抽象为实体;通过控制方法调用所涉及实体间的信息交互来实施语言级的信息流控制;引入实体的降密及净化能力来防止污点积累.利用Python的装饰器和动态分发机制等高级特性,设计并实现了一个轻量、易用、简洁的Python库LPIFC,以支持模型的污点存储及信息流控制,避免了传统方式中修改解释器的缺陷.测试结果表明,LPIFC很好地满足了Web应用的安全需求,且引入的额外性能开销较小.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈左宁		40	174	7.0	12.0
2	邵婧		6	21	4.0	4.0
4	殷红武		19	28	4.0	4.0