曹琰
- 作品数：21 被引量：45H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划河南省高校科技创新团队支持计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于相容优化的并行约束求解方法
- 本发明涉及一种基于相容优化的并行约束求解方法，含有下列步骤：1：初始化任务队列；2：如果任务队列中没有搜索向量，则结束；如果有搜索向量，则选择一个作为当前工作任务；3：从所有未赋值的约束变元中选择要赋值的约束变元；4：对...
- 曹琰魏强彭建山尹中旭
- 文献传递
- 基于集中式存储的全局约束并行相容模型被引量：1
- 2013年
- 为了利用多处理平台的并行处理能力,提高约束求解中相容检查的效率,提出了一种新的基于集中式存储的全局约束并行相容模型。利用动态分配约束条件的方法解决负载均衡问题;通过对变量域的集中式管理,保证了冲突检测的及时性;利用变量域剪枝单调性的特点,实现了异步相容检查,提高了多节点间相容检查的并行程度。最后,通过实验验证并讨论了模型的优势和适用范围。
- 曹琰魏强王清贤丁文博
- 关键词：并行化
- 一种文件处理程序的加密点和检查点定位方法及系统
- 本发明属于软件测试技术领域，尤其涉及一种文件处理程序的加密点和检查点定位方法及系统。一种文件处理程序的加密点和检查点定位方法，包括：载入被测对象，即文件处理程序，对文件处理程序进行污点分析；根据污点分析的结果，构造候选检...
- 武泽慧曹琰魏强王允超柳晓龙麻荣宽
- 文献传递
- 基于Hash缓存的细粒度污点分析优化方法被引量：1
- 2017年
- 细粒度污点分析过程中污点标签之间的集合运算占据很大的性能开销。为消除集合运算过程中的重复操作,提出一种基于Hash缓存的细粒度污点分析优化方法。在使用ro BDD实现集合表达的同时,添加Hash结构缓存集合运算结果,避免重复运算。实验表明优化后方法能够有效降低细粒度污点分析过程中污点标签之间的集合运算次数,缩短污点分析过程的集合运算时间。
- 曾杰魏强曹琰王清贤
- 基于脆弱性模型和符号执行结合的软件安全检测方法
- 本发明涉及一种基于脆弱性模型和符号执行结合的软件安全检测方法，包含：将程序与外部环境所交互的输入测试数据符号化；确定符号执行的符号变量，开始符号执行与实际执行，符号执行收集路径约束条件，获取输入与程序运行路径的对应关系信...
- 魏强曹琰柳晓龙武泽慧任开磊王允超
- 文献传递
- 基于广义运算网络攻击效果模糊评估模型被引量：2
- 2009年
- 提出了一种新的基于模糊评判的多层次网络攻击效果评估模型。该模型以攻击目标为依据,分析网络攻击效果的影响因素,建立相应的因素树,用抛物线型的隶属函数确定模糊矩阵,并针对因素树的不同层次分别采用适当的广义运算,弥补了已有评估模型在数据处理方面采取单一运算的不足,令评估结果更易于全面、准确地反映网络攻击效果的特征。
- 曹琰章丽娟吴灏
- 关键词：网络攻击
- 基于多Agent分布式调度的并行符号执行系统
- 本发明公开了一种基于多Agent调度的并行符号执行系统，包括：分布式调度与监控单元，用于对执行迹生成单元、符号执行单元和约束求解单元实现流水线并行调度，使得系统并行运行程度提高，负载均衡；执行迹生成单元，用于将具体输入驱...
- 魏强曹琰武泽慧柳晓龙麻荣宽曾杰
- 文献传递
- 基于相容优化的并行约束求解方法
- 本发明涉及一种基于相容优化的并行约束求解方法，含有下列步骤：1：初始化任务队列；2：如果任务队列中没有搜索向量，则结束；如果有搜索向量，则选择一个作为当前工作任务；3：从所有未赋值的约束变元中选择要赋值的约束变元；4：对...
- 曹琰魏强彭建山尹中旭
- 文献传递
- 基于脆弱性模型和符号执行结合的软件安全检测方法
- 本发明涉及一种基于脆弱性模型和符号执行结合的软件安全检测方法，包含：将程序与外部环境所交互的输入测试数据符号化；确定符号执行的符号变量，开始符号执行与实际执行，符号执行收集路径约束条件，获取输入与程序运行路径的对应关系信...
- 魏强曹琰柳晓龙武泽慧任开磊王允超
- 文献传递
- 一种基于交换机轮换的分布式拒绝服务攻击防御方法
- 本发明公开了一种基于交换机轮换的分布式拒绝服务攻击防御方法，克服了现有技术中，分布式拒绝服务攻击攻击者隔离能力的不足的问题。该发明含有1）代理层交换机接收到网络数据包，判断网络流量是否产生异常；2）未产生异常，则根据数据...
- 武泽慧麻荣宽魏强柳晓龙曹琰张连成
- 文献传递
