FPGA原型验证平台信令协议仿真测试系统设计

通过定义一套基于PC串口的数据链路协议来实现在PC端对FPGA原型验证系统的通信及信令协议的仿真测试,详细说明了自定义的用户通信协议和串口通信方式;实现了FPGA原型验证平台上信令协议的测试系统;提出了信令系统的具体测试实例和结果分析。该通信协议和测试系统在实际工作中取得了令人满意的效果。     

一种基于eID的身份管理双向认证系统

针对互联网应用机构对用户进行认证过程中用户与服务器间的可信问题,设计一种基于eID身份管理内容的双向认证系统。该系统基于S/Key动态口令系统认证原理,引入eID对用户身份有效性进行可信验证,并通过双变量单向函数生成S/Key系统认证过程中对称加密密钥,设计基于eID的认证系统框架及认证协议。实验仿真结果和安全性分析表明,系统能够实现基于eID的身份验证,具有较好的安全性。     

Web性能测试技术探讨

Web技术应用具有分布、动态、多平台、交互式和超文本等特点,其设计、开发和运行等过程都有别于传统软件,Web测试也有别于传统手工测试方法。本文以传统测试为基础重点分析Web性能测试的具体过程。在对Web性能测试的探讨过程中,运用LoadRunner,以某省农村信用社联合综合业务网络系统为测试平台,采用虚拟用户模拟系统真实用户的业务操作行为,创建真实的负载,以监测信用社业务网络系统架构中各个组件的性能,并且运用实时监测器从客户机和服务器两方面评估系统组件的运行性能,分析结果以精确定位问题所在。本文使用LoadRunner能够对整个网络系统架构进行测试,从而推广了Web性能测试方法。     

基于间接认证链的输入测试证明方法

针对无法运用认证测试方法中的输入测试对Yahalom协议进行验证的问题,提出一种基于间接认证链的输入测试证明方法。该方法引入间接一致性的概念,解决了Yahalom协议中存在的不完整的挑战-应答机制和输入测试在原证明方法上只具备直接性这2个问题,成功地将输入测试运用于验证Yahalom协议,并将该证明方法推广到对Yahalom-Paulson协议的验证。新的证明方法扩展了输入测试的应用范围。     

利用LoadRunner实现网页负载压力测试

软件测试是保证软件质量的重要手段,对软件系统进行有效的负载压力测试,有助于精确的评估出软件性能的瓶颈,从而对其进行调优.利用自动化性能测试工具LoadRunner,对某高校的Web网页进行实例负载压力测试,初步评估出该Web网页的性能瓶颈,针对此性能瓶颈,提出改善并发用户数及用户访问速度的方法.     

办公自动化系统中的安全性

针对OA系统的安全需要及特点,结合Lotus Domino,讨论了OA系统的网络安全和用户认证协议,着重论述OA系统内部用户和网络用户的安全认证机制、协议及其基本原理;提出了一个OA系统中的用户认证协议,分析了其认证过程。     

基于ARM的群认证方案的研究与实现

目前,企业或公司内部普遍存在数据或文件权限访问的安全问题,尤其美国斯诺登事件以后,针对内部安全的需求十分迫切.本文研究基于ARM处理器的群认证系统,通过对文件的群授权操作来完成对机密文件的权限.系统使用的群认证方案包括身份认证和群授权模块.首先采用自制的USBKey作为硬件加密卡设备,利用AES密钥算法来实现用户身份认证.然后利用VS2010和SDK环境设计实现在ARM平台上的认证客户端,在USBKey和客户端之间传输的验证信息中,通过使用时间戳保证授权的实时可靠.通过时间戳的验证,以确保每次授权都是实时可靠的.该系统的群认证过程,不仅可以增加用户信息的安全性,而且还可以保证内部机密文件的安全.     

电信业务支撑系统智能测试与业务仿真应用研究

目前电信业务支撑系统测试通常采用人工方式,为解决电信业务支撑系统运维面临的问题,文章提出了全过程业务仿真测试与监控方案,该方案主要包括系统监控评估模型、在线监控、自动化测试等部分,实现了对业务软件全过程闭环管控及端到端流程的业务智能测试,运行效果显示,该方案实现了对各业务支撑系统的有效管控及智能测试支持。     

ARINC 659容错数据总线测试验证系统研制

研制了具有自主知识产权的自带微处理器的ARINC 659总线接口芯片,开发了接口芯片内微处理器的帧描述语言编译器;设计开发了总线接口板、通信试验台等,构建了总线通信测试验证系统.按ARINC 659总线规范要求对各实现功能进行了软、硬件联合调试和测试,测试结果验证了接口芯片、通信测试验证系统功能的正确性和完整性.研究成果已用于某些航空安全关键系统,提高了系统的可靠性,降低了全寿命周期费用.     

半导体测试系统优化

为了进一步提高半导体测试生产中设备利用率、按期交货率和较低的在制品水平,改进改进半导体测试系统性能,本文提出了不同工件混合生产与设备专用生产相结合的生产模式.并在现有的MODD调度方法基础上,加入了设备切换准备时间的影响.用双向选择的方法,进一步改善了调度方法,减少了设备切换次数和切换时间.通过在仿真模型中的试验,验证了优化方法的有效性和可行性.     

数字家庭智能设备可信认证协议

针对传统的基于身份的验证方法无法保证设备本身完整性的安全问题,基于TPM设计了数字家庭智能设备可信认证协议,实现了对设备完整性的动态验证。通过协议分析以及仿真测试,表明协议在保证设备完整性的同时能够高效完成设备的认证过程。     

基于代理的设备虚拟化技术及其应用

