【摘 要】
：
面向Java的信息流分析工作需要修改编译器或实时执行环境，对已有系统兼容性差，且缺乏形式化分析与安全性证明。首先，提出了基于有限状态自动机的Java信息流分析方法，将整个程序变
【机 构】
：
解放军信息工程大学密码工程学院,密码科学技术国家重点实验室
【基金项目】
：
国家高技术研究发展“863”计划资助项目(2015AA016006,2012AA012704);国家重点研发计划项目(2016YFB0501900)
论文部分内容阅读
面向Java的信息流分析工作需要修改编译器或实时执行环境，对已有系统兼容性差，且缺乏形式化分析与安全性证明。首先，提出了基于有限状态自动机的Java信息流分析方法，将整个程序变量污点取值空间抽象为自动机状态空间，并将Java字节码指令看做自动机状态转换动作；然后，给出了自动机转换的信息流安全规则，并证明了在该规则下程序执行的无干扰安全性；最后，采用静态污点跟踪指令插入和动态污点跟踪与控制的方法实现了原型系统IF-JVM，既不需要获得Java应用程序源码，也不需要修改Java编译器和实时执行环境，更独立于客户操作系统。实验结果表明，原型系统能正确实现对Java的细粒度地信息流跟踪与控制，性能开销为53.1%。
其他文献
目的观察自拟清亢宁汤治疗甲状腺功能亢进患者的临床疗效。方法选取自2015年5月至2016年5月于沈阳市第七人民医院内分泌科收治的甲亢病例50例,采用信封法随机分为试验组和对
分离式霍普金森压杆（SHPB）是材料中高应变率行为测试设备之一。在岩石力学教学中引入SHPB实验可以让学生深入了解岩石的动力学性质,为以后的学习打下基础。首先介绍了SHPB实验
疫苗等重要动物防疫物资在有效预防、控制和消灭动物疫情过程中发挥着举足轻重的作用,有效规范管理和使用基层动物防疫物资,有利于提高基层动物防疫水平和质量,有利于促进我
随着时间的推移和时代的不断改革创新,我国的社会经济得到了空前的发展,但是在这种发展趋势之下,社会发展对于各项工作的要求也有一定的提升,其中就包含正常的办公工作。而众
随着改革开放的深化和市场经济的建立,技工学校作为职业教育的重要组成部分,在人才培养方面越来越发挥其重要作用。同时。学校的档案工作在为教学管理和人才培养服务方面的重
智能水电厂一体化平台是横跨安全Ⅰ、Ⅱ、Ⅲ区的统一软件平台,由于安全防护需要,在安全Ⅰ、Ⅱ、Ⅲ区之间有不同的物理数据库。本文阐述了智能水电厂一体化平台如何通过数据库
仿石砖是表面凸凹不平,酷似天然石材的瓷质外墙砖.用鄂东当地开采的风化长石、瓷石、瓷砂、瓷土等为原料,控制恰当的生产工艺,可制备具有良好性能的一次快烧仿石砖.
钱学森以马克思主义哲学为指导,提出了＂现代科学技术体系＂和＂开放复杂巨系统的理论与方法＂,成为科学技术发展史上重大的理论创新。从横向上,钱学森将现代科学技术的认识过程分为
湖南省属国有企业引进战略投资者,应该立足于我省国有经济布局和结构战略性调整的大局,立足于省属国有企业的发展壮大,围绕主导产业和优势企业,合理确定战略投资者引入的目标
目的观察跟肌手术中牵拉眼外肌引起的眼心反射.方法观察145例斜视手术病人的心率、心电图表现,对比全麻与局麻、不同眼外肌及不同手术步骤的眼心反射区别.结果全麻与局麻的眼