智能卡芯片操作系统的研究与实现

为了充分利用智能卡芯片有限的资源,开发出高效的、易扩充的芯片操作系统(COS),研究了智能卡COS设计和实现方法.介绍了智能卡COS的体系结构,设计了结构模型,从COS的主守护流程、通信管理、文件系统、安全管理和命令解释5个方面论述了智能卡COS的设计与实现.采用中断调度方式节省了系统开销,采用静态存储管理方式节约了存储空间.通过测试验证了COS符合国际标准和行业标准,该系统能正确应用在终端和相应网络环境中,具有良好的兼容性和稳定性.     

一种基于智能卡的可信监视器程序实现方法

智能卡的安全机制存在篡改存储数据或代码、拒绝服务攻击、重新编程等安全问题,其根源在于卡的合法应用环境发生了改变、正常应用操作序列发生了错乱或模仿。针对上述问题,结合智能卡应用与可信计算技术,提出一种对智能卡计算环境可信和行为可信的验证方法。通过智能卡COS的开发实现该可信增强的技术。该方法可提高金融卡应用的可信度。     

金融智能卡操作系统安全体系研究

讨论了通用智能卡操作系统COS的安全体系,围绕该体系的三大功能：文件操作、认证系统、加/解密展开论述。金融智能卡操作系统是建立在通用COS基础上集成了银行应用的COS。结合实践的JETCOS智能卡操作系统分析了金融智能卡COS在交易流程和应用过程中的安全性。     

智能卡COS安全性测试研究

智能卡COS是智能卡中重要的软件控制部分,它控制着智能卡内外部的数据通信和存储。智能卡COS的安全性是信息化应用健康有序进展的重要基础,因此,必须对智能卡COS进行科学全面的测试评价。文中首先描述了智能卡COS的组成结构;然后分析了智能卡COS需要保护的信息资产及其面临的安全威胁,在此基础之上,提出智能卡COS在软件设计实现中需要考虑的安全机制,阐明如何构建智能卡COS安全性测试评价平台;最后,重点从安全功能测试和穿透性测试两个方面阐述了智能卡COS安全测试的关键技术。     

智能卡COS测试方案的研究

操作系统的稳定和可靠是智能卡正常工作的基础。在COS开发过程中,对COS充分全面的测试是非常重要的。本文在介绍智能卡操作系统的体系结构的基础上,给出了智能卡COS的测试方案。对于同一应用类型的COS,测试具有一定的重用性。     

RF_SIM卡的多应用COS研究与设计

随着芯片技术的发展以及运营商之间的业务扩展,手机智能卡将会向多应用平台方向发展。就是在多应用要求下,重点对文件系统、安全机制和双通道通信管理进行研究与设计。最后基于RF_SIM卡设计了一种多应用COS（智能卡操作系统）结构和实现了一个简单原型,具有较高的稳定性和安全性,对其他研究人员设计多应用COS有一定的借签价值。     

基于ARM智能卡的卡片操作系统

研究和分析卡片操作系统（COS）性能要求,提出以ARM智能卡为硬件平台的COS设计思路及方法,论述智能卡STK扩展应用及OTA技术实现原理。该系统利用空中下载技术实现卡片STK菜单的远程更新,结构合理、功能齐全、兼容性好。     

智能卡操作系统自动化测试方法的研究与实现

针对现有智能卡操作系统COS(Chip Operating System)测试难、效率低,以及现有测试工具通用性差、测试脚本复用程度低的问题,结合智能卡软件测试的特点,提出一种针对智能卡操作系统测试的通用测试脚本语言UCSL;并对该语言的语法结构及其相应解释器的设计进行研究和实现。应用实践表明:UCSL脚本语言具有语法简单、结构清晰、易于维护,便于扩展等优点,能够用于多种COS的测试。     

智能卡芯片操作系统命令的分析与实现

智能卡作为存储个人信息、电子支付、数据加密等的手段和工具,被要求具有更高的安全性、良好的兼容性和可扩充性,作为智能卡的软件平台的芯片操作系统COS,具有十分重要的地位和作用。如何开发一个高效率、低成本、易扩充的COS具有十分积极的意义。本文从实现命令系统的角度,提出了命令设计模型与开发方法,并以PKI为例对COS命令的实现进行验证。     

基于3G网络的绑定式智能卡系统模型

在分析3G网络下单晶片智能卡芯片操作系统(COS)的结构及关键技术基础上,提出绑定式多晶片智能卡COS的覆盖模型,对模型各功能模块结构及构造流程进行研究。通过对模型的裁剪,抽象出符合用户需求的绑定式单晶片智能卡COS模型,并对模型进行可行性分析及评估。     

基于Java卡技术的移动平台数字签名方法研究

对基于Java卡(嵌入了Java卡虚拟机的智能卡)技术的移动平台的安全机制及其实现方法作了分析,给出了ARM9平台与智能卡硬件的互联方法和软件通信机制,重点阐述了利用Java技术在嵌入式平台上使用智能卡进行数字证书申请、签名及验证操作的逻辑和实现方法。     

通用智能卡数据采集器研究与实现

选用当前流行的STM32微控制器为硬件平台,利用智能卡芯片特有的ISO7816通信接口,设计了一款通用的智能卡数据采集系统。该系统通过STM32微控制器采集手机和智能卡之间的通信时钟来获取准确的位宽定时信号,并以相应的位宽间隔进行数据采样,从采样的数据中提取出手机与智能卡交互的PPS,从而达到自适应采集不同智能卡数据的功能。该系统具有硬件设计简单、通用性强、采集速度快、正确性和稳定性高等优点,极大地方便智能卡应用开发人员和业务维护人员的使用。目前该技术已投入实际使用,具有较好的应用前景和参考价值。     

智能卡COS底层无关性设计

介绍了智能卡COS现状及存在的问题,针对底层通用问题,借鉴Java智能卡的优点实现与底层无关的COS,即针对不同的硬件平台,无需重新编写代码。根据参数的不同提出了几种不同的解决方案。     

智能卡操作系统结构研究

重点介绍智能卡操作系统COS的四大基本功能：传输管理、命令解释、文件管理和安全管理。在此基础上,提出COS新的体系结构,并构建出各模块的状态转换图,最后根据项目实践总结该结构的优点。     

基于ATL的智能卡中间件的实现

COM(组件对象模型)为组件的开发和应用提供了一个标准平台。介绍了智能卡和其基于ATL(活动模板库)的COM组件的实现．重点阐述其实现过程和实现流程．最后简述中间件的应用。该组件封装智能卡COS(片内操作系统)，并以dll文件形式提供给用户，增强了组件的重用性，且方便系统升级和扩展。     

智能卡中实现ECC算法的关键问题的研究

主要讨论在智能卡中实现ECC(EllipticCurveCryptography)算法的关键问题。ECC算法具有密钥长度短、安全性高、计算效率高等优点,但是ECC算法的实现本身面临着许多问题。同时考虑到智能卡相当于一台微型的计算机,它拥有自己的CPU、存储器和卡内操作系统COS(ChipOperationSystem)。但是在计算能力和存储空间有限的智能卡上实现ECC算法能否取得较好的效果。最后通过对多种实验基础的分析结果上提出了在非接触式智能卡上实现ECC算法的可用性。