雷英
- 作品数：3 被引量：3H指数：1
- 供职机构：江南计算技术研究所更多>>
- 发文基金：北京市属高等学校科学技术与研究生教育创新工程建设项目国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于OVM的网络协议处理芯片验证平台的设计
- 2014年
- 针对一款网络协议处理芯片,为了保证其设计的正确性,提升验证效率,基于OVM架构,通过SystemVerilog语言搭建了具有受约束的随机激励生成、错误注入、覆盖率收集、正确性自检查等功能的验证平台。通过该验证平台对芯片进行了全方位的高效验证,实现了一次流片成功。基于OVM的验证平台具有良好的可重用性和可扩展性,相对于传统的编写定向测试激励的方法,在验证的高效性、完备性上具有显著的优势。
- 雷英王海涛
- 关键词：OVM
- 基于不同网络环境的IPSec解决方案被引量：1
- 2013年
- 对于存在NAT设备的网络环境、组播网络环境和VLAN TRUNK等复杂网络环境,IPSec协议支持得不是很完善。该文针对这三种网络环境提出具体的IPSec解决方案,使IPSec设备具有更好的网络环境适应性。
- 王海涛雷英
- 关键词：IPSECNAT组播
- 数字信封在Web服务中的应用研究被引量：2
- 2013年
- Web服务具有分布性和异构性的特点,在网络环境中,会使其安全性变得复杂而多样,如何保障Web服务的安全性已成为国内外密切关注的重要课题。数字信封通过私钥与公钥进行匹配来保护加密密钥的安全,可有效地保证数据传输的真实性和完整性。对Web服务的常用协议和当前面临的主要攻击进行了分析,在此基础上,设计了一个基于数字信封的Web服务安全模型,并运用WSE实现了该模型,实验证明,该模型可以保证数据的完整性、不可否认性、机密性等多种安全特性。
- 凌永兴雷英
- 关键词：WEB服务数字信封WSE
