本文着重研究smart卡安全延续性的CC评估问题，主要包括以下几个方面： 分析了CC(公共标准)和CEM(通用评估方法)的基本内容和组织形式，以及CC和CEM之间的对应关系。分析了所有参与评估人员的职责和相互间的关系。说明选择CC作为智能卡评估标准的原因。 从两个方面分析了smart卡安全延续性的问题，一方面考虑smart卡在终端使用期间的安全延续性，分析相关的芯片技术，卡内操作系统COS技术和卡的工作原理，认识到smart卡安全的核心就是COS；另一方面从CC评估的角度出发，考虑安全延续性。分析了smart卡保护轮廓(PP)的内容和作用。重点讨论了保证维护类的内容和结构，考虑可信度的延续性。 引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。用Kripke结构建立了保证维护的形式化模型，验证了可信度的延续性。建立了可信度的量化模型，给出一种新的描述可信度的方式，用安全标志来代替保证级别度量安全产品或系统的可信度。 提出目前smart卡的CC评估存在的问题和相应的解决措施。认为应该从系统评估的角度出发来衡量smart卡的安全性，描述了一个简单的smart卡系统模型。