国家高技术研究发展计划(2006AA01Z404)
- 作品数：12 被引量：17H指数：3
- 相关作者：李清宝曾光裕张平赵荣彩徐冰更多>>
- 相关机构：解放军信息工程大学中国人民解放军信息工程大学解放军信息工程学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于ARP协议的网络监听技术研究被引量：4
- 2009年
- 为有效解决交换式局域网内的监听问题,分析了这类局域网的工作原理,并结合考虑在不同操作系统环境下运行的因素,提出了基于改进的ARP协议监听方法。该方法与以往方法不同,通过向通信双方发送ARP广播数据包来实现监听,有效避免了受操作系统环境因素的限制,增强了算法的通用性能力。实验结果表明,该方法较以往方法更有效,具有一定的实用价值。
- 曾光裕薛莹莹徐冰李清宝
- 关键词：交换网络地址解析协议ARP欺骗网络监听WINPCAP
- 可编程逻辑器件逆向工程研究被引量：2
- 2008年
- 逆向工程在科技发展和商业用途上都发挥着重要作用。本文针对在电子、电机和信息领域广泛应用的可编程逻辑器件进行逆向工程研究,首先根据设计中可实现的逻辑结构特征对可鳊程逻辑器件进行分类,分析论证使用非破坏性方法对可编程逻辑器件进行逆向还原、再造的可能性,然后理论证明可编程逻辑器件逆向工程的可行性,最后给出逆向工程分析中所涉及的关键技术。
- 李清宝张平赵荣彩曾光裕
- 关键词：可编程逻辑器件逆向工程组合逻辑时序逻辑
- PLD逆向分析中并行数据采集技术研究
- 2009年
- 现有的数据采集算法很难适用于较大规模的加密PLD解析。文章研究数据采集中状态加全的并行性和CPU与采集平台之间的并行性,提出了一种并行数据采集模型,通过将状态加全和搜索状态转移路径分散到多个采集设备上执行,充分利用设备资源,解决了构建状态转移图时内存不足的问题,有效降低了数据采集时间。
- 樊敏曾光裕李清宝周丽
- 关键词：可编程逻辑器件数据采集并行性状态转移图路径搜索
- SMP对称多处理机系统中交叉开关的设计与实现被引量：2
- 2009年
- 并行计算技术是现代科技发展的重要部分,而互连网络技术则是并行机系统中尤其重要的环节。文章分析了SMP对称多处理机系统的结构模型,基于互连网络技术设计了适合一般应用需求的交叉开关,借用中断优先级的概念提出了连接请求优先级,并设计了带优先级的调度算法。通过实际应用验证了交叉开关设计思路的正确性和结构的可扩展性。最后,分析了系统的性能并指出了在并行计算领域需要进一步努力的方向。
- 牛小鹏李清宝曾光裕
- 关键词：交叉开关调度
- 未知同步时序机状态网络生成算法研究被引量：1
- 2008年
- 获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状态驱动路径尽可能短,搜索次数尽可能少,从而达到快速获取不明时序芯片内部状态网络的目的。最后通过实例模拟分析了状态网络的形成过程,通过阐述在实际工程中的应用情况,说明了算法的可行性。
- 宋璞李清宝肖达樊敏
- 关键词：有穷自动机最短路径
- 支持大规模变量集的最小覆盖迭代搜索算法被引量：3
- 2008年
- 两级逻辑综合中的多输出逻辑电路最小覆盖的求解是一个NP难解问题,在输出变量集合和质蕴含项集合规模较大的情况下,会出现空间需求过大、处理时间太长等问题,影响多输出最小覆盖求解的可行性.在精选法的基础上,提出一种多输出最小覆盖迭代求解算法.将一次性求解最小覆盖的模式转换为多次迭代逼近最优解的过程,使得在有限的时间和空间范围内获得尽可能优化的最小覆盖结果.同时,对影响算法复杂度的单输出到多输出函数的阵列合并、极值的选择这2个主要环节进行了改进,大幅度降低了多输出最小覆盖求解算法的时间和空间复杂度.
- 于磊叶静郭毅李清宝
- 关键词：逻辑综合极值迭代算法
- 一种同步时序PLD逆向分析数据采集算法被引量：6
- 2008年
- 采用逻辑分析法实现加密可编程逻辑器件(PLD)逆向分析的关键是为逻辑综合提供有效、完备的数据集,特别是对时序型PLD,在未知状态图的情况下,如何高效地采集到所有有效状态下的数据,是逆向分析研究的核心问题之一。该文在理论分析同步时序型PLD逆向分析可行性的基础上,提出一种适合多状态、复杂同步时序型PLD的高效数据采集算法,以动态建立非完全状态图为基础,求解状态驱动的最短路径,使得数据采集算法具有理想的时空开销。
- 李清宝张平赵荣彩曾光裕
- 关键词：可编程逻辑器件最短路径数据采集
- 单硬盘网络终端信息物理隔离的设计与实现
- 2008年
- 阻止黑客攻击,预防上网终端机密信息泄漏已成为信息安全领域研究的重要课题。基于双硬盘实现网络信息物理隔离是目前采用较多的技术方案,但该方案实现成本较高。讨论了在单硬盘双网环境下,如何实现基于单硬盘的内外网信息的物理隔离。对硬盘的分区表结构及分区表链进行了深入分析,给出了一种单硬盘网络终端信息物理隔离的硬件设计实现方案,重点讨论了双网信息物理隔离的机制和实现方法,详细介绍了控制程序的设计方法和流程。根据设计方案研发的安全产品经国内多家单位安装使用反应较好,达到了低成本高安全性地实现上网终端双网信息物理隔离的设计目标。
- 李清宝曾光裕孟庆倩
- 关键词：硬盘分区物理隔离
- 网络设备硬件漏洞研究
- 2009年
- 在对软件漏洞进行研究的基础上,从发掘网络设备硬件漏洞的角度对网络信息安全进行了思考。分析了网络信息安全现状,列举了当前主要的网络防御技术,分析了交换芯片AL216的组成结构和设计原理,研究了如何利用交换芯片AL216为核心设计实现以太网交换设备,并讨论了利用该芯片设计交换设备可能存在的硬件漏洞。通过论述表明了网络设备硬件漏洞存在的可行性和隐蔽性。
- 高洪博李清宝徐冰周丽
- 关键词：信息安全网络防御以太网
- 一种支持大规模数据逻辑函数优化的改进选拔算法
- 2008年
- 选拔算法是两级逻辑综合中求解最小化覆盖的经典方法之一,但在输出变量集合和质立方体集合规模较大的情况下,采用选拔法求最小化覆盖存在空间复杂度高、求解时间长等问题。为此,提出了求解多输出函数最小化覆盖的改进选拔算法。利用相交迭代和局部搜索的思想,分别对选拔法的极值运算和分支处理进行了改进。实验结果表明,在现有计算机资源条件下,该算法为大规模数据条件下逻辑函数的优化提供了一种有效的方法。
- 叶静于磊曾光裕白燕
- 关键词：逻辑综合极值
