涂航
- 作品数：30 被引量：99H指数：5
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 实用智能卡操作系统的设计与实现被引量：21
- 2000年
- 设计了一种实用的智能卡操作系统 MAXCOS,它由传输管理、安全管理、命令管理和文件管理 4个部分组成 .文章讨论了它的设计和实现原理 ,并着重讨论了它的安全体系 ,包括卡与读写设备之间的认证、对持卡人的身份认证、文件访问的安全机制。
- 刘玉珍涂航张焕国覃中平
- 关键词：智能卡芯片操作系统信息安全访问控制
- 智能卡操作系统中RSA算法的实现与应用被引量：14
- 2000年
- 讨论了 RSA算法在 IC卡中的应用 ,以及在 IC卡中实现 RSA算法的一种途径 ,即利用中国剩余定理(CRT)来简化大数乘方取模运算 .该方法在 IC卡芯片上已经成功实现 .测试结果表明 ,在 IC卡中运用这种方法实现的 RSA算法其解密速度与同等条件下的
- 涂航刘玉珍张焕国覃中平
- 关键词：智能卡芯片操作系统信息安全RSA算法
- 实用智能卡操作系统的认证系统被引量：2
- 2000年
- 阐述了一种实用的智能卡操作系统 MAXCOS的认证系统 ,包括对持卡人的身份认证、卡与读写设备之间的认证、安全报文传送 。
- 李莉李斓刘玉珍涂航张焕国
- 关键词：智能卡芯片操作系统报文鉴别码
- 受限环境下RSA密钥对生成的优化被引量：3
- 2004年
- 利用演化算法的思想 ,给出了一种在不同的受限环境下 ,可动态变化的 RSA算法密钥对生成的最佳算法生成方案 ,它综合考虑了算法的时间、空间和安全性等因素 。
- 涂航李莉李莉
- 关键词：密钥生成
- 带QoS约束的组播加入算法
- 组播关键技术之一是组成员通过隐式加入和显示加入构造一棵组播树。本文针对显示加入提出了一种带OoS约束的组播加入算法(MIAQC)，该算法引入了QoS参数不仅可以满足应用对服务质量的要求，而且减小了探针消息的洪泛范围，减少...
- 吕慧何炎祥涂航
- 关键词：组播技术
- 分布式实时计算环境下安全任务调度技术研究被引量：4
- 2011年
- 当前许多面向分布式计算环境的应用对实时系统提出了安全要求,研究安全的实时任务调度算法成为当前的研究热点。文章分析了当前公开文献中各种实时调度算法的缺陷,针对现有算法的不足,提出了一种适用于分布式实时任务的安全调度算法,该算法以提高实时任务的安全性和可调度性为目标,一方面按照任务的不同安全需求为其提供不同级别的安全服务,另一方面采用启发式实时调度技术,在多个处理机上有效分配并运行实时任务。仿真实验的结果表明,文章所提出的算法相对于其他算法而言,在不降低任务可调度性的前提下,有效提高了实时任务的安全性。
- 骆万文夏平涂航黄强
- 关键词：分布式计算实时任务调度
- 针对gem5指令集实现及其功能测试的自动代码生成
- 2023年
- 在嵌入式领域,计算机系统模拟器是研究与原型开发的重要工具.对于采用解释执行的模拟器,其CPU模型的译码过程会影响性能,如何提升译码过程的性能是提高仿真效率的关键问题之一.此外,对于无标准测试集的指令集来说(例如自定义指令),手动编写指令功能测试的开发效率较低,并且其与实现译码过程所需的指令信息基本相同.为解决上述问题,提出一个代码生成方案,输入一份指令集描述,输出针对gem5优化后的指令集实现代码和功能测试代码.首先,扩展gem5的指令集描述语言,将其分为编码描述、功能描述和测试描述.其次,针对gem5优化译码决策树构建算法,并为gem5生成译码模块代码、指令集实现代码和指令功能测试用例.最后,以Cortex-M3指令集为例与原方案相比,总生成时间减少约64%,编译后的可执行文件代码大小减少约407 KB,性能提升约13%,并且能够提高开发效率.
- 赵紫微涂航刘芹李莉余涛
- 关键词：代码生成指令集译码模拟器
- 基于twisted Edwards曲线的无证书盲签名方案
- 2022年
- 无证书公钥密码体制消除了传统公钥密码体制对证书的需求,解决了基于身份公钥密码体制的密钥托管问题。文章结合无证书密码体制与盲签名,基于twisted Edwards曲线提出一种高效的无证书盲签名方案,并在随机预言模型下,给出形式化的安全性证明。实验结果表明,与现有的同类型无证书盲签名方案相比,文章所提方案的签名和验签效率提高了15%以上。
- 刘芹张标涂航
- 关键词：盲签名可证明安全性
- 智能卡操作系统及其安全保密研究
- 涂航
- 关键词：智能卡芯片操作系统密码访问控制
- 一种提供主动安全服务的可信软件基
- 一种提供主动安全服务的可信软件基，包括可信密码模块和操作系统内核；在操作系统内核设有内核级可信密码模块驱动、内核级可信软件栈、内核级安全服务模块；内核级安全服务模块内设有安全管理器以及安全策略服务器；可信密码模块提供加密...
- 金刚沈昌祥郑志蓉蔡谊刘毅傅子奇涂航汪晓睿罗云锋
- 文献传递
