电子护照及其验证系统研究在边防检查工作中的应用

出入境边防检查是保障国家安全,维护国家正常出入境秩序的一项国家行为。电子护照的推广使用,给出入境边防检查工作带来了便利也引发了一系列新问题,因此,研究电子护照及其验证系统在边防检查工作中的应用显得极为重要,该研究将影响出入境检查工作的有效运行,对进一步维护出入境管理秩序和口岸安全稳定均有积极的指导意义。     

基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

ASIC原型构建：是做还是买？

随着数字集成电路(IC)的设计变得更加复杂,验证其功能的工作也越来越复杂了。在能被设计的门电路数量和能在合理时间内被验证的门电路数量之间一直存在差距,而这些年来,EDA厂商们在缩小这种差距方面几乎无所作为。     

射频晶圆测试:半导体生产的紧急需要

主要半导体生产商最近承认,开发和生产先进IC卡迫切需要晶片级射频测量。在某种程度上,这一直是 ITRS建模与仿真技术工作组所倡导的:射频紧凑型模型的参数提取更适合将射频测量降到最少。如有必要,     

安捷伦宣布其WiMAX预先一致性测试和生产解决方案顺利通过验证

近日．安捷伦科技公司宣布：其WiMAX设计验证和生产解决方案已经成功交付并获多家客户采用。这些解决方案拥有其他厂商的产品所无法比拟的卓越性能和功能，为工程师测试固定802．16-2004和移动802．16e-2005 WiMAX PHY提供了强大的研发和一致性测量能力。     

利用SoC平台设计并验证MPEG-4/JPEG编解码IP

随着硅工艺在几何尺寸上的不断缩小,芯片的设计者事实上能将所有系统功能整合在单一芯片上。许多芯片制造商和设计者在面对客户对于多功能、低功耗、低成本及小型化的需求时,认为SoC的高集成度是解决问题的万能药方。不幸的是,设计的生产力跟不上摩尔定律的速度。     

VLSI全定制版图分级LVS验证的研究

在VLSI芯片的全定制版图设计中，LVS验证日益复杂繁琐，本文系统介绍了用HERCULES实现LVS验证的原理、流程和配置文件，并讨论了如何用HERCULES高效率的实现分级LVS(Hierarchical LVS，简称HLVS)验证，这些技术和方法已经应用在成功流片的64位通用CPU全定制版图的设计中，提高了版图LVS验证的效率。     

多服务组的流媒体安全通信机制

提出了一种基于多服务组的流媒体安全通信机制.现有的方案一般是针对用户只参加一个多播组的通信,很少涉及到一个用户同时参加多个多播组的通信,而且没有提供有效的发送方身份验证机制.本文提出了一种具有发送方身份验证功能的一个用户同时可以参加多个组通信的方案,大大地降低了用户和服务器的存储开销,与传统的密钥树方案相比,用户的存储开销降低为原来的l/lgn(n为组中的用户数目),有良好的可扩展性.另外,本机制实现了可靠的发送方身份验证功能.     

一个完善的秘密分享方案

可验证秘密分享在实用密码学领域内是一个非常重要的工具,它在密钥管理协议、门限或分布式签名协议、电子商务、多方安全计算及团体式密码系统等许多方面都有极为广泛的应用。针对一类突发事务须及时、安全解决的特点, 利用离散对数问题的难解性,在假设初始化阶段和秘密恢复阶段始终有一位值得信赖的分发者参与的情况下,提出了一个可公开验证的门限秘密分享方案。