吴泽智
- 作品数：9 被引量：34H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种敏感信息跟踪方法及系统
- 本发明实施例提供一种敏感信息跟踪方法及系统，该方法包括：在虚拟机指令编译为本地指令的过程中，调取敏感信息跟踪指令；所述敏感信息跟踪指令标记有敏感信息点和跟踪点；基于敏感信息跟踪框架，以所述敏感信息跟踪指令的敏感信息点和跟...
- 杜学绘杨智陈性元吴泽智王文娟任志宇
- 文献传递
- 基于自动机的Java信息流分析被引量：2
- 2019年
- 面向Java的信息流分析工作需要修改编译器或实时执行环境,对已有系统兼容性差,且缺乏形式化分析与安全性证明。首先,提出了基于有限状态自动机的Java信息流分析方法,将整个程序变量污点取值空间抽象为自动机状态空间,并将Java字节码指令看做自动机状态转换动作;然后,给出了自动机转换的信息流安全规则,并证明了在该规则下程序执行的无干扰安全性;最后,采用静态污点跟踪指令插入和动态污点跟踪与控制的方法实现了原型系统IF-JVM,既不需要获得Java应用程序源码,也不需要修改Java编译器和实时执行环境,更独立于客户操作系统。实验结果表明,原型系统能正确实现对Java的细粒度的信息流跟踪与控制,性能开销为53. 1%。
- 吴泽智陈性元陈性元杨智
- 关键词：有限状态自动机信息流分析无干扰JAVA
- 面向安卓的权限配置优化被引量：2
- 2015年
- 移动数据隐私安全日益成为研究热点.针对当前安卓研究工作未能提出应用权限配置的优化方法,提出一种基于矩阵传递闭包的应用越权检测算法和基于遗传算法、面向程序组件的权限配置优化方案.实验结果表明该算法能有效挖掘满足安全需求最优化权限配置方案.帮助应用开发者和用户理解、定义和使用应用程序权限,同时也有助于系统性地辨别恶意应用程序.
- 吴泽智陈性元杨智杜学绘
- 关键词：权限组件遗传算法
- 一种敏感信息安全保护方法及系统
- 本发明实施例提供一种敏感信息安全保护方法及系统，该方法包括：获取预标记的应用程序安全标签及敏感信息安全标签；所述应用程序安全标签指示有应用程序的污点信息，所述敏感信息安全标签至少指示有敏感信息的污点信息；根据所述应用程序...
- 杜学绘杨智陈性元吴泽智王文娟任志宇
- 文献传递
- 安卓隐私安全研究进展被引量：6
- 2014年
- 针对安卓移动操作系统平台,研究了在保护用户隐私数据方面已有的安全机制及其安全缺陷。从访问控制与信息流分析两方面出发,综合分析近年来安卓隐私安全增强工作的关键技术,对比了各类工作在高效性、正确性、灵活性和易用性等方面的优点和缺点;探讨了基于移动平台下安全模型的形式化分析与证明思想,并指出了未来可能的研究方向。
- 吴泽智陈性元杨智杜学绘
- 关键词：隐私数据访问控制信息流分析形式化方法
- 细粒度信息流控制模型及其关键技术研究
- 飞速发展的移动互联网和快速普及的智能终端,使得人们生活水平和生活方式得到了极大的提高和改变。然而,在人们享受它们带来的繁荣与便利的同时,存储在智能终端上的敏感数据安全受到了前所未有的挑战。信息流控制技术可有效解决此类问题...
- 吴泽智
- 关键词：信息流控制进程代数无干扰
- 文献传递
- 信息流控制研究进展被引量：22
- 2017年
- 信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机层次结构由下而上出发,综述了基于硬件、操作系统、虚拟机、高级语言、低级语言、数据库和网络的信息流控制实现方法,并对比了各类研究的特点;然后,结合当今时代前沿技术,分析了信息流控制在云计算、移动互联、大数据和物联网等新技术下的应用;最后,总结了当前信息流控制相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对下一步研究工作有一定的参考价值.
- 吴泽智陈性元杨智杜学绘
- 关键词：信息流控制进程代数
- 一种敏感信息安全保护方法及系统
- 本发明实施例提供一种敏感信息安全保护方法及系统，该方法包括：获取预标记的应用程序安全标签及敏感信息安全标签；所述应用程序安全标签指示有应用程序的污点信息，所述敏感信息安全标签至少指示有敏感信息的污点信息；根据所述应用程序...
- 杜学绘杨智陈性元吴泽智王文娟任志宇
- 文献传递
- 基于即时编译的动态污点跟踪优化被引量：1
- 2017年
- 动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了38%的内存占用和指令执行时间,系统整体性能平均提升了6.8%.
- 吴泽智陈性元杨智杜学绘
- 关键词：隐私安全即时编译器
