多应用智能卡形式化建模研究

该文简单介绍了多应用智能卡的发展现状以及智能卡的文件系统结构,重点从形式化建模语言、模型验证工具以及建模过程三方面分析了当前智能卡的建模现状。     

多应用智能卡平台和操作系统

智能卡可以安全地存取个人私密信息,提供包括密码服务和访问控制等多种服务。随着微电子技术的发展,多应用智能卡应运而生,并成为智能卡领域的发展方向。介绍了当前业界主流多应用智能卡平台和操作系统,即Java Card、GlobalPlatfrom、MULTOS、Smartcard.NET和BasicCard,着重说明了采用的架构和安全技术。     

一种新的多应用智能卡操作系统测试方法

目前智能卡操作系统测试主要针对特定版本的操作系统设计,对操作系统各项功能测试不够全面,尤其对多应用安全性少有关注。介绍一种新的智能卡操作系统测试方法,分为未知指令安全性、特定算法正确性、文件系统访问控制、指令一致性、个人化后文件操作及访问控制以及多应用安全性六部分。测试系统通过加载运行脚本完成测试,适用于多规范下多版本操作系统测试。     

多应用智能卡自由存储区管理的研究

本文首先讨论了多应用智能卡存储空间的管理策略,分析了将自由存储区管理信息保存在EEPROM上的不足。根据多应用智能卡存储空间的分配特点,提出了不在EEPROM上保存自由存储区的管理信息,而直接根据文件链提供的相应文件信息计算推导出自由存储区的算法,并给出了算法的实现方法。仿真实验表明,由于在自由存储区的分配和回收过程中减少了对EEPROM的写操作,本算法有较快的执行速度。     

基于UML建模语言的开放式智能卡应用模型

基于开放式智能卡应用模型（OpenCard Framcwok）和虚拟机技术提出了一种开放式智能卡平台,基于这个平台的智能卡可拥有多个应用程序,并可以动态地将载、卸除和管理应用程序。文中通过UML（Unified Modeling Language,统一建模语言）描述了开放式智能卡系统中的应用模型的面向对象结构,剖析它的组织及其各部分之间的关系,阐述智能卡的诸多特点在此模型中的实现机理,重点介绍了开放式智能卡应用模型的研究。     

智能卡多应用操作系统的发展趋势及研究

通过对智能卡多应用操作系统及其发展历史的分析,结合当前的技术进步与市场需求,对智能卡多应用操作系统的发展趋势进行了研究。在多应用管理模式、文件系统、通用安全机制和应用开发框架等多个方面进行了前瞻性的探讨,并提出了相应的解决方案。该研究成果已在实验室环境下得到验证,具有可借鉴性。     

一种跨行业多应用智能卡系统模型及实现

在分析单应用智能卡和多应用智能卡关键技术的基础上，提出了一种跨行业多应用智能卡系统模型，对模型各模块关键技术及模型安全性进行了研究，采用Java Card技术对模型予以实现，并对该实现进行了评估，讨论了下一步的研究重点。     

智能卡的发展和应用

本文介绍了智能卡最新发展动态，着重讨论了智能卡底层技术，安全保护技术，小芯片防裂技术及相应技术。     

智能卡应用框架的研究及应用

智能卡应用框架是智能卡软件结构中的重要环节.介绍了两种智能卡应用框架OCF与PC/SC,分析了它们各自的特点,并对它们进行了对比分析,提出了对它们共存的思考.实现了一种基于OCF与PC/SC的安全电子邮件系统,该系统在邮件收发终端引入动态识别智能卡技术,从而提供了电子邮件的保密性、认证性、完整性和不可抵赖性,有效地解决了传统电子邮件存在的若干安全性问题,使通过电子邮件传送机密信息成为可能.     

在时间和空间中的应用

实时应用软件设计遇到了传统应用中未曾出现的问题。为了研究这些问题和讨论解决这些问题的一些方法，我们把目光转向太空，由实时系统控制的航天飞机，从中我们已经受益非浅。     

"一卡多用"中卡操作系统多应用管理的设计

