洪征

作品数：30被引量：142H指数：8
导出分析报告
供职机构：解放军理工大学更多>>
发文主题：协议状态机报文人工免疫系统报文格式漏洞挖掘更多>>
发文领域：自动化与计算机技术电子电信医药卫生文化科学更多>>
发文期刊：《通信学报》《军事通信技术》《计算机应用研究》《东南大学学报（自然科学版）》更多>>
所获基金：江苏省自然科学基金国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于静态分析的Android应用事件输入生成方法
《网络与信息安全学报》2017年第6期21-32,共12页叶益林 周振吉 洪征 颜慧颖 吴礼发 
江苏省自然科学基金资助项目(No.BK20131069)~~
提出了一种基于静态分析的Android应用动态分析事件输入生成方法。以组件间调用图和单个组件内部系统依赖图为基础,提取组件内部安全相关回调方法依赖的事件输入,并设计了一种事件输入算法,自动生成Android应用运行时依赖的事件输入。...
关键词：ANDROID 事件输入 动态分析 系统依赖图 
基于符号执行的Android原生代码控制流图提取方法
《网络与信息安全学报》2017年第7期33-46,共14页颜慧颖 周振吉 吴礼发 洪征 孙贺 
国家重点研发计划基金资助项目(No.2017YFB0802900);江苏省自然科学基金资助项目(No.BK20131069)~~
提出了一种基于符号执行的控制流图提取方法,该方法为原生库中的函数提供了符号执行环境,对JNI函数调用进行模拟,用约束求解器对符号进行求解。实现了控制流图提取原型系统CFGNative。实验结果表明,CFGNative可准确识别样例中所有的JNI...
关键词：控制流图 Android应用软件 原生代码 符号执行 
第5讲 基于网络流量的协议格式推断技术研究进展
《军事通信技术》2017年第2期92-98,共7页田益凡 洪征 潘璠 张洪泽 
协议逆向分析技术是在不依赖协议规范的情况下,以网络流量或指令执行轨迹为分析对象,推断协议格式以及协议状态机的一种技术手段。基于网络流量的协议格式推断以截获的网络报文序列为分析对象,通过生物信息学或数据挖掘等方法,分析相同...
关键词：协议逆向 网络流量 协议格式推断 多序列比对算法 概率模型 
基于状态的工控协议Fuzzing测试技术被引量：15
《计算机科学》2017年第5期132-140,共9页张亚丰 洪征 吴礼发 周振吉 孙贺 
国家自然科学基金资助项目(611032253);江苏省自然科学基金资助项目(BK2011115)资助
针对传统Fuzzing测试应用于工控系统存在测试覆盖率和有效性低、异常监测手段受限等不足,提出了一种基于状态的工控协议Fuzzing测试方法。该方法采用XML脚本对协议状态机进行描述,设计了基于协议状态机的测试序列生成算法PSTSGM,对被测...
关键词：工控协议 模糊测试 协议状态 漏洞挖掘 
一种基于FSM的BGP-4协议模糊测试方法被引量：3
《计算机工程与应用》2017年第6期111-117,共7页康红凯 吴礼发 洪征 庄洪林 张亚丰 
江苏省自然科学基金(No.BK2011115)
BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题,提出了一种基于有限状态机的BGP-4协议模糊测试方法 BFuzz,设计...
关键词：有限状态机 路由协议 模糊测试 漏洞挖掘 
一种结合动态与静态分析的函数调用图提取方法被引量：4
《计算机工程》2017年第3期154-162,共9页孙贺 吴礼发 洪征 颜慧颖 张亚丰 
江苏省自然科学基金(BK2011115;BK20131069)
完整准确地提取函数调用图是基于函数调用图进行恶意程序相似性分析的基础。为此,提出一种动静结合的恶意程序函数调用图提取方法。在对程序进行静态反汇编的基础上抽取恶意程序的可执行路径,使用隐藏信息主动发现策略找出恶意程序中隐...
关键词：恶意程序 函数调用图 控制流图 静态分析 动态分析 
基于函数调用图的二进制程序相似性分析被引量：2
《计算机工程与应用》2016年第21期126-133,共8页孙贺 吴礼发 洪征 徐明飞 周胜利 
江苏省自然科学基金(No.BK2011115)
现有基于函数调用图的程序二进制文件相似性分析方法在分析经混淆处理的复杂程序时存在准确度低的问题。针对该问题提出了一种基于子图匹配的层次分析方法。以子图为最小检测单元,分层检测各个子图的相似度;再依据各个子图的相似度,采...
关键词：静态分析 函数调用图 相似性分析 层次分析 
基于范式语法的工控协议Fuzzing测试技术被引量：11
《计算机应用研究》2016年第8期2433-2439,共7页张亚丰 洪征 吴礼发 康红凯 孙贺 
国家自然科学基金资助项目(611032253);江苏省自然科学基金资助项目(BK2011115)
针对工控协议Fuzzing测试存在测试脚本编写工作量大、测试用例的覆盖面小、测试效率低等问题,提出了一种基于范式语法的工控协议Fuzzing测试方法。首先以改进的扩展巴科斯范式(modified augmented Backus-Naur form,MABNF)来描述工控协...
关键词：工控协议 模糊测试 范式语法 漏洞挖掘 
TraDR:一种基于轨迹分解重构的移动社交网络位置预测方法被引量：6
《计算机科学》2016年第3期93-98,共6页薛迪 吴礼发 李华波 洪征 
江苏省自然科学基金项目(BK20131069)资助
随着移动社交网络的不断发展,利用用户发布的位置信息为其提供基于地域的个性化推荐服务不仅给用户提供了便利,也为商户带来了巨大的潜在利益。位置预测技术作为此类服务中的关键技术,是移动社交网络中的重要研究内容之一。结合移动社...
关键词：移动社交网络 位置预测 数据稀疏问题 签到轨迹 
一种基于域知识的协议状态机主动推断算法被引量：4
《计算机科学》2015年第12期233-239,共7页王辰 吴礼发 洪征 郑成辉 庄洪林 
国家自然科学基金项目(611032253);江苏省自然科学基金项目(BK2011115)资助
现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L+M算法...
关键词：L^＊算法 协议状态机 主动推断 域知识 推断效率 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部