周振吉
- 作品数：16 被引量：46H指数：4
- 供职机构：解放军理工大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于状态融合的协议状态机自动推断方法
- 本发明涉及网络技术领域，提供一种基于状态融合的协议状态机自动推断方法，包括以下步骤：报文格式提取与报文分类、会话抽象与初始状态机构建、以及基于输出报文的状态融合。本发明的协议状态机自动推断方法采用增强前缀树转换器EPTT...
- 洪征吴礼发郑成辉潘璠赖海光李华波周振吉
- 文献传递
- 一种混合式僵尸主机检测算法的设计与实现
- 2010年
- 为了进一步提高检测的精确性,在研究僵尸主机的行为特点以及僵尸网络命令与控制信道的特性后,提出了一种基于终端系统行为和网络行为的混合式僵尸主机检测算法,并对现有的僵尸网络行为稳定性衡量方法进行了改进。在此基础上,设计实现了一个僵尸主机检测原型系统——BotScout。评估结果表明了算法的有效性。
- 周振吉吴礼发梁其川李华波
- 关键词：网络行为僵尸网络
- 语义层次的协议格式提取方法被引量：10
- 2013年
- 现有协议格式提取方法在语法层次对程序执行轨迹进行分析,字段识别结果可能存在冗余和冲突。为了提高字段识别准确率,提出了一种语义层次的协议格式提取方法。方法首先将执行轨迹中的二进制指令转换为语义等价的中间语言形式,并通过细粒度的动态污点分析跟踪字段语义解析过程,在此基础上,依据字段的语义不可分割性,利用语义层次的字段识别策略实现了协议格式提取。测试结果表明,该方法具有较高的识别精度和较低的分析复杂度。
- 潘璠洪征周振吉吴礼发
- 关键词：动态污点分析中间语言
- 基于静态分析的Android应用事件输入生成方法
- 2017年
- 提出了一种基于静态分析的Android应用动态分析事件输入生成方法。以组件间调用图和单个组件内部系统依赖图为基础,提取组件内部安全相关回调方法依赖的事件输入,并设计了一种事件输入算法,自动生成Android应用运行时依赖的事件输入。实验结果表明,相比已有工作,所提方法能够达到更高的权限方法和基本组件覆盖率,覆盖更多安全相关的执行路径,有助于动态分析过程中收集更多安全相关的运行时行为。
- 叶益林周振吉洪征颜慧颖吴礼发
- 关键词：ANDROID系统依赖图
- 基于状态融合的协议状态机自动推断方法
- 本发明提供一种基于状态融合的协议状态机自动推断方法，包括以下步骤：报文格式提取与报文分类、会话抽象与初始状态机构建、以及基于输出报文的状态融合。本发明的协议状态机自动推断方法采用增强前缀树转换器EPTT描述协议实体的会话...
- 洪征吴礼发郑成辉潘璠赖海光李华波周振吉
- 文献传递
- 云计算环境下的虚拟机可信度量模型被引量：10
- 2014年
- 为了解决云计算环境下虚拟机可信度量方法存在的并发性和安全性问题,提出了一种树形可信度量模型.根据云计算环境的特点将度量过程分离,一方面采用基于完整性的方式来度量管理域的可信性,另一方面采用基于系统行为的方式来度量用户域的可信性,解决了传统度量模型难以并发度量的问题,提高了度量模型的可扩展性.结合系统调用截获和虚拟机内省技术,实现了可信度量原型系统,并通过实验评测系统的有效性和相关性能.实验结果表明,树形可信度量模型能够有效验证虚拟机的可信度.
- 周振吉吴礼发洪征徐明飞
- 关键词：云计算可信计算虚拟机
- 云计算环境下基于信任的虚拟机可信证明模型被引量：2
- 2015年
- 为了解决云计算环境下虚拟机可信证明存在可信证据来源不足和证明过程容易暴露节点隐私信息的缺陷,将信任管理与群签名机制相结合,提出了一种基于信任的虚拟机可信证明模型,并给出了模型的结构和虚拟机节点总体信任度的计算方法.首先,通过综合直接信任度和反馈信任度,得到虚拟机节点的整体可信度,并据此识别出恶意的虚拟机节点;然后,采用基于群签名的证据保护方法,通过检验虚拟机节点的签名来考察其可信性,以保护节点隐私的同时降低节点遭受攻击的可能性.实验结果表明,该模型在虚拟机运行过程中可以有效识别出恶意节点并保护节点的隐私信息.
- 周振吉吴礼发洪征李丙戌郑成辉
- 关键词：云计算信任管理虚拟机群签名
- 基于信任的云计算身份管理模型设计与实现被引量：8
- 2014年
- 随着云计算的发展,身份管理问题已经引起业界高度关注。基于群签名的身份认证机制保证了云服务提供者不能通过外包的数据回溯用户的身份信息,并广泛应用于云计算环境的身份管理中,但它无法阻止恶意用户对云服务的非法访问。针对此不足,改进了现有的身份管理模型,将信任管理与群签名机制相结合,设计了基于信任的身份管理模型。本模型首先计算用户信任度并将其作为群签名分组的依据,再利用群签名机制实现用户认证,在应用中既能保证用户隐私,又能帮助云计算提供者保护资源。实验结果表明,本模型能有效识别恶意用户,帮助云服务提供者阻止恶意用户对资源的访问。
- 李丙戌吴礼发周振吉李华波
- 关键词：信任管理群签名身份管理云计算
- 基于符号执行的Android原生代码控制流图提取方法
- 2017年
- 提出了一种基于符号执行的控制流图提取方法,该方法为原生库中的函数提供了符号执行环境,对JNI函数调用进行模拟,用约束求解器对符号进行求解。实现了控制流图提取原型系统CFGNative。实验结果表明,CFGNative可准确识别样例中所有的JNI函数调用和原生方法,并能够在可接受的时间内达到较高的代码覆盖率。
- 颜慧颖周振吉吴礼发洪征孙贺
- 关键词：控制流图
- 可信网络连接双向认证协议的设计与分析被引量：1
- 2014年
- 针对可信网络连接认证协议的现有方案存在单向认证、平台身份和配置信息泄露、无法抵御伪装及重放攻击等安全问题,提出了一种新的认证协议。该协议通过引入可信第三方实现了双向用户身份和平台身份的认证,防止了伪装攻击。直接匿名证明方法和时间戳的应用,保护了平台身份和配置信息的安全,防止了重放攻击。采用BAN逻辑对协议进行形式化描述及分析,验证了本协议可以提高认证的安全性,具有较高的应用价值。
- 徐明飞吴礼发洪征曾晓光周振吉
- 关键词：可信网络连接双向认证协议BAN逻辑