“一卡多用”操作系统是智能卡发展的必然趋势,如何在卡操作系统中实现对多应用的管理成为其中的关键问题。本文详细说明应用存储结构和应用注册表结构,并设计应用选择机制和应用防火墙机制,最后对应用的下载和删除过程进行了论述,并对应用的下载和删除的安全性进行了分析。     

一种基于智能卡口令认证方案的研究

基于口令的认证方案广泛应用于远程控制系统中,智能卡与静态口令结合使用的认证方式是目前应用最广泛的口令认证机制。提出一种基于智能卡的口令认证方案。通过对其安全性进行分析,发现此方案能够抵抗住离线字典攻击、假冒攻击、重放攻击和修改攻击等攻击。     

基于改进的椭圆曲线零知识证明的智能卡系统

零知识证明已成为密码学研究者非常感兴趣的一个领域,该证明能使验证者无法得到一点知识而相信证明者确实拥有该知识。这里提出一种基于改进的椭圆曲线零知识证明的智能卡系统,该系统能够大大地提高智能卡的安全性,可以被广泛地用于金融领域。这个新方案不仅能够保证安全性,而且还减少了交互次数。同时基于椭圆曲线上的零知识证明可以用比RSA短得多的密钥,达到与RSA同等级别的安全性。     

基于国密安全芯片的蓝牙SIM型智能IC卡设计与实现

设计一种安全与便捷均衡的蓝牙SIM型智能IC卡产品.该产品以国密安全芯片为控制核心,结合蓝牙芯片和三轴地磁传感器,将各模块封装成蓝牙SIM型智能IC卡硬件形态,可直接嵌入到手机卡槽内,实现便捷使用.该方案符合智能IC卡检测规范,可为移动应用App提供安全、便捷的数字签名与信息加密服务.所设计的产品支持安卓和iOS两大主...     

基于智能卡的分布式考勤管理系统的研究与实现

本文首先分析了现有的各种考勤方式和考勤系统一人工考勤、打卡钟考勤、磁卡考勤、IC卡考勤和指纹识别考勤等各自的优缺点。针对它们只能集中考勤、考勤数据采集的时段有限等不足,提出采用智能卡直接在员工的工作地点进行分布式考勤,并且根据员工实际工作状况采集考勤信息,研究了基于智能卡的分布式考勤管理系统的结构和功能,给出了系统的运行原理,并对系统的实现进行了讨论。     

智能卡及指纹识别技术在网上支付中的应用

本文简要地介绍了智能卡和指纹识别的相关技术,并利用智能卡的安全存取特性、指纹验证技术的唯一性构造了一个网络安全支付平台－Morphcheque。该平台对网络支付的标准协议SET进行了扩展,在提供高安全信息保护的同时实现了很好的身份认证。此平台可以用于企业间的网上实时转帐以及企业与企业间电子商务的支付平台。     

智能空间中上下文推理问题的研究

针对以往上下文推理方法中上下文描述能力差、解决不确定性问题能力低下的现状，提出了一个新的上下文表示和推理的方法。该方法通过用陈述性表示方法描述上下文，提高了上下文的描述能力；用基于规则的逻辑推理方法提高了解决不确定性问题的能力；且该方法将求解问题的复杂度控制在合理的范围内。最后，文中通过实例证实了该方法的可行性。     

重庆城市一卡通系统设计及实现

随着信息技术在经济社会各领域的广泛应用,IC卡在交通、通信、购物消费、缴纳水电气费、娱乐等社会公共领域得到了推广应用.推进城市一卡通的建设,对于合理配置社会资源,使城市居民便捷地获得各种社会公共服务,全面提升城市公共管理和服务水平,打造服务型政府,培育和发展重庆市IC卡产业,建设长江上游信息中心具有重要的推动作用.如此复杂的系统需要科学规划、科学设计,用合理的投资产生尽可能大的效益.     

多功能IC卡系统设计与系统安全性

西南交大校园卡’９６系统、清华大学校园ＩＣ卡系统是国内高校有代表性的校园ＩＣ卡系统。此类多功能ＩＣ卡系统的设计,特别是系统的安全设计,对企事业单位的（单用途）ＩＣ卡支付系统和实现“一卡通”多功能应用系统的安全设计均有普遍参考价值。