蒋逸尘
- 作品数：6 被引量：4H指数：1
- 供职机构：北京交通大学计算机与信息技术学院更多>>
- 发文基金：中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于PTM的可信虚拟平台方案
- 在多种信息系统中,将虚拟化技术与可信计算相结合的方式是一种保障系统安全的有效手段.然而,传统基于可信平台模块(TPM)的可信系统存在着系统信任基础不明确与数据迁移计算开销大的不足.本文应用便携式可信模块(PTM)信任模型...
- 蒋逸尘韩臻张大伟
- 关键词：计算机技术信息安全可信计算
- 文献传递
- 基于PTM的可信应用环境研究
- 为了提高计算终端的安全性,可信计算技术引入可信平台模块TPM作为系统的可信根来构建安全计算环境。由于TPM与平台间的一一绑定关系,使得基于TPM的用户漫游和封装数据迁移存在一定问题。基于便携式可信模块PTM构建的以用户为...
- 刘天华张大伟蒋逸尘
- 关键词：可信计算可信平台模块
- 文献传递
- 基于DAA和TLS的匿名远程证明协议被引量：2
- 2014年
- 为了解决使用直接匿名证明方法进行远程证明易受伪装攻击的问题,提出了一种基于直接匿名证明和安全传输层协议(TLS)的匿名远程证明协议.使用可信平台模块,完成平台配置和匿名身份的度量并生成签名信息;改进身份认证和证书校验机制,并使用TLS协议的扩展消息传输远程证明内容;结合匿名证明、完整性报告和密钥协商机制设计总体协议,从而在交互双方构建出匿名认证的可信信道.分析表明:改进方案满足身份认证的不可伪造性、匿名性、可控的可链接性和不可克隆性,能够抵御重放攻击和伪装攻击,且设计的协议兼容扩展的TLS协议架构,便于部署.
- 张大伟韩臻蒋逸尘黎妹红
- 关键词：可信计算可信平台模块远程证明直接匿名证明
- Java智能卡指令折叠优化算法的研究与实现
- 如何在有限计算资源环境下提高解释器的执行速度是Java智能卡研究中的关键问题。本文提出了一种改进的指令折叠优化算法,通过消除字节码指令流中的部分堆栈操作来提高解释器的执行效率。首先,给出了基于卡内、卡外虚拟机结构的折叠优...
- 刘天华张大伟蒋逸尘
- 关键词：JAVA智能卡
- 文献传递
- 基于PTM的可信虚拟平台方案被引量：1
- 2013年
- 在多种信息系统中,将虚拟化技术与可信计算相结合的方式是一种保障系统安全的有效手段.然而,传统基于可信平台模块(TPM)的可信系统存在着系统信任基础不明确与数据迁移计算开销大的不足.本文应用便携式可信模块(PTM)信任模型,基于Xen虚拟化平台提出了一种客户端可信虚拟化平台方案——OASIS,设计并实现了OASIS平台结构、可信启动信任链建立方法及数据迁移机制.本方案具有灵活高效、以用户为中心的特点,使用PTM作为系统信任基础,为用户提供个人化可信计算环境,为用户在多平台间漫游的应用场景提供极大的便利性.原型系统测试结果表明,本方案具有可行性.
- 蒋逸尘韩臻张大伟
- 关键词：信息安全可信计算虚拟化
- 电子护照安全综述被引量：1
- 2015年
- 随着国际化的进程加速,电子护照替代传统护照已经成为国际发展的必然趋势。目前,国际民用航空组织(ICAO)和欧盟(EU)已经推出三代电子护照,第一、二代护照已经在全球发行。随着技术的不断发展,第一、二代护照暴露出许多安全问题,第三代护照采用了新的访问控制机制,其安全性得到很大提高。介绍ICAO和EU的三代电子护照发展历程,从物理层面、通信层面和协议层面分析了电子护照的安全,重点研究电子护照协议层存在的安全问题以及探讨这些问题的一些解决方案。综合分析研究,对提高电子护照的安全性和隐私性有重大意义,对于安全证件领域的研究者也具有指导意义。
- 刘天华张大伟蒋逸尘
- 关键词：电子护照安全协议访问控制
