曾颖
- 作品数：6 被引量：9H指数：2
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：河南省杰出人才创新基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学机械工程更多>>
- 改进的基于图的可执行文件比较算法被引量：6
- 2007年
- 讨论了可执行文件的比较方法,在基于图的指令相似性比较和结构化二进制比较的基础上给出了一种改进的可执行文件比较算法。该算法首先利用结构化比较获得一组固定点,再从每个固定点开始进行指令相似性比较。该算法融合了两种方法的优点,并使得它们相互弥补了各自的不足,减少了比较结果漏报和误报的可能性。
- 谢余强曾颖舒辉
- 关键词：可执行文件
- 《电子与通信领域信息检索与写作》专业学位研究生课程实践与探索
- 《电子与通信领域信息检索与写作》是面向我校电子与通信工程领域专业学位硕士研究生开设的一门选修课。在该课程的首次教学实践中，课程组从课程的教学内容、教学方法、实践教学、课程考核等方面进行了探索和实践，通过优化提炼教学内容，...
- 曾颖闫镔魏峰
- 关键词：专业学位教学实践
- 一类恶意代码检测算法可靠性与完备性证明
- 2011年
- 代码迷惑可以使恶意代码绕过基于特征匹配的恶意代码检测器的检测.本文利用抽象解释理论,从程序语义的角度对高鹰等人提出的基于语义的恶意代码检测算法处理代码迷惑的能力进行了分析.在对该算法形式化描述的基础上,建立了一个与其等价的基于迹语义的检测器,并通过证明基于迹语义的检测器对于保持变体关系的代码迷惑算法的谕示可靠性和谕示完备性,从理论上阐述了高鹰等人的恶意代码检测算法的谕示可靠性和谕示完备性.
- 曾颖刘粉林
- 关键词：恶意代码检测代码迷惑可靠性
- 二进制文件结构化比较的并行算法实现被引量：5
- 2007年
- 为了提高二进制文件结构化比较的效率,提出了一种基于全局地址空间编程模型实现的并行结构化比较算法,将整个结构化比较过程分为并发获取比对信息和并行结构化比较两个子模块。该算法充分利用UPC语言的亲缘性特征,将共享访问私有化,减少通信开销。并通过有效的负载平衡方法,在机群系统上实现了该并行程序。实际数据的测试结果表明,此并行算法是高效的而且可扩展性较好。
- 罗谦舒辉曾颖
- 关键词：签名负载平衡二进制文件
- 基于动态网络的文本敏感信息感知脑响应检测模型
- 2024年
- 针对文本敏感信息感知过程复杂和个体差异大造成敏感信息感知脑响应潜伏期不确定性的问题,提出了一种基于动态卷积神经网络的脑响应检测模型——DyCNN_CBAM。该模型通过增加的动态卷积模块,让每层的卷积参数在训练的时候随着输入可变,可提升模型的尺寸与容量。然后在模型第一、二层后增加的注意力机制模块,自动计算贡献度较高的时空信息。实验结果表明:该模型比现有的单尺度模型平均分类准确率提高了4%,F1分数提高6.7%,同时比现有多尺度网络平均分类准确率提高了2%,F1分数提高1.2%。此外,在公开数据集上取得最好的F1分数。由此说明,该网络更够适应文本敏感信息感知脑信号潜伏期抖动性,有效地提升了文本敏感信息检测模型的稳定性。
- 李慧敏曾颖曾颖童莉闫镔
- 关键词：脑电信号目标检测
- 基于抽象解释的数据迷惑正确性分析
- 2011年
- 数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。
- 曾颖
- 关键词：程序语义
