【摘 要】
：
动态污点分析是检测Web应用程序漏洞、提高Web服务安全性的一种常用方法,但现有方法大多缺乏完善的信息流策略和模型,对信息流的控制也较为粗糙。提出了一个面向Python的信息
论文部分内容阅读
动态污点分析是检测Web应用程序漏洞、提高Web服务安全性的一种常用方法,但现有方法大多缺乏完善的信息流策略和模型,对信息流的控制也较为粗糙。提出了一个面向Python的信息流控制模型PIFC,将Python程序中的对象抽象为实体;通过控制方法调用所涉及实体间的信息交互来实施语言级的信息流控制;引入实体的降密及净化能力来防止污点积累。利用Python的装饰器和动态分发机制等高级特性,设计并实现了一个轻量、易用、简洁的Python库LPIFC,以支持模型的污点存储及信息流控制,避免了传统方式中修改解释器的缺陷。测试结果表明,LPIFC很好地满足了Web应用的安全需求,且引入的额外性能开销较小。
其他文献
PPP模式作为公共部门与私人企业合作的一种模式,可以有效地缓解基础设施建设资金紧张的状况,是一种基于双赢或多赢理念基础上而形成的模式,目前已被许多国家广泛采用。在我国
目的:比较赤芍(Radix Paeoniae Rubra)与白芍(Radix Paeoniae Alba)及不同加工炮制方法对赤芍、白芍饮片中芍药苷含量的影响。方法:采用HPLC法,色谱柱:SHIMADCIS ODS C18。流
伴随着改革开放的不断深入和发展，我国的社会经济文化等各个方面都有了长足的进步。当前，随着人们对生活质量的进一步关心，体育越来越多的出现在人们的生活之中。人们越来越注重
目的:观察养血调肝汤治疗气血虚弱型月经先期的疗效。方法:从月经第1天开始口服养血调肝汤,每日1剂,每个月经周期服药3周,连续服用3个月经周期。并通过对患者用药前后肝肾功
文化市场是社会主义市场经济的重要组成部分之一。在科技不断进步的今天,文化市场不断涌现新事物,新兴文化市场成为了文化市场领域转型升级的重点,也成了现代文化市场体系的
从内部质量控制和外部质量控制2个方面介绍了兽医实验室质量控制,并从实验室人员、仪器设备与计量器具、实验材料、实验方法、环境条件的质量控制等方面具体阐述了内部质量控
<正> 瓦楞纸板的生产目前主要有半机械化手工操作、单机生产及多层联动生产线生产等方法。不管采用何种方法,其生产工艺基本上都是备料、压楞、裱纸、干燥等。 一、备料 根据
研究了复杂目标激光雷达散射截面(LRCS)与电磁波段雷达散射截面的差异,提出使用可视化技术计算复杂目标后向激光雷达散射截面的流程框图,并使用该技术对某飞机全尺寸模型进行
确立了基于GC-MS和GC-SCD的天然气中超微量硫化物定性定量分析方法与条件,并分析了北京城市天然气中的硫化物。结果表明,天然气中含有三种硫化物,主要成分为四氢噻吩(THT),占
"一带一路"建设背景下,PPP项目面临提前终止的可能和风险,厘清导致PPP项目提前终止的事由和PPP项目提前终止所产生的法律后果是PPP项目提前终止的主要法律问题。PPP项目提前