智能卡COS的安全性测试研究

智能卡操作系统(COS)的安全性至关重要。通过分析智能卡使用环境得出潜在的不安全因素,结合软件测试的基础知识,研究针对智能卡COS安全的详细测试内容,从而不仅对智能卡COS其他方面的测试有帮助,而且对其他软件的安全性测试有借鉴意义。     

智能卡COS安全性测试研究

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

智能卡COS操作系统高速下载的研究与实现

随着信息化时代的到来,智能卡作为信息化技术标志之一,在金融等方面的应用逐渐普及。智能卡操作系统不同于传统软件,它工作在嵌入式环境,具有硬件资源有限、工作环境不稳定等特点,所以其设计方法与传统方法有所不同。智能卡操作系统在投入使用之前,必须经过严格的测试,这是由嵌入式系统工作的特性决定的,因为当软件工作后出现漏洞时很难进行弥补。本文通过对智能卡下载机制的研究,改进设计以提高智能卡操作系统的下载速度,进而提高测试效率和缩短发卡时间。     

智能卡3G COS软件的设计与实现

参照3G移动通信标准，提出适合3GCOS软件开发的半层次结构模型，并在模型中对各功能模块进行了详细划分。采用中断调度技术对系统的主调度流程进行了设计，最后给出微内核设计的覆盖模型方案。     

双界面智能卡操作系统的设计与测试

本文提出了双界面智能卡操作系统的设计方案以及测试方案。设计方案主要阐述了COS功能模块的划分,以及各个模块的功能和实现方法。测试方案包括测试中软硬件环境的选择,以及测试脚本需要覆盖的内容。目前已将开发成果应用于实际中。     

智能卡操作系统的测试技术

智能卡操作系统是智能卡能够支持复杂且安全的应用的基础,目前智能卡操作系统的测试并没有形成成熟的模式。为了在智能卡操作系统的开发中能够对操作系统进行全面并充分的测试,根据智能卡操作系统的体系结构特点、状态转移过程和通信方式,结合软件测试中的理论方法及测试技术,从基本功能、防拔插及耐久性三方面对智能卡操作系统的测试进行研究,给出了智能卡操作系统的测试方案。在EVDO卡的测试中表明,该测试方案是可行的。     

智能卡操作系统结构研究

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

智能卡操作系统开发中的测试技术

标准化和安全是智能卡应用的基本要求。在智能卡操作系统的开发中,要遵循软件工程和协议工程的要求。测试是其中的重要环节。在介绍智能卡操作系统的体系结构的基础上,根据硬件、规范和COS的特点,给出了双界面智能卡操作系统的测试方案,详细分析了测试用例的设计。第3方测试表明,测试方案是可行的。     

UCard中多COS调度问题的研究

本文首先回顾了智能卡一卡多用的发展历史和现在的应用情况,针对智能卡一卡多用过程中出现的种种问题,介绍了一种全新的智能卡体系架构UCard的概念及其特点,并根据其特点重点讨论了UCard底层管理程序USP的COS装栽、COS调度、环境清理三大主要功能;最后,对下一步研究方向进行了展望,给出了若干值得研究的问题。     

智能卡COS底层无关性设计

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

智能卡的安全机制

典型加密卡的安全算法遭到破解的消息引起了人们的恐慌,本文说明了智能卡解决IC卡系统安全隐患的原因,并从智能卡芯片操作系统的安全机制、智能卡的抗分析和抗攻击措施、高强度的密码算法以及各种身份认证方法等方面说明了智能卡的安全机制。     

基于USB接口和智能卡的PKI客户端设计

PKI客户端是PKI体系的重要组成部分。本文详细介绍PKI客户端设备的软硬件设计,将智能卡的安全性和USB接口的方便性结合起来,在硬件级上实现密钥、证书的安全管理,并以中间件方式向客户提供二次开发平台;具有安全性、易用性和可操作性,可广泛应用于要求个人身份认证、识别、数据加密、安全存储等领域。     

Java智能卡的安全性研究

Java智能卡是一种能运行Java语言程序的智能卡。现在Java智能卡已普遍使用,其安全性也越来越重要。针对此问题,对Java语言Java智能卡平台的安全性及其安全机制进行了研究,讨论了Java智能卡的安全性。     

椭圆曲线密码在智能卡COS的应用研究

在实现信息化的过程中,人们倍加重视信息安全技术,文章详述了到目前为止已知强度最高的椭圆曲线密码的原理、应用和现状,并展望了这一密码体制的发展前景。     

基于链表方式的智能卡文件系统设计

本文提出一种基于链表方式的智能卡文件系统的实现方法,在系统分析智能卡文件系统应用需求的基础上,论述了智能卡文件系统的建立、删除及读写操作。同时本文也对智能卡在意外掉电的情况下如何保证正确的写操作提出了一种全新的解决方案。     

Java智能卡的安全性研究

Java智能卡是一种能运行Java语言程序的智能卡。现在Java智能卡已普遍使用,其安全性也越来越重要。针对此问题,对Java语言、Java智能卡平台的安全性及其安全机制进行了研究,讨论了Java智能卡的安全性。     

智能卡系统的安全性研究

从智能卡的逻辑结构和物理特性两个方面分析了卡系统的安全性，并在此基础上抽象出一种安全模型，在此基础中对目前世界上主流的卡攻击技术作了一定的归纳。     

泰利德智能卡售饭消费系统方案

泰利德售饭／消费管理系统是一套基于射频卡技术的最新产品，系统采用飞利浦公司的Mifare系列芯片，可以保证产品有足够的安全性和稳定性。[第一段]     

高速下载COS的双界面智能卡读卡器设计

为了提高智能卡的发卡效率,本文设计了一套可以调节接触式通信速率的双界面智能卡读卡器,并且通过提高传输速率、增加传输数据的长度以及使用pipeline的结构两张卡同发的方法来提高智能卡发卡的效率,在实际应用中提升了中小型智能卡厂商的发卡效率。     

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

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