随着智能手机逐步成为人们工作和生活不可或缺的随身设备，其安全性和用户隐私问题也越来越突出。为解决该问题，提出一种基于Linux容器技术的方法，在同一台手机设备上建立多个虚拟手机系统，使多个相互隔离的Android系统同时运行。为了使多个子系统共享同一台设备资源，提出了基于代理的设备虚拟化技术，并以手机的Radio设备为例实现了该技术。然后，在一个实现了的原型系统上的测试结果表明每个虚拟手机系统均可正常使用所有物理设备，说明该方法可有效地实现设备的虚拟化。最后，通过对多系统的数据隔离、系统资源开销的测试验证了该方法的可行性。由于各虚拟手机系统之间相互隔离、互不影响，因而很好地保护了用户数据的隐私。此外，即使某一个Android子系统出现运行故障或者被恶意攻击，其他子系统照样可以正常运行，从而提高了整个系统的安全性。同时，各子系统的应用和功能可以根据不同的应用场景和需求特别定制，可满足用户的个性化需求。     

数字校园中统一身份认证系统的设计与实现

数字校园功能的完善和应用系统的增加,不仅使用户访问各个应用系统时频繁登录,而且对管理不同应用系统的用户信息、维护用户信息的一致性提出了挑战。统一身份认证系统提供了解决这两个问题的办法。本文首先介绍了建立统一身份认证系统的必要性。然后通过目录数据库的建立、单点登录的实现机制和建立统一身份认证W eb服务器3部分,介绍了一个统一身份认证系统的完整的设计方案。最后,通过这个方案在东华大学的实现,验证了它的可行性。     

基于TMS320C54x的机内测试测试性验证系统

通过故障注入的方式检测测试系统的性能是一种有效的验证系统测试性水平的方法．本文提出了一种基于TMS320C54x的机内测试（Built-in Test,BIT）测试性验证系统的设计方案,给出了系统实现的基本原理以及总体结构框图、工作流程图、原理图等设计．故障注入系统是BIT测试性验证系统的核心部分,经试验证明采用基于TMS320C54x将测试性验证系统以平台化方式实现的设计,能够满足验证BIT测试性的要求,并有效地降低了设计复杂度,达到了预期的设计目的．     

用户验证方案设计

利用Ｍ．Ｓ．Ｈｗａｎｇ提出的基于Ｅｉｇｍａｌ数字签名体制的用户远程口令验证方案作为基础,通过在网络系统的基层单位建立数据库,并由网络中央层对各数据项进行签名,实现了验证,并可以允许各子网络相互独立地选取秘密数据,为用户颁发证件,从而建立了一个规模不受了限制,安全性互不影响的身份认证方案。     

校园网统一身份认证系统的设计与实现

设计了校园网统一身份认证系统.采用LDAP目录存储和Web Services调用的技术,建立了认证信息统一存储、调用接口程序、用户自助管理3个模块,将高校中用户登录系统的基本验证信息统一存储、管理,并建立简单便捷的调用机制,实现了数字化校园用户身份认证的统一管理和维护.     

基于令牌的单点登录协议及其形式化分析

提出一种新的适用于分布式网络的单点登录协议，利用令牌将身份认证和服务授权结合起来由一个验证服务器实现，授权校验的同时进行密钥分配，实现了用户和应用服务器的双向认证，令牌使用户只需在登录网络时进行一次身份认证即可接入各应用服务器。从而提高了网络认证效率，同时使验证服务器不需要保存用户的状态，有效提高验证服务器的性能，采用BAN逻辑对该协议进行形式化分析表明，协议达到了认证和密钥分配的目标，具有较强的安全性。     

电力信息内网可信管控平台的设计与实现

电力信息网相对互联网较为封闭,信息安全隐患和威胁更多的来自网络内部,内网终端面临着身份认证安全性不高、主机非法外联、主机非法操作审计不足等安全问题.针对传统的电力信息网安全防护体系没有针对性对内网终端进行管控.本文提出了电力信息内网终端可信管控平台的安全解决方案,将用户登录认证、违规监控管理、日志审计及用户管理集成,并对集成后的可信管控平台的应用功能进行了测试分析.结果表明,该平台实现了基于USB Key的Windows登录认证、内部涉密主机违规外联监控等功能,同时方案中的程序保护模块增强系统安全性,验证了所提方案的有效性.     

基于CA2000的近场光度测试系统

为了更好地描述光源的光度学特性,基于二维成像亮度计CA2000搭建了近场测试系统,以虚拟仪器的方式实现设备控制和数据采集。对一款灯具进行了近场测量实验,验证了近场测试系统符合设计目标。对近场数据处理使用虚拟平面光源模型,获得光源的亮度空间分布信息。由亮度分布获得了灯具的远场光强分布,并将其与远场条件下测量得到的光强分布进行比较,光强分布的匹配指数达到97.85%。     

国内首个综合移动通信试验平台建成

我国首个数字移动通信模拟试验网(MTNet)国家实验室项目通过国家验收。MTNet拥有全国唯一的三频GSM移动台型号认证测试实验室、CDMA终端CDG测试认证实验室以及第三代移动通信终端认证测试实验室,是我国唯一的GSM/CDMA/3G综合移动通信终端验证平台。验收委员会认为,MTNet网络结构合理,可依据需要灵活配置,进行从终端到网络设备、系统、网络接口的各种模拟试验和测试工作,可模拟商用网的能力,能适应移动通信领域新技术、新业务和新应用需求,研究和解决网络演进过程中可能遇到的问题,可为政府部门管理市场和规范市场提供必要的验证…