凌永兴
- 作品数：7 被引量：20H指数：2
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家自然科学基金国家科技重大专项北京市属高等学校科学技术与研究生教育创新工程建设项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于重构密码协处理器的可信计算系统的设计和实现
- 2011年
- 基于可重构密码芯片,设计了一种可信计算系统,为操作系统中的数据提供增强保护以防止敌手的攻击,保证敏感应用在受协处理器保护的环境中运行。重点介绍了可重构密码协处理器的硬件结构,分析了密码协处理器的密码算法可重构原理和实现流程,为进一步研究可供商业应用的可重构密码芯片奠定了基础。
- 凌永兴郭传鹏
- 关键词：可重构密码协处理器可信计算
- 数字信封在Web服务中的应用研究被引量：2
- 2013年
- Web服务具有分布性和异构性的特点,在网络环境中,会使其安全性变得复杂而多样,如何保障Web服务的安全性已成为国内外密切关注的重要课题。数字信封通过私钥与公钥进行匹配来保护加密密钥的安全,可有效地保证数据传输的真实性和完整性。对Web服务的常用协议和当前面临的主要攻击进行了分析,在此基础上,设计了一个基于数字信封的Web服务安全模型,并运用WSE实现了该模型,实验证明,该模型可以保证数据的完整性、不可否认性、机密性等多种安全特性。
- 凌永兴雷英
- 关键词：WEB服务数字信封WSE
- PCI9054总线接口芯片应用
- 对PCI总线接口芯片PCI9054的性能、总线操作及其DMA数据传输方式进行了讨论,并且通过它在某一系统中的应用实例,阐述了PCI9054在PCI接口电路设计中的简便性和实用性.
- 凌永兴
- 关键词：PCI总线
- 文献传递
- 基于keepalived的高可用性应用研究被引量：13
- 2014年
- 文章分析了设备高可用性的需求,介绍了VRRP协议以及工作原理、keepalived开源软件对VRRP协议的实现;研究了keepalived的安装配置以及keepalived在网桥模式中的应用,添加了keepalived功能配置项,达到了双机切换的预期效果。
- 汪海洋凌永兴包丽红姚萌萌
- 关键词：可用性VRRP协议网桥
- 一种内外网隔离的证书查询方案设计与实现
- 2012年
- LDAP协议广泛应用于网络信息资源查询和证书目录查询,然而在有些场合,证书的查询端和证书目录服务器之间有网络隔离设备,不能直接采用公开的远程目录访问协议来进行证书查询。设计和实现了一种内外网隔离的证书查询方案,既不用修改LDAP协议,又能够防止恶意用户非法获取证书。
- 蔡国明王亚弟汪淼凌永兴
- 关键词：网络隔离
- 基于串空间的安全协议形式化分析研究被引量：5
- 2020年
- 安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得了一定的成果。文章扩展了串空间理论,提出了匹配串、匹配结点、同一执行丛等概念,并基于扩展的串空间理论形式化分析了基于区块链的公平多方不可否认协议,发现了该协议的不能满足公平性的缺陷。
- 姚萌萌唐黎凌永兴肖卫东
- 关键词：串空间形式化分析安全协议区块链
