基于JavaSIM卡的GlobalPlatform安全技术研究

在分析JavaSIM卡的工作原理基础上,研究了GlobalPlatform系统的安全通信和卡上多应用程序管理的安全需求,设计实现了一种保证JavaSIM卡平台安全性的方案.该方案以密钥集的管理和应用为基础,通过划分不同密钥集的认证管理权限和提供安全信道,实现了不同卡外实体对卡内容的安全管理.对实现方案测试的结果符合相关规范的规定.

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。

新一代银行卡的发展及应用

本文阐述了银行卡的最新发展以及EMV标准的制定对银行卡所起的作用。比较了目前各种多应用智能卡平台的应用方案,并指出Java Card在新一代银行卡应用中所能发挥的作用及其发展前景。

GP打造更强环球平台

于1999年成立的GlobalPlatform(环球平台；简称GP)组织日前在北京举办了一场业务研讨会，向与会者展示了目前和未来现实生活中单一的和多用途智能卡在全球范围内金融、政务、医疗卫生以及电信行业方面的应用。

Java智能卡安全运行时环境的设计

本文提出了Java卡应用程序的安全下载、对卡外实体的身份认证和对卡内应用的度量的支持等适合Java卡运行环境的安全机制和方法。安全机制以密钥的管理和使用为基础,以安全通道协议为支撑,可以为应用的安全下载和可信运行提供支持,并实现对卡外实体的身份认证,以确保经过授权的实体才能访问卡内的应用。运行环境可以在应用程序运行时根据度量方案进行度量,以确保应用程序按照应用提供商的意图可信地运行,防止运行时攻击。