时序PLD安全缺陷检测方法研究

可编程逻辑器件(PLD)在电子设备中广泛应用,其安全缺陷检测已成为信息安全领域中一个富有挑战性的课题。通过分析PLD安全缺陷的存在形式,提出了基于状态转移图的安全缺陷检测方法。该方法统一了检测思路,采用了脱机式芯片逆向分析和在线式芯片逆向分析相结合的技术,适用于不同的PLD安全缺陷检测,同时根据存在形式提出了检测算法。最后通过模拟测试对该检测思路及算法的有效性进行了验证。     

可编程逻辑器件PLD

本文主要介绍PLD器件中GAL器件，由于微电技术，VLSI（超大规模）技术和CAD（计算机辅助设计）技术的不断发展，数字逻辑系统的集成度和可靠性愈来愈高，功能度愈强，逻辑器件的新产品不断涌现，PLD器件具有设计的灵活性和应用的方便性，越来越受到设计者的青睐，故本文详细介绍作为PLD器件的主要部分及使用方便的器件GAL技术，无疑将成为其发展的先导，据国内有关专家推测，未来的VLSI市场将属于ASIC（专用集成电路），甚至有人断言，到2000年ASIC将在IC市场占统治地位，那么ASIC的主要部分是PLD，PLD的主要部分是GAL，故在不远的将来，GAL器件在数字逻辑系统中发挥重大作用。     

辅助检测Linux驱动中漏洞的符号驱动环境

Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性。与SymDrive工具的性能相比,符号驱动环境执行速度快90%,覆盖率提高20%。     

高密度PLD在图象传感器驱动电路中的应用

介绍了使用高密度可编程逻辑器件完成图象传感器驱动电路的设计。该设计的电路板比通常的驱动电路板面积小、可靠性高、逻辑关系修改方便。     

一种利用补丁的未知漏洞发现方法

近年来,利用含有已知漏洞的函数作为准则,通过查找相似代码实现来检测未知漏洞的方法已被证明是有效的.但是,一个含有漏洞的函数通常也包含一些与已知漏洞无关的语句,严重影响相似度计算的结果,从而引发误报和漏报.提出了一种利用补丁来提高这种相似性检测准确性的漏洞发现方法.结合漏洞的补丁信息,引入程序切片技术去除原来含有漏洞的函数中与漏洞无关的语句,利用获得的切片生成去噪的漏洞特征来进行潜在未知漏洞检测.该方法已经在一些真实的代码集中实施,并且实验结果证明该方法确实能够有效减弱漏洞无关语句的干扰,达到提高检测准确性的目的.该方法还成功检测到了3个未知漏洞且已经得到确认.     

用于漏洞检测的中间语言表示方法

现有Web漏洞检测方法中使用的中间语言针对特定编程语言设计,在对多种编程语言源代码进行漏洞抽象表示时,无法将多语言下的同类型漏洞用统一的中间语言表示,增加了后续漏洞分析处理的难度。针对该问题提出了一种基于污点分析的中间语言表示方法,实现多编程语言下同类型漏洞信息的统一抽象表示。该中间语言设计过程中将漏洞发生过程抽象为三元组表示,将与三元组相关的代码元素抽象为中间语言的关键字,根据三元组间的语义关系设计了该中间语言的语法。在转义时,利用污点分析方法跟踪污染源的执行路径,对路径中的源代码进行转义得到中间语言表示。最后将该中间语言用于漏洞检测模型,实验结果表明该中间语言与对照中间语言相比对编程语言中漏洞信息的抽象表示更具普适性,对漏洞检测具有有效性。     

基于状态偏离分析的Web访问控制漏洞检测方法

攻击者可利用Web应用程序中存在的漏洞实施破坏应用功能、木马植入等恶意行为。针对Web应用程序的访问控制漏洞的检测问题,现有方法由于代码特征难提取、行为刻画不准确等问题导致误报率和漏报率过高,且效率低下。文中提出了一种基于状态偏离分析的Web访问控制漏洞检测方法,结合白盒测试技术,提取代码中与访问控制有关的约束,以此生成Web应用程序预期访问策略,再通过动态分析生成Web应用程序实际访问策略,将对访问控制漏洞的检测转换为对状态偏离的检测。使用提出的方法开发原型工具ACVD,可对访问控制漏洞中未授权访问、越权访问等类型的漏洞进行准确检测。在5个真实Web应用程序中进行测试,发现16个真实漏洞,查全率达到了98%,检测效率较传统黑盒工具提升了约300%。     

未知漏洞的预防技巧

还记得“震荡波“病毒的危害吗？“震荡波”病毒的起因在于LSA服务的漏洞,它是Windows系统中一个相当重要的服务,所有安全认证相关的处理都要通过这个服务。利用上述漏洞．”震荡波“病毒在系统上取得控制权后,打开端口并绑定cmd.exe,然后连接上来．通过ftp方式将蠕虫自身传输到系统目录下,传输完毕后,蠕虫文件就会被执行．系统     

USB设备驱动漏洞检测的研究与设计

基于仿真环境建立了一种突变型的中间人的漏洞检测框架,对iPod设备和windowsXP系统通信的漏洞检测,证实了USB体系结构确实具有攻击向量的观点。     

过程控制计算机中逻辑设计的发展

当前的设计者必须在设计周期和成本、工程费用、元件成本、性能因素间寻求平衡点,才能真正降低产品成本、提高竞争能力。为此,本文简单介绍了PLD、PGA,RAM(ROM)在逻辑设计中的运用。     

基于FPGA/CPLD和VHDL语言的交通灯控制系统设计

用VHDL语言设计交通灯控制系统,并在MAX+PLUSII系统对FPGA/CPLD芯片进行下载,由于生成的是集成化的数字电路,没有传统设计中的接线问题,所以故障率低、可靠性高,而且体积小。体现了EDA技术在数字电路设计中的优越性。     

CPLD通用写入器设计与开发

可编程逻辑器件（Programmable Logic Device,简称PLD）是20世纪70年代发展起来的一种新型逻辑器件,它是现代数字电子系统向超高集成度、超低功耗、超小型封装和专用化方向发展的重要基础.它的应用和发展不仅简化了电路设计,降低了成本,提高了系统的可靠性和保密性,而且给数字系统的设计方法带来了革命性的变化.CPLD（Complex Programmable Logic Device）,即复杂可编程逻辑器件,它是20世纪90年代初期出现的EPLD改进器件.同EPLD相比,CPLD增加了内部连线,对逻辑宏单元和I/O单元也有重大的改进.Xilinx是世界上最大的可编程逻辑器件供应商之一,FPGA的发明者.产品种类较全,主要有：XC9500/4000.Coolrunner（XPIA3）,Spartan,Vertex.在本文中,我们将通过对CPLD的发展、结构、应用和设计等方面的认知,了解CPLD的基本原理,并设计出CPLD脱机编程写入器的电路图.     

一种同步时序PLD逆向分析数据采集算法

采用逻辑分析法实现加密可编程逻辑器件(PLD)逆向分析的关键是为逻辑综合提供有效、完备的数据集,特别是对时序型PLD,在未知状态图的情况下,如何高效地采集到所有有效状态下的数据,是逆向分析研究的核心问题之一。该文在理论分析同步时序型PLD逆向分析可行性的基础上,提出一种适合多状态、复杂同步时序型PLD的高效数据采集算法,以动态建立非完全状态图为基础,求解状态驱动的最短路径,使得数据采集算法具有理想的时空开销。     

用复杂可编程逻辑器件的嵌入式阵列实现逻辑设计

描述了复杂可编程逻辑器件FLEX10K10中的嵌入式阵列块EAB的基本原理,分析了如何用多个EAB实现更大规模的乘法器,并且对并行乘法器和时域多选乘法器两种实现方案进行了对比验证。     

基于AVR单片机的大容量存储测试系统

介绍了一种基于AVR单片机的大容量采集存储测试系统。详细介绍了测试系统的工作流程、器件的选择、测试系统的软硬件电路设计等。测试系统使用AVR单片机和复杂可编程逻辑器件（CPLD）对大容量闪存进行控制,充分利用了CPLD的高速和微控单元（MCU）控制灵活的特点,实现了对闪存的读、写、擦操作以及与上位机通信的控制。采用大容量的闪存芯片存储数据,使得测试系统在突然失去电源的情况下依然能够保持测试所得的数据,以便于回收后准确的显示所记录的数据以供分析,实现了代码和数据的固态存储。     

基于DSP和CPLD的自动烹饪机器人设计

摘要：中国的饮食文化十分发达,但中餐的加工工艺目前主要由人来完成,既费时费力,且人能加工的菜肴的种类有限,菜肴的味道的稳定性不高,利用机器人技术来替代人在厨房的工作有重大意义。论文全面介绍了一种自动烹饪机器人的实现,其控制主体采用DSP结合CPLD,单片机负责火候控制,采用高档工控机做上层控制,用户和机器人交互通过触摸屏;机构上主要由加料、搅拌、火候控制、锅具等几部分组成。试验表明该自动烹饪机器人使用方便,能较好满足中餐烹饪工艺的要求。     

基于CPLD的光栅信号解码与仿真分析

运用可编程逻辑器件,设计了光栅信号的解码方案,针对信号转向计数缺失的问题,提出了一种二次计数的修正方法,并进行了仿真验证与分析.首先简述了光栅信号的运动特征;其次根据光栅信号的变化特点,采用硬件描述语言编程(Verilog)的方法,设计了信号逻辑处理电路,包括细分辨向电路、转向识别电路与双向计数电路;最后通过仿真验证了该方案的可行性,并具体分析了解码速率.仿真结果表明,该方案实现了光栅信号的细分辨向与转向修正,最终计数值准确可靠,解码速度快,达到了设计目的.     

EDA软件开发设计

EDA技术在信息产业中起着举足轻重的作用。阐述了EDA技术的含义及特点,介绍了EDA技术的主要内容及设计流程,并从可编程逻辑器件使用的角度,论述了开发自主知识产权的EDA软件设计思想。     

基于CPLD的车辆信息通讯系统的OSD设计

本课题以设计车辆信息通讯平台的OSD为目的,依据信息通信系统中视频信号中OSD处理的理论基础,基于Xilinx公司的CPLD平台开发出了一种具有OSD处理器,它具有高速,支持多制式视频信号,同时具有输出图像稳定连续、抗干扰能力强等优点。