优卡系统的形式化研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:nhb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
推进国民经济的信息化是构建和谐社会的重要内容,智能卡的广泛应用为国家的信息化工作做出了巨大的贡献。随着智能卡的广泛应用,个人持有智能卡的种类和数量增加,造成携带和使用不便。提高智能卡便携性的较好解决方法是在“一卡多用”的基础上实现“一卡多发”。优卡是采用新的软硬件技术在一张卡集成相互独立的现行多张指令相同种类不同的COS及应用的一种新型智能卡。优卡很好地解决了智能卡的便携性问题,一张优卡相当于多张不同的智能卡。多个智能卡的发行商都可对同一张优卡进行发卡操作,写入自己的COS以及应用和数据,并且各COS的安全性由自己负责。优卡内部的物理隔离保证了各COS不能相互访问。优卡系统由主处理器系统和协处理器系统两大部分组成。主处理器系统和协处理器系统分别包括相关的硬件资源和软件资源,二者构成了优卡资源的集合。优卡的操作主要有对内操作和对外操作。优卡具有独立安全性、时间互斥性和透明性等。优卡有两种工作状态,发卡态和用卡态。在发卡过程中,优卡接收来自终端的命令并完成相关的内部操作,相应地,主处理器系统和协处理器系统的状态发生相应的改变,据此建立了二者的状态机模型,给出了状态转换图。优卡的用卡过程包括硬件重构、交易用卡和退出清理三个阶段。优卡具有与传统智能卡不同的体系结构,它允许多个COS及其应用组成的多软件系统运行于同一硬件平台。优卡的体系结构具有可重构特性。实现优卡可重构的体系结构的核心是控制性数据、控制性程序和控制性部件。重构的稳定性包括两个方面,一是控制性数据的完整性和一致性,另一是保证动态地址总线的安全稳定性。实现动态地址总线的安全稳定性有定时查询的方法以及自锁电路和地址总线信号观测等方法。优卡与一般智能卡相同,与终端通信进行数据传输仍然采用智能卡协议的国际标准ISO/IEC 7816。通过分析复位过程中接口的电平状态的变化,建立了复位过程的Petri网模型。
其他文献
期刊
在构成句子的主、谓、宾三种成分中,可以没有主语,也可以没有宾语,但不可以没有谓语。在大部分卜辞中,祭名动词正是充当着对句子的理解起关键作用的谓语成分,祭名成为通读卜辞的一
基于一维紧束缚SSH模型,采用非绝热动力学方法,我们研究了:1.掺杂聚合物的静态性质以及杂质离子对极化子动力学过程的影响。(1)在聚合物中均匀加入杂质离子的数目不同,则聚合
本文在深入研究OFDM技术的同时,结合相应的EDA工具对系统进行建模并参考IEEE802.16e物理层标准给出了一种基于DSP+FPGA平台OFDM基带传输的系统实现方案。 论文首先介绍了OF
学科是由一定科学领域中概念、规律、基本原理和事实构成的体系。文章通过对1978-2008中国音乐学学科建设研究与学科理念的梳理,折射出30年来中国音乐学的发展历程,并对中国
文章从核心盈余比例、利润表项目与现金流项目对比两个方面,以两面针公司披露的2008年年报为例,对公司盈余质量进行多角度分析,评价公司盈余质量,以期为投资者等提供一种分析
随着建筑行业的迅速发展,越来越多的建筑节能技术被应用到建筑施工中,这对于促进建筑行业稳定健康的发展都有着重要的意义。本文的研究详细的阐述了建筑节能新技术在建筑施工
<正> 改革开放以来,根据经济发展的客观要求,我市在对外开放的战略思想上曾进行过多次的研究和探讨,从主体上提出了对外开放的战略思考。但是,应该指出的是,目前我市对外开放
西方音乐剧的演唱形式风格各异,有轻歌剧的演唱风格、以爵士乐为主的演唱风格、以乡村音乐为主的演唱风格、以摇滚音乐为主的演唱风格、古典音乐与流行音乐融合的演唱风格、