智能卡通用安全检测指南 思度文库

这篇具有很好参考价值的文章主要介绍了智能卡通用安全检测指南 思度文库。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

范围

本标准规定了智能卡类产品进行安全性检测的一般性过程和方法。

本标准适用于智能卡安全性检测评估和认证。

规范性引用文件

下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件,仅注日期的版本适用于本文件。凡是不注日期的引用文件,其最新版本(包括所有的修改单)适用于本文件。

GB/T 18336.1-2008 信息技术 安全技术 信息技术安全性评估准则
第1部分:简介和一般模型

GB/T 18336.2-2008 信息技术 安全技术 信息技术安全性评估准则 第2部分:
安全功能要求

GB/T 18336.3-2008 信息技术 安全技术 信息技术安全性评估准则 第3部分:
安全保证要求

GB/T 20276-2006 信息安全技术 智能卡嵌入式软件
安全技术要求安全技术要求(EAL4增强级)

GB/T 22186-2008 信息安全技术 具有中央处理器的集成电路(IC)卡芯片
安全技术要求(评估保证级4增强级)

BSI-PP-0035 安全IC平台保护轮廓 1.0版

术语、定义和缩略语

术语和定义

下列术语和定义适用于本文件。

智能卡 smart card

指具有中央处理器(CPU)的集成电路(IC)卡,是将一个具有中央处理器的集成电路芯片镶嵌于塑料基片中,并封装成卡的形式。从数据传输方式上可分为接触式智能卡和非接触式智能卡。

智能卡产品 smart card production

智能卡产品指具有CPU集成电路芯片和芯片操作系统的智能IC卡,其标准形态和技术规格被国标
GB/T 14916 2006 《识别卡 物理特性》和GB/T 16649系列国家标准以及ISO/IEC
7816系列、10536系列、14443系列和15693系列国际标准所规定;还包括非标准形态但同样具有CPU集成电路芯片和芯片操作系统的产品。

  1. 智能卡产品整体可作为复合性受测件。

独立安全功能检测 independent security functional testing

由评估者(或其委托的具有资质的专业实验室)所独立进行,但要根据并参考开发者的功能检测文档和(或)利用开发者的检测资源,对智能卡安全功能集合的子集和检测文档抽样进行的安全功能检测。

渗透性检测 penetration testing

由评估者基于对受测智能卡的脆弱性分析而进行的,以获取智能卡的安全资产、旁路或破解智能卡的安全机制为目标,以模仿攻击技术为手段的安全性检测。

侵入检测 invasive testing

渗透性检测的一类。模仿对智能卡芯片侵入攻击的技术,首先要打开芯片的封装(或称开片)并可能需要对多层结构的芯片逐层剥离,然后应用微探针、电子探针、激光切割器、等离子束等设备在各硅片层对信号进行观察、测量,或改变某些电路单元的功能以获取密钥等敏感信息。

半侵入检测 semi-invasive testing

渗透性检测的一类。模仿对智能卡芯片半侵入攻击的技术,也需要打开芯片的封装层和钝化层,但测量设备不与芯片内部进行任何直接的电子接触;通常用于各种光谱的故障引入,或电磁辐射的测量。

非侵入检测 non-invasive testing

渗透性检测的一类。模仿对智能卡芯片非侵入攻击的技术,特征是检测时不对智能卡芯片进行任何物理损伤或改变。非侵入攻击的技术有多种,较为典型的是三种旁路分析技术即能耗分析、电磁分析和时间分析,以及电压、时钟、温度、电磁等故障引入和分析技术。

评估者 evaluator

评估者是本标准所涉及的检测受测件活动及其安全性评估活动的执行者,通常由专业的智能卡安全检测、评估人员或机构担任。

委托者(委托方)sponsor

委托者是智能卡安全检测评估项目的委托人或发起人,可以是政府或行业管理部门,亦可以是检测对象(受测件)的设计者、开发者、制造者、拥有者或其应用系统的业主等。

其它角色 other ruler

设计者、开发者、制造者、使用者等是指受测件的设计、开发、制造和使用人员。

虚拟机 virtual machine

指通过软件模拟的具有完整硬件系统功能的一种特殊的软件,在计算机平台和终端用户之间创建一种环境,而终端用户则是基于这个软件所创建的环境来操作软件。

缩略语

下列缩略语适用于本文件。

CC (Common Criteria for Information Technology Security
Evaluation)信息安全评估通用准则

CEM (Common Methodology for Information Technology Security
Evaluation)CC体系中信息安全评估方法论

COS (Chip Operating System)(智能卡)芯片操作系统

CPU (Central Processing Unit)中央处理器

EAL (Evaluation Assurance Level)评估保证级

EEPROM (Electrically-Erasable Programmable Read-only
Memory)电可擦除可编程只读存储器

FLASH (Flash memory)闪存

IT (Information Technology)信息技术

I/O (Input/ Output)输入/输出

IC (Integrated Circuit)集成电路

PP (Protection Profile)保护轮廓

RAM (Random-Access Memory)随机存取存储器

ROM (Read-Only Memory)只读存储器

ST (Security Target)安全目标

智能卡安全检测总则

受测件的一般模型

封闭结构的智能卡产品

封闭结构的智能卡产品即所谓Native卡产品,它们的COS通常是专门为某类应用或某个行业开发的,其操作系统与应用密切相关,所以一般不具有通用性。基本结构如图1所示。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 封闭结构的智能卡产品

开放结构的智能卡产品

所谓开放结构智能卡产品,在其操作系统层与应用层间夹有一个虚拟机层面,各类不同应用程序可灵活加载、运行或卸载,见图2。典型产品如JAVA卡。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 开放结构的智能卡产品

智能卡芯片

智能卡芯片由微处理器、安全电路组件、时钟电路、复位逻辑和输入/输出端口和存储器组成,可能还有硬件的随机数发生器和密码算法协处理器。芯片还可包括用于制作期间的检测专用软件。专用软件(也称为芯片固件),除检测外也可提供附加服务(如COS可调用的底层程序库)。除芯片专用软件外,芯片中还可能包含进行检测的硬件。在芯片上运行的所有其它软件都称为嵌入式软件,不属于芯片的一部分。见图3。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 智能卡芯片的基本结构
<!-- -->
  1. 能卡芯片可独立成为受测件。

智能卡嵌入式软件

嵌入式软件指存储在智能卡卡内并可运行的软件,即前文缩略语中提到的COS,其主要功能是控制智能卡和外界的信息交换,管理智能卡的存储器并完成各种命令的处理。嵌入式软件可存储在非易失性非编程存储器(只读存储器)内,也可存储于非易失性可编程存储器(例如
EEPROM或闪存)内。嵌入式软件一般由基础软件(操作系统、通用例程和解释器)和应用软件组成,并且不是由芯片商开发的。嵌入式软件的基本模型可见图1和图2中"嵌入式软件"部分。

注:智能卡嵌入式软件也可独立成为受测件。

检测主体和客体

主体

检测主体为检测者和评估者。

客体

检测客体即受测件,它们一般为智能卡芯片、智能卡嵌入软件或智能卡产品。

检测目的

检测目的指为智能卡芯片、嵌入式软件和智能卡产品的设计、生产、应用提供安全性评估的客观依据。

检测依据

检测依据指依据有关标准及其相关技术文档和委托方确认文件实施检测。

检测内容

检测内容定义

检测内容是关于检测主体对检测客体所进行的实验性技术活动的描述。

检测框架

检测框架是关于检测内容的概念和分类的结构性定义。详见本标准附录C。

检测要素

检测要素分布

检测要素分布在检测的输入、保障条件、输出等方面,见图4。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 检测要素

检测要素:输入

输入项如下:

a) 受测件

<!-- -->
  1. 智能卡芯片。

  2. 智能卡嵌入软件(COS)。

  3. 复合性智能卡产品。

<!-- -->

b) 检测所依据的标准

官方发布的各类标准。

c) 相关技术资料

有关受测件的各类技术资料。

检测要素:保障条件

保障条件如下:

a) 检测设备

检测机构为完成检测活动所需配备的软、硬件设备。可参考文献[3]、[6]。

d) 检测技术

检测者为完成检测活动所需掌握的知识和技能。可参考文献[3]、[6]。

e) 质量控制体系

检测机构为保证检测质量而制定的管理体系。

f) 检测组

检测机构为完成检测任务而建立的组织。

检测要素:输出

输出项如下:

a) 检测报告

检测者在检测活动完成后根据检测结果撰写的提交给委托方或认证机构的报告性文档。

详见9.检测报告。可参考文献[10]。

g) 检测记录

检测者在检测活动中记录检测信息的文档。

检测过程

一个智能卡芯片和嵌入式软件或复合产品智能卡的安全检测评估过程可分为四个阶段,见图5:

阶段一 : 准备与启动。

阶段二 : 安全功能查证。

阶段三 : 渗透性检测。

阶段四 : 检测报告。

  1. 检测过程

安全功能查证

安全功能查证概述

阶段主要任务

安全功能查证的目的是对受测件做出基本的安全功能和生命周期各环节安全保障措施的检查和验证。方法是通过阅读、研究受测件的技术文档和管理文档,寻找、分析、检查、确认设计者已经依据某级别安全功能和安全保障要求设计了相应的安全功能及其安全保障措施,以及这些安全功能和安全保障措施的合理性、合规性、必要性和充分性;并通过检测手段确定这些安全功能设计在受测件上工程实现的有效性和活跃性;在安全保障措施的检查中,检测者还应通过现场检查和实验室检测手段证明受测件样品与同型号量产产品在品质上的一致性,见图6。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 安全功能查证-输入、过程和输出

安全功能查证:输入

输入项如下:

a) 受测件

任务启动阶段委托方向检测方正式交付的受测样本;
<!-- -->

h) 安全功能要求

受测件设计阶段所参考、依据的安全功能要求文件,如PP或其它形式的规范、标准。

i) 安全功能设计文档

受测件开发者制作的ST文件和其它有关设计文件,详见5.3.5.1.b);

j) 检测文档

开发者的安全功能检测文档,详见5.3.5.1.c)。

安全功能查证:方法与技术

方法与技术如下:

a) 文档审查。见5.3.2;

<!-- -->

k) 源代码审查。见5.3.4;

l) 独立性安全功能检测

通过抽取选择甚至完全重复设计者的安全功能检测以证明设计者所设计的安全功能的实现情况。见5.3.5;

m) 现场检查。见5.3.3;

n) 安全功能综合分析

检测者从通过上述几种手段正面理解受测件安全功能的设计者的意图和思路,确认受测件安全功能的实现情况,并与设计者依据的安全功能要求文件进行比对和分析,得出这些安全功能要求(包括安全保障要求)是否得到满足的结论。见5.3.6;

安全功能查证:输出

输出项如下:

a) 安全功能综合分析报告

检测者的过程性中间报告,是检测者审查、分析开发方依据的安全功能要求、开发方的安全功能设计文档和实施源代码审查、现场检查、独立性安全功能检测等检测工作后得出的分析结论。结论应明确指出受测件的安全功能与开发方所声称依据的安全功能要求的一致性程度。

o) 检测记录

检测者在本阶段检测活动中产生的所有记录,应妥善保存并归档。

p) 其它文档

凡有可能成为下阶段输入的文档,均应保存;其它可销毁。

实施说明

虽然某些有关智能卡检测的安全标准中不要求检测方进行安全性功能检测,或者由于得不到委托方的有效资源支持,致使该级别检测所需要进行的文档审查、现场检查、源代码检查、甚至独立性安全功能检测都不能进行,安全功能查证工作仍可实施。例如检测者可根据所掌握的各类信息和相似受测件的检测经验进行脆弱性推论分析,也可以通过搭建模拟运行环境使受测件运行并采集其运行参数和数据来分析其安全功能的存在性和有效性。

实施内容

主要内容

安全功能查证的主要内容,见图7。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 安全功能查证主要内容

文档审查

为保证一定级别检测的质量和效率,检测者需或宜进行白盒检测,因此检测方应该要求委托方提供有关受测件足够的技术文档以支持安全性检测评估。这些文档包括:设计(开发)者的ST文档、低层和高层设计文件、指导性文档、源代码、安全功能强度分析报告和安全功能检测文档。

检测方所需要的技术文档的重要性、详细度和机密性与所进行的安全评估等级和遵守的规范相关。 检测方不应向委托方索取超出所进行的安全评估等级所必需或所依照的标准之外的技术资料。

文档审查的主要输出是文档评审意见,标明文档是否合格;当意见为不合格时,应通知委托方修改或补交,见图8。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 文档审查:输入、输出

现场检查

所谓现场指受测件的设计、开发、生产、初始化和个人化的工作现场。现场检查是检测者确认受测件依据的安全要求文档(如PP)所规定的在生命周期各阶段应有的安全保障要求是否被落实的重要手段。

当进行中的检测评估活动所依据的规范、标准对现场检查有要求并且所计划的评估项目必须在这些现场得到证据时,检测者应要求委托者安排进行现场检查。检查中可对芯片和软件的设计环境、生产环境、中测环境、成测环境、算法灌装环境、重要参数预装环境、密钥管理环境,库房安全以及产品交付过程安全性进行全面考察,确认产品所处的各环节环境中对受测件安全资产及安全性不存在威胁和隐患。

现场检查的具体内容和方法超出本标准范围,请参考文献[8]。

源代码检查

概述

所谓源代码包括智能卡嵌入式软件源代码、专用软件源代码(芯片固件)源代码。

当所进行的检测评估项目所依据的标准和级别要求检测受测件的源代码,或检测方认为阅读受测件源代码能显著提高评估工作的质量和效率时,检测方可向委托方要求提供部分或全部源代码。

源代码检查的目的是为了让检测人员理解设计者的意图和思路以及各项安全功能的具体实现方法,是寻找受测件脆弱点的最有效方法之一,是目前彻底消除软件"后门"隐患的唯一途径,同时可为制定和实施渗透性检测计划提供思路和依据。

源代码检查的输入、输出,见图9。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 源代码检查:输入、输出
源代码格式与检测工具

委托方应使用文本格式将源代码提供给检测方。且源代码必须有详细的注释,以便评估者能够理解代码的各部分所代表的意义以及它们如何运行,此阶段中,若是需要用源代码,则受检方则要提供源代码编译器。

源代码在产品中使用的证据

检测方需要有证据表明委托者提供的源代码确实是在智能卡的送检版本中使用的。这个要求适用于在智能卡中执行和载入的所有类型的代码。

可通过以下两种方法提供证据:

  1. 委托方提供一个声明,说明送检版本的代码是源代码一对一的编译结果,并给出编译工具的名称。

  2. 委托方同时将送检版本的可执行代码提供给检测方,检测方自己将该可执行代码与由所交付的源代码编译后产生的可执行代码进行一致性比较。

独立性安全功能检测

独立性安全功能检测的要素

独立性安全功能检测的要素如下图10。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 独立性安全功能检测:输入、过程和输出
独立性安全功能检测:输入

输入项如下:

a) 受测件

任务启动阶段委托方向检测方正式交付的受测样本。

b) ST

独立性安全功能检测的性质是功能符合性检测,所依据的安全功能设计文档应为开发者的安全目标(ST)文档。在开发者不能提供ST文档的情况下,可参考附件A,或开发者依据PP文件。

q) 检测文档

开发者对受测件进行安全功能检测时制作的文档,包括:检测计划、检测程序描述、预期的检测结果和实际的检测结果等。

r) 其它信息

当委托方不能提供检测文档时,检测方可要求提供其它任何有助于进行安全功能检测的材料或信息。当检测实验室的检测环境缺乏某些设备或工具时,可以请求开发方协助提供,但在使用先要经过仔细鉴定。

独立性安全功能检测:过程

过程要素如下:

a) 检测实施方案

检测者在审查、研究开发者的ST和安全功能检测文档的基础上制定出独立性安全功能检测实施方案。

制定增量检测情况下的独立性安全功能检测方案时,需考虑的关键因素是本次提交检测的受测件是否相比过去检测时增加了新的安全功能或保护措施,抑或对原有的安全功能或保护措施进行了改动,若是,则可侧重考虑将新增加的安全功能列入检测方案;若无,则可根据以前的独立性安全功能检测报告内容选择不再进行独立性安全功能检测。

选择不做独立性安全功能检测的根据应该是检测者能确定:若重复以往的检测用例,只能获得完全一样的结果。为此,检测者可适当做些实验进行证明。

当受测件是复合性智能卡,即具有两个或两个以上开发者(芯片、操作系统和应用)时,检测者应注意分别选取所有各层面的安全功能子集和抽取每个开发者的安全功能检测文档。在检测方案中应将各层面的检测用例明确分开,按照芯片层、操作系统层再到应用层的顺序进行设计和实施。

检测者还可以对所选取的安全功能子集或检测用例子集加以补充,增加自己的检测用例。补充和增加的前提是检测者对受测件的设计有深入理解,并对其安全功能有充分分析的基础上,或者是出于某种特定的应用要求。

s) 抽样

检测者应检测受测件的一个安全功能子集;并且评估者应抽样执行开发者的安全功能检测文档里的检测用例,以确认受测件的安全功能按照所设计的安全规范运行并且验证开发者的检测结果。

检测者也可以完全重复开发者的安全功能检测,亦即将开发者的安全功能检测文档的所有检测用例列入自己的检测方案。

t) 检测实施

独立性安全功能检测由检测方独立实施,除了基于"改进设计"需求而进行的检测外,委托方或开发方的人员不得参与可能对检测结论产生影响的任何活动。

实施检测时应按检测方案对复合性受测件逐层、逐项进行检测,并分别记录。

检测方应在自己的实验室内完成所有的独立性安全功能检测项目。

独立性安全功能检测:输出

输出项如下:

a) 报告

检测方应根据检测方案和检测记录独立完成独立性安全功能检测报告。

u) 检测记录

检测机构应通过自己的质量保障体系和技术手段保证检测记录的严谨、详细和真实。

安全功能强度分析

开发者应根据安全目标(ST)中要求的安全机制对受测件进行安全功能强度分析,证明其达到了PP和ST中申明的最低安全功能强度要求。

检测者应在审查、分析开发方安全功能强度分析文档和独立性安全功能检测的基础上确认或质疑开发方的安全功能强度分析结论,得出自己的分析结论。

具体分析方法和规则超出本标准范围,请参考文献[8]。

渗透性检测

渗透性检测概述

阶段目标和工作内容

检测者进行渗透性检测的目的是通过实施模拟攻击者行为的试验活动,检验受测件的安全功能强度亦即对攻击行为的抵抗力强度。

此阶段的主要工作内容是:检测者在对受测件进行安全功能综合分析和脆弱性分析的基础上,充分考虑到当下已知的针对智能卡的攻击方法(参考但不限于附录B的内容)和检测实验室的资源情况,独立制定出符合评估等级标准要求的渗透性检测计划,并实行之。

这个阶段的工作质量对智能卡安全检测评估项目的结果至关重要,检测方应向委托方证明自身合格的能力和合法的资质。

渗透性检测的要素,见图11.

智能卡通用安全检测指南 思度文库,安全,网络

  1. 渗透性检测-输入;方法 工具 技术和输出

渗透性检测:输入

输入项如下:

a) 受测件

智能卡芯片、软件或智能卡产品。
<!-- -->

v) 安全功能要求文档

受测件安全功能设计时所依据的,标明了明确的安全功能强度要求(或脆弱性要求)的文档,如PP文件。

w) 脆弱性分析文档

包括开发者提供的脆弱性分析文档和检测者独立做出的脆弱性分析文档(探查阶段输出)。

x) 安全功能强度分析报告

检测者在强度探查阶段的输出。

y) 已知攻击方法

参考附录B和文献\[3\],并关注当下有关智能卡攻击手段和技术的最新资讯。

渗透性检测:方法、工具与技术

方法、工具与技术如下:

a. 检测方案

基于所有输入项和自身资源、能力而制定的具体检测计划。

b)渗透性检测,见6.4。

渗透性检测:输出

输出项如下:

a) 渗透性检测报告

检测者独立完成的渗透性检测的结果报告。可作为下阶段的输入。

b) 检测记录

检测者独立完成的渗透性检测的过程记录。可作为下阶段的输入。

c) 其它文档

在渗透性检测过程中产生的其它正式或非正式文件,如检测者独立做出的脆弱性分析报告。

渗透性检测准备

抵抗力要求

委托方和评估方应明确对受测件的抵抗力要求。

在选择某个安全级别-如EAL4±评估标准时,委托方和评估方应明白国标与国际组织相应标准之间的对抵抗力要求的区别(可参考附录F)。选择其它标准的安全评估、检测项目时,若该标准有明确的抵抗力指标,应按其规定设计渗透性检测方案;若不存在明确的抵抗力指标,应参考本标准附录F。

脆弱性分析

开发者应做受测件的脆弱性分析,并将所标识的脆弱性分布文档化,如将脆弱点列表。

评估者应在开发者脆弱性分析的基础上进行渗透性检测,以证明开发者的结论正确与否。

评估者还应独立地对受测件进行脆弱性分析,旨在发现受测件是否存在尚未被开发者标志的可能被攻击者利用的脆弱性。

对复合性受测件的脆弱性分析宜从芯片到系统软件再到应用逐层顺序进行,并对结果进行综合考虑和整体分析。

脆弱性分析的具体实施方法不在本标准描述范围之内,请参考文献[8]。

追加受测件

受测件在启动阶段应已被交付,见附件G.4.3.3受测件交付。但在本阶段,特别是侵入式检测时,受测件可能会大量损坏,若考虑需要追加受测件,检测者可向委托者提出要求。

检测资源

检测者应独立完成对检测资源的调配和部署。

渗透性检测实施方案

制定方案的基础

渗透性检测方案的基础是所依据标准的抵抗力要求和检测者独立对受测件所做的脆弱性分析文档。

制定方案的原则

检测方案应由检测小组独立制定,委托方不宜参与。

检测者主要根据受测件本身的特点和所做的评估等级对其抵抗力的要求(附录F)而制定检测方案。但不宜为仅针对同一等级抵抗力而不考虑受测件的差异而制定一套一成不变的检测方案。

同时检测者必须考虑当下所有已知的攻击智能卡的手段和技术,为此可参考但不限于附录B中的攻击方法列表。

方案制定者应该以攻击者的角度考虑问题,攻击的目标一般直指受测件的安全资产,也可以是某个或某些安全功能。

检测者又不完全等同于攻击者,攻击目标未达成并不等于检测失败,反而可能是证实了受测件应具有的抵抗力(附录F),也即达到了检测的目的。因此制定检测方案时要注意某项攻击应在什么时间、什么状态下结束。

方案应保持一定的灵活性,因为在攻击的过程中,可能会遭遇到未预料的结果;也可能某项攻击只能获得一个中间结果,但这个中间结果可成为另一种攻击的起点或阶梯,这些都需要随时修改或补充原方案。方案的执行与修改将交替进行。

方案制定者还应考虑检测者所掌握的资源情况和估算检测成本。

增量检测情况

检测者要参考该受测件以往的检测记录和报告,制定方案时应着重挑选以往攻击成功的项目再次检测,或采用自前次检测以来新发展的攻击技术进行检测。

渗透性检测实施

独立实施

渗透性检测由检测方独立实施,除了基于"改进设计"需求而进行的检测外,委托方或开发方的人员不得参与可能对检测结论产生影响的任何活动。

实施过程

渗透性检测的实施过程更像是一个研究、探索的过程。检测方案一般具有明确的目标和路径,但一个真正的攻击者为了达成目的可能并不在乎选择什么路径。检测者也应模仿攻击者,在方案的框架下灵活执行,根据受测件当下的具体反应采取对应措施,修改攻击路径或方法。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 渗透性检测过程

检测记录

检测机构应通过自己的质量保障体系和技术手段保证检测记录严谨、详细、真实。

检测地点

检测方宜在独立、可控实验室完成渗透性检测。

渗透性检测报告

检测方应根据检测方案和检测记录独立完成渗透性检测报告。

检测报告

概述

实验室在完成检测任务后应根据检测和评估的结果写出最终的格式化的检测报告,并提交委托方或认证机构。

报告的格式和内容原则上由认证机构和检测机构共同制定。

本章根据参考文献[10],将CC推荐的报告模板进行摘要介绍。

报告主要内容

文档和项目鉴别信息

报告封面和扉页信息

报告的封面和扉页信息见表1。

  1. 报告封面与扉页
正文中的概括性介绍信息

可如下:

  1. 文档目的

  2. 产品鉴定

  3. 评估结果和鉴定概要

  4. 联系人

  5. 评估者

  6. 发起者和研发者

  7. 认证机构

检测对象主要信息

主要信息可如下:

  1. 对象平台设计

    • 通用概念

    • 受测件结构描述

  2. 被评估的架构和设置

    • 受测件边界

    • 受测件结构

    • 受测件鉴定

    • 受测件装置,产生和启动程序

  3. 交付过程和数据交换

    • 交付过程介绍

    • 交付过程的鉴定

    • 受测件制造商和内置软件研发者间的交付

    • 受测件制造商到智能卡制造商的交付

渗透性检测内容和结果

  1. 攻击场景(攻击场景编号-如AS-X or DAP-DES)
<!-- -->
  1. 攻击步骤。

  2. 标识所使用的方法,描述得到的效果。

  3. 数据和历史记录。

  4. 检测执行日期。监视周期或再评估后ERT的更新,检测活动的历史记录应该详细:新的分析方法,技术手段的演变,新检测或加强版的检测都应该被详细描述。

<!-- -->
  1. 攻击得分表
<!-- -->
  1. 重复攻击场景

攻击列表参考附件B和文献[3]的最新版本。附件B的列表是可被认为是最低攻击配置组合。

(按照上面的模式逐一描绘所有的攻击场景)。

  1. 总结:

给出一个表格,列入脆弱点、相关的攻击和涉及的资产和状态。

示例:下面的表格总结了所进行的渗透性检测和检测的结果:

  1. 检测结果总表

    图例说明:

<!-- -->
  1. OK:在没有任何防护措施时OK;

  2. OK-H:具有硬件防护措施(在指导栏中提供精确的参考索引)时OK;

  3. OK-S:附加软件防护措施(在指导栏中提供精确的参考索引)时OK。

<!-- -->
  1. 总结和建议

    • 总结

    • 建议

附件

(内容略)

关于攻击场景的描述尺度

概述

参与智能卡安全性检测的各方均应清楚渗透性检测技术和过程的泄露会对其他方和社会带来的安全威胁,因此各方均有责任和义务保守检测活动的细节信息不被扩散。检测方在撰写检测报告时首先需要慎重考虑。

检测报告中的尺度把握

检测方应根据报告接受者的身份决定检测报告中对渗透性检测场景的细节把握尺度。

接受者为认证机构或实验室技术管理者

检测方可详细描述攻击步骤和技术,以证明检测活动的质量。

接受者为受测件的开发者

检测方可酌情描述攻击步骤和技术,以利于开发者改进设计。

接受者为受测件用户(如卡商)、应用系统业主、招标商、学术研究者、系统用户

检测方不宜详细描述攻击步骤和技术。

多个接受者

若出现需要同时给委托方和认证机构出报告的情况时,检测方可出具两份(类)报告:一份(类)为检测报告,着重检测结果的描述,递交给委托方;另一份(类)为检测技术报告,着重检测过程的描述,递交认证机构和实验室技术档案部门。

A.

<!-- -->

A.

<!-- -->

A. (资料性附录)
智能卡安全功能集

A.1 智能卡硬件安全功能

A.1.1 芯片序列号保护功能

芯片序列号是一个芯片区别于其他芯片的标识,当其被用于安全目的时,有必要对其提出安全要求,以防止芯片序列号被非法使用以及篡改。

智能卡安全功能应该控制对芯片序列号的访问,并具有序列号硬件保护电路,以抵抗或阻止篡改芯片序列号的攻击。

A.1.2 芯片序列号唯一性保证

制造者应具有合理、科学的方法产生合乎标准的芯片序列号序列,并有管理机制保证在芯片出厂时,每一个序列号对应一颗芯片,且每颗芯片具有唯一的序列号。芯片应该具备证明其序列号具备唯一性的安全功能。

A.1.3 内部总线安全功能

内部总线是IC卡芯片内部信息的重要传输通路,物理连接芯片内部各个重要模块。保护总线安全,对于保护秘密信息,维护IC卡安全性具有重要意义。

芯片内部总线应具有防物理攻击和防探测安全功能,要求总线具备抵抗替换、篡改、以及反向工程等侵入式攻击的能力,以及具备抵抗窃听、探测等非侵入式攻击的能力。

A.1.4 存储器安全功能

芯片内部存储器包括RAM,ROM,EEPROM,FLASH等,一般的RAM内部数据掉电丢失,ROM,EEPROM或FLASH掉电不丢失,用于存储一些系统数据和用户数据。

芯片硬件应具有存储器内部数据保护和物理保护安全功能,要求存储器能够防止数据被非法读出,并且具有防篡改和探测的能力。

A.1.5 攻击探测

芯片硬件应有传感器或相应装置,能够探测到外部的攻击-包括各种主动的侵入和半侵入攻击,要求对存储器和总线的篡改、替换、探测等攻击能够检测并记录,并且要求智能卡安全功能在检测到攻击时,做出相应的行动。

A.1.6 I/O端口访问控制

芯片硬件应有安全功能保证任何通过I/O端口访问芯片的资源(存储器、算法硬件、随机数发生器等)和权限(读、写、改、用)的行为是受控的。

A.1.7 I/O端口安全功能

芯片硬件应有安全功能保护芯片的资源(存储器、算法硬件、随机数发生器等等)不被任何人或进程通过I/O端口非法访问,在危险无法避免的环境中,阻止或抵抗通过非法手段从I/O接口获取敏感信息。

A.1.8 算法硬件一致性保证

芯片应保证密码算法和物理硬件一致性,要求密码算法硬件完整地实现密码算法,并完成算法的所有功能。

A.1.9 密码算法硬件物理保护

芯片应具有保证算法模块正确运行并保护该模块不被物理探测和改动的功能。

A.2 智能卡软件安全功能

A.2.1 系统软件安全性

A.2.1.1 操作系统完整性保证

操作系统本身应具有保证系统所用运行代码在卡片上正确装载、存储和执行,不被遗漏、篡改或跨越的功能。

A.2.1.2 操作指令防篡改功能

操作指令本身带有校验功能部分,防止指令被篡改。比如指令带有数据长度信息、MAC校验、奇偶校验等功能部分。

操作系统应能够辨认被篡改的指令,拒绝执行并做出适当回应。

A.2.1.3 用户身份鉴别功能

操作系统应具有对用户的认证功能,以识别授权用户和非授权用户。认证的结果可以以状态机或其它安全寄存器的状态变化进行标记,以限制和控制该用户的访问权限。

A.2.1.4 操作系统指令管理

智能卡操作系统应该具有指令权限管理功能,要求对指令进行权限划分,用户只能使用授权范围内的指令。当智能卡安全功能检测到未授权的指令使用时,采取相应的行动。

A.2.1.5 访问控制安全功能

操作系统应支持多级别的对安全资产的访问权限的授予和通过认证而获取的安全机制。在实际应用中,卡中一定存在重要性不同或安全等级不同的信息类别,要求用户也具有不同级别的访问权限。操作系统要具有将各安全级别的信息设置不同级别的访问权限,对不同级别的授权用户进行该级别密钥或PIN码认证而给予该级别权限,拒绝未通过认证者访问的安全功能。

A.2.1.6 信息流控制安全功能

智能卡安全功能应该监控智能卡内所有数据以及智能卡与外界之间的数据的流向,实现对信息流的完全控制。智能卡安全策略中应该包括信息流控制策略部分,并确定其控制范围。智能卡安全功能根据信息流控制策略来监控信息的流向,通常不允许改变信息安全属性的操作。信息流控制策略通常包含两类要求:一是针对通用的信息流功能问题,二是针对非法信息流的控制问题。

A.2.2 应用软件安全功能检测

A.2.2.1 应用软件可信度保证

有软件措施保证应用软件是可信的。应用软件能够完善的具备既定的功能及相应的安全措施,而且不支持任何非既定功能。

对于开放性操作系统平台,对所有应用程序应有一套严谨完备的审查、授权、认证、加载、安装、验证、运行的安全机制,防止任何非授权应用的加载和运行。

A.2.2.2 应用软件完整性保证

操作系统和应用软件都应该有安全功能保证应用软件是完整的,不允许有设计功能缺失,且不能被篡改。

A.2.2.3 应用软件安全性保证

智能卡应用软件应当具有处理各种错误的能力,并且具有预防和故障后恢复的措施。

A.3 智能卡数据安全功能

A.3.1 用户数据保护

智能卡用户数据是智能卡进行各种操作、完成各种功能的必要信息,用户数据的安全性是智能卡安全功能保护的首要任务。用户数据保护安全功能对用户数据的有效性、完整性,以及输入输出规则做出了详细规定,以确保用户数据的安全性。

A.3.2 安全功能数据保护

安全功能数据是智能卡安全功能在进行安全功能策略决策时使用的信息。安全功能数据一般包括安全属性、鉴别数据以及访问控制表等。安全功能数据的可用性对于安全功能的正确执行必不可少,而安全功能数据的保密性对于保证智能卡安全性至关重要。安全功能数据保护安全功能对安全功能数据的真实性、完整性和保密性提出了要求,并且要求安全功能数据具有防篡改功能。

A.4 智能卡状态机安全功能

A.4.1 智能卡状态列表管理

智能卡状态机的状态列表的完整性和确定性对于安全正确地使用智能卡十分重要。智能卡状态列表管理安全功能对状态列表管理作了以下要求:包括状态完整性保证、状态确定性保证,以及状态列表的添加和删除操作的管理。

A.4.2 智能卡状态转换管理

状态机中状态之间的相互转换取决于当前状态与输入指令的共同作用,为了保证状态转换的正确性,必须对当前状态标识和输入指令进行验证,满足状态转换条件的就让智能卡进入下一个状态,否则,按照预先设置好的规则处理。智能卡状态转换管理安全功能对状态转换管理做出了以下要求:状态标识管理、状态标识和指令鉴别功能和状态转换操作。保证智能卡状态的正确转换是安全使用智能卡的基础。

A.5 智能卡管理安全功能

A.5.1 智能卡完整性保证

智能卡是由硬件、软件、固件组成的整体,为了保证智能卡的安全使用,必须保证所有的部分都是完整的,包括存储数据以及安全功能的完整性,这就要求智能卡安全功能够自动检测智能卡的完整性。智能卡安全功能还应该保证能够对智能卡进行反转操作,撤销上一次或一系列操作,并使智能卡返回到某个以前的已知状态。对于某些突发情况,可能会扰乱智能卡的当前状态,并导致运行中断,要求智能卡安全功能具有在错误发生后能在不减弱保护的情况下恢复的能力。智能卡完整性保证安全功能包括:智能卡自检安全功能、智能卡反转操作安全功能和智能卡恢复安全功能。

A.5.2 智能卡安全功能管理

智能卡的安全性取决于安全策略的覆盖性,只有确保安全策略本身没有安全漏洞,并且覆盖到智能卡的所有部分和所有操作,才能确保智能卡的安全性。对于具体实施安全策略的智能卡安全功能来说,要求其真实准确地反映安全策略,并且没有任何遗漏,安全功能的完整性对于智能卡安全尤为重要。智能卡安全功能应该允许授权用户控制安全功能中功能的管理,并且要求安全功能能够抵抗未授权的物理访问和物理篡改。智能卡安全功能管理安全功能包括安全策略覆盖性保证、安全功能完整性保证、安全功能行为管理和安全属性管理。

A.5.3 智能卡密钥管理

智能卡安全功能可以利用密码功能来满足一些高级安全目的,这些功能包括(但不限于):身份认证、标识与鉴别、数据加密等。密码运算的设备可以用硬件、软件或固件来实现,在智能卡的硬件与软件安全功能部分对密码运算设备进行了安全功能定义。为了保证密码运算的功能正确和安全性,密钥的管理至关重要。密钥在其整个生存期内都必须进行管理,智能卡密钥管理安全功能对密钥的产生、分配、访问和销毁做出了规定。

A.5.4 智能卡用户管理

通过对智能卡用户赋予不同的角色,用户就能够对智能卡进行各种操作,角色是预先定义的一组规则,用户根据其授权角色的权限大小被附加了不同的安全级别。智能卡安全功能应该能够对用户安全属性进行维护,从而保证智能卡的安全性不会因为用户进行不符合自己身份的操作而降低。智能卡用户管理是保证智能卡得到正确应用的基础,智能卡用户管理对用户安全属性以及用户与角色之间的关联做出了相应的规定,确保智能卡安全功能能够在用户对智能卡进行操作前对其进行标识和鉴别。

A.5.5 智能卡安全审查

智能卡安全审查包括识别、记录、存储和分析那些与安全相关活动(即由智能卡安全策略控制的活动)有关的信息。检查审查记录结果可以用来判断发生了哪些与智能卡安全相关的活动以及哪个用户要对这些活动负责。智能卡安全审查安全功能包括异常安全警告、安全审查数据产生、安全审查分析和安全审查记录管理。

B.

<!-- -->

B.

<!-- -->

B. (资料性附录)
智能卡攻击方法

B.1 芯片层

B.1.1 侵入攻击类

概述

侵入式攻击也称物理攻击或物理分析,方法是用化学或物理方法去除芯片的表层封装,然后用精密仪器对芯片内部的功能单元和电路进行探测或改动,其目的如下:

1)确定芯片的内部结构及芯片各部件内部运行的详细信息和各部件间的联系;

2) 在未经授权情况下获取敏感信息;

3)改变芯片行为。

根据这三个目标及攻击手段,侵入式攻击类又可划分为逆向工程(观测)、物理探测和物理改动三个子类。

物理逆向工程

物理逆向工程的目的是确定芯片的内部结构及芯片各部件内部运行的详细信息和各部件间的联系。逆向工程将会对芯片造成破坏,而且一般不能直接得到如密钥一类的敏感信息,其最重要的功能是为实施进一步的物理攻击进行准备。

物理探测。

物理探测的目的是(在未经授权情况下)获取保存在芯片上的敏感信息,常与物理改动的方法一并使用。

物理改动

物理改动的目的是通过改变芯片内部的线路或功能单元,让电路出现新的行为。进一步的目的可以是获取敏感信息,因此常与物理探测同时进行。物理探测和物理改动攻击的实现需要芯片在封装打开后仍保持运行,因此需要更复杂的仪器和掌握与对象相关的更为精确的知识和技能。

B.1.2 物理探测和物理改动的攻击项举例

使用物理方法可进行如下攻击项目:

  1. 总线探针检测

  2. 传感器拆除探针检测

  3. 读ROM

  4. 读EEPROM

  5. 读FLASH

  6. FIB电路重构

  7. 随机数发生器RNG攻击

  8. 返回检测模式

B.1.3 半侵入攻击类

B.1.3.1 概述

半侵入攻击时一般需要将芯片的封装打开一个窗口,并去除屏蔽层和钝化层直至暴露芯片表面的电路层,但一般不使用外部电子设备与芯片内部电路任何部分进行直接的物理接触。半侵入的目的一是为了攻击者能用肉眼或借助显微设备对芯片内部的表面进行直接观测,以获得芯片内部的一些基本信息;二是可对运行中的芯片进行故障引入,使进行加解密或执行其它指令的结果出错,然后攻击者通过对应有的正确结果和获得的错误结果进行比较并结合密码算法进行专业分析(如DFA分析),可能达到破解密钥的目的。

并非所有的故障引入方法都需要打开芯片封装,但是故障产生后的分析方法大同小异。本文本中将它们与极限环境攻击都归于"半侵入"类,因为任何故障的注入和环境的影响对智能卡来说都具有"侵入"的含义。

半侵入类的攻击方法还可分为故障引入和极限环境两个子类。

B.1.3.2 故障引入

智能卡芯片层的故障引入攻击可有以下项目:

  1. 激光错误引入

  2. 电压端错误引入

对接触式智能卡还可细分为:

  • 电压端电位值变化

  • 电压端毛刺引入

  1. 时钟端子错误引入

还可细分为:

  • 时钟端电压错误引入

  • 时钟端频率错误引入

  • 时钟端毛刺引入

    B.1.3.3 极限环境攻击

令智能卡运行于超出于正常工作所必需的环境条件下,尝试非法访问智能卡的各种安全资产。与各种故障注入方法比,极限环境攻击不是一种在时间或位置上需要精确定位的攻击,但路径更为直接。

可能的攻击项目有:

  1. 电磁干扰

  2. 极限温度

  3. 静电干扰

  4. 随机数发生器(RNG)错误引入

B.1.4 非侵入攻击类

B.1.4.1 非侵入攻击的一般特性

非侵入攻击在不打开芯片的封装,不对卡片和芯片产生任何物理损害的情况下,通过采集、测量智能卡运行时所消耗或产生的某些物理量,然后通过对采集样本进行相关的算法特性分析和数据分析获取敏感信息。

也有实验室在做电磁分析时先在芯片的底部封装上打开一个"窗口",让采集电磁信号的探头接触到内部硅片层上。但这样做的目的是为了采集到更好的电磁信号,不发生任何侵入的信号,所以仍把其算作非侵入攻击。

B.1.4.2 非侵入攻击的项目

国际标准ISO/IEC 19790:2012. 中定义了以下8项非侵入攻击(见文献[10]):

  1. Simple Power Analysis (SPA):简单能量(能耗、功耗)分析

  2. Simple Electro-Magnetic Analysis (SEMA):简单电磁分析

  3. Differential Power Analysis (DPA):差分能量(能耗、功耗)分析

  4. Differential Electro-Magnetic Analysis (DEMA):差分电磁分析

  5. Correlation Power Analysis (CPA):关联能量(能耗、功耗)分析

  6. Partitioning Power Analysis (PPA):分割(能耗、功耗)分析

  7. Mutual Information Analysis (MIA):交互信息分析

  8. Timing Analysis (TA):时间(计时)分析

其中,SPA和SEMA攻击方法中还包括了一些扩展的方法,如所谓的模板攻击;而DPA和DEMA中还包括诸如高阶能量分析等扩展方法。

B.2 软件层

对智能卡软件层面的攻击可能发生在COS层也可能发生在应用层,具体项目可有:

  1. 初始化代码攻击

  2. 存储器操作代码攻击

  3. 密码运算操作代码

  4. 软件随机数发生器攻击

  5. 重放攻击

  6. 缓存溢出或堆栈溢出

  7. 异常指令响应探测

  8. 直接协议攻击

  9. 绕过认证机制或访问控制机制

  10. JAVA卡恶意应用

  11. 接力攻击

  12. 中间人攻击

  13. 利用检测模式

<!-- -->

C.

<!-- -->

C.

<!-- -->

C. (资料性附录)
智能卡安全检测框架

C.1 种

种规定了检测的基本方法,是智能卡安全检测框架的最高层次。智能卡安全检测分为两种:安全功能检测和渗透性检测。

  1. 安全功能检测

安全功能检测是检测者通过检测开发者提供的一个安全功能子集以确认受测件是符合安全功能规范的,抽样执行开发者的检测文档中的检测用例以验证开发者的检测结果的检测过程。

  1. 渗透性检测

渗透性检测是检测者通过模拟攻击者的行为和手段,对受测件进行攻击性试验,检验受测件的抵抗能力,证实受测件安全功能的有效性和完备性的检测过程。

C.2 层

检测层包含了进行于受测件同一逻辑层面上的所有检测。智能卡安全检测层对应智能卡模型的三个逻辑层面,即:芯片层、嵌入软件(COS)层和应用层。

C.3 类

类指检测层中具有相同物理检测界面的检测项。检测的类也可称为"式",如智能卡芯片层的渗透性检测分为三类:侵入式、半侵入式和非侵入式。

C.4 项

检测项是所在层(类)中的一个独立的检测标题的检测用例集合,具有明确的检测目标和预期结果。一个项可分属于不同的类。

C.5 例

C.5.1 例定义

检测例(Test
Case)亦称检测用例,是一个(最小的)完整而独立的 检测过程。每个检测例具有独有的进程、步骤并产生结果,目标指向受测件一个(或一组)具体的安全资产。一例检测只能属于一个项和一个类。

C.5.2 检测例的模板

检测(用)例一般是检测计划或方案中的对检测活动描述的最小单元,因此检测例的定义与创建是检测活动的基础。具体做法可参考以下模板:

  1. 检测用例模板

C.6 步骤

检测步骤是检测进程中一个基本状态转换,可视为检测活动的最小单位。一组有序的检测步骤集合构成一个完整的检测(用)例。

C.7 检测框架结构图例

下面是一个渗透性种芯片层的检测框架图图例,在此图例中并未画出所有的检测项。

智能卡通用安全检测指南 思度文库,安全,网络

  1. 渗透性芯片层检测框架示例图
<!-- -->

D.

<!-- -->

D.

<!-- -->

D. (资料性附录)
主题 检测大纲文件结构举例

目录

D.1 检测对象

D.2 检测标准

D.3 检测环境

D.4 检测框架计划

可参考C.7

D.4.1 总体框架图

参考图C.1

D.4.2 检测层

参考C.2

D.4.3 检测类

D.4.3.1 定义

参考C.3

D.4.3.2 分类描述

D.4.3.2.1 侵入式攻击

侵入式攻击要求打开卡片封装,并使芯片表面直接暴露在外。侵入式攻击通常与电路发生直接物理接触,或对硬件电路进行物理修改等。进行侵入式攻击通常需要较先进精密程度较高的设备。

D.4.3.2.2 半侵入式攻击

半侵入式攻击同样要求打开卡片封装,并使芯片表面直接暴露在外。攻击者可通过使用光操作或对芯片表面电磁场测量等方式实现攻击,通常不与硬件电路发生直接物理接触。半侵入式攻击对设备的要求低于侵入式攻击。

D.4.3.2.3 非侵入式攻击

非侵入式攻击不要求打开卡片封装,并且卡片能够正常运行。这种攻击通过利用芯片运行过程中产生的旁路信息来实现。非侵入式攻击的主要方法为旁路攻击。

D.4.4 检测项

D.4.4.1 检测项定义

参考C.4

D.4.4.2 检测项列表

D.4.4.3 必要性与完备性论证

D.4.4.3.1 检测依据

XX智能卡芯片安全要求

D.4.4.3.2 检测项与安全要求的对应关系

D.4.5 检测用例

D.4.5.1 检测用例定义

见附录C.5

D.4.5.2 实验室 检测用例集合

针对XX标准的安全要求和目前已知并掌握的攻击方法,实验室制定了XX个检测用例。详见D.*5 *检测用例集合。

D.4.5.3 检测步骤

见附录C.6

D.5 主题 检测用例集合

D.5.1 说明

以下用例集合是本实验室根据自身设备、技术、能力与经验针对XX标准对芯片层的安全要求和当下已知的攻击方法而制定的。这个集合并非详尽、完备或必备,仅为解决方案可选用例。而且,随着攻击技术的不断发展,用例集合也将不断更新。

D.5.2 检测用例集合

D.5.2.1 MCC01芯片准备

    1. MCC01-1半侵入-芯片准备- 1

      (其它略)

D.6 评分规则

  1. (假设采取与应用相关的加权评分制)

D.6.1 加权评分制

D.6.2 分值计算公式

D.6.3 检测用例的评分规则

D.6.4 类权重

D.6.5 总分计算

D.7 检测报告

  1. 实验室在完成检测任务后应根据检测和评估的结果写出最终的格式化的检测报告,并提交委托方。(见第7章)

D.7.1 报告格式

D.7.2 报告主要内容

D.7.2.1 各方主要信息

D.7.2.2 检测对象主要信息

D.7.2.3 检测条件信息

D.7.2.4 检测内容

D.7.2.5 检测评估结论

D.7.3 总结与建议

D.7.3.1 总结

D.7.3.2 建议

E.

<!-- -->

E.

<!-- -->

E. (资料性附录)
定制化服务的 检测方案模板

E.1 概述

当某客户有意委托实验室按照自己提出的要求或标准进行安全性检测时,实验室应根据客户的需求和目标为检测活动制定具体的检测方案。并将方案提交予客户,经双方讨论和修改后定稿。实验室在检测活动启动后将严格按照检测方案执行。

E.2 方案主要内容

E.2.1 检测对象信息

检测者应至少记录如下信息:

  1. 卡片型号

  2. 芯片型号

  3. COS型号、版本号

  4. 芯片设计商、制造商

  5. 卡片制造商

  6. 发卡商

  7. 样本个数

  8. 资料目录

  9. 样本编号

  10. 特殊要求

等等。

E.2.2 检测方基本信息

实验室应在方案中给出本次检测的基本信息:

  1. 检测目标

  2. 检测依据

  3. 检测环境

  4. 检测时间

  5. 检测人员

等等。

E.2.3 检测内容

实验室应在方案中给出明确的检测内容计划。实验室应根据委托方的目标和需求,以及对TOE的预审中得到的判断,从自己的检测用例集合中选取一个子集制定检测计划。在特殊情况下,可开发新的检测用例。

E.2.4 检测方案用例列表

实验室应将有关检测项和检测用例的详细信息制作成表格文档作为方案附件附在检测方案后。

E.2.5 结果评估标准

实验室应将检测方案的明确的结果评估标准或规则列入方案。如果采用打分的方法,则应将量化打分的公式和权重计算公式等量化规则写入方案。

E.2.6 对委托方的要求

实验室应在方案中写明为支持检测取得高质量和高效率的结果,委托方应承担的责任和义务。委托方应提供给检测方符合检测要求的样本(质量和数量),以及有关这些样本的详实技术资料。

E.2.7 保密声明

检测样本的技术资料可能会涉及开发者或制造者的机密。检测方在方案中应进行保密内容声明。 检测方和委托方还可就此签订专门的保密协议。

E.2.8 通报和会商

实验室应根据委托方的要求和检测任务的性质确定在检测过程中与委托方的沟通方案,包括定期或不定期的通报和会商制度。

F.

<!-- -->

F.

<!-- -->

F. (资料性附录)
实验室准备与启动

F.1 概述

智能卡安全检测的准备与启动阶段可继续细分为实验室准备阶段、项目准备阶段和任务启动阶段,见图F.1。

智能卡通用安全检测指南 思度文库,安全,网络

图F.1 准备与启动阶段的3个子阶段

  1. 实验室准备是检测机构自身建设和发展的过程。实验室准备阶段对于检测机构来说既是一个过程又是一个常备状态。它从检测机构的建设之日开始,之后便成为机构的常态。

  2. 项目准备是检测机构在实验室准备的基础上,面向客户需求,对自身资源的整合、分配的过程。在具体检测任务启动之前,安全检测实验室应时刻做着检测项目的准备工作。

  3. 任务启动是一个具体的检测项目的开始,其的标志是委托方向检测方正式表达了向其委托检测某具体受测件的意愿。

F.2 实验室准备

F.2.1 实验室准备内容

实验室准备的目的是建立适用的检测环境和质量控制体系。

智能卡通用安全检测指南 思度文库,安全,网络

图F.2实验室准备:输入、准备过程和输出

F.2.2 实验室准备:输入

输入项如下:

a) 目标

实验室的建设目标和发展目标。实验室在规划设计阶段就应确立自身的功能和性能建设目标并在建成运行后不断修正自己的发展方向和升级目标。参考文献[2]、[3]、[6]。

z) 标准

检测/校准实验室的通用要求,即ISO/IEC 17025。

安全检测实验室还应参考文献[6]。

a) 资金

实验室的建设资金和后续发展资金。

b) 人力

实验室的人力资源建设,参考文献[6]。

F.2.3 实验室准备:过程

过程要素如下:

a) 技术整合

实验室将购置或研发的设备、技术和工具整合成专业化的检测平台。

c) 对象研究

实验室对检测对象基础原理、演变历史、当前状态和发展趋势的分析、研究。

d) 建立规程

实验室依据检测对象、检测环境、检测标准而制定的规范化检测操作规程。

F.2.4 实验室准备:输出

输出项如下:

a) 检测环境

检测软、硬件平台,工具和实验室的支撑环境。

e) 质量管理体系

包括:实验室质量管理手册、程序文件、作业指导书、质量计划、质量和技术记录、外来文件、档案文件和网络文件等。

F.3 项目准备

F.3.1 项目准备内容

项目准备是对实验室准备输出的进一步归纳和细化,面向需求对检测能力进行整合、分配和管理,建立规范化的作业细则。

检测机构为满足客户需求而制定的项目服务计划可分两种,一种是标准化服务,另一种是定制化服务。标准化服务计划应在项目准备阶段完成,定制化服务计划则要在任务启动阶段完成。

智能卡通用安全检测指南 思度文库,安全,网络

图F.3项目准备 输入、输出

F.3.2 项目准备:输入

输入项如下:

a) 需求分析

对指定受测件的检测需求。

f) 适用标准

所有可能作为检测依据的标准集合。

g) 资源清单

满足检测需要的设备资源、人力资源和技术资源。

F.3.3 项目准备:输出

输出项如下:

a) 检测小组

执行某一个类别或主题检测的项目组织。

h) 分级检测框架

分级检测框架是提供给用户根据应用系统对产品的不同安全等级要求而选择的分级别检测计
划文档。

i) 主题检测大纲

主题检测是根据某一类(如某行业)需求,依据特定标准而制定的以某个主题为内容的测试活动。主题检测也是检测机构向社会提供的标准化服务项目。主题检测大纲是主题检测活动纲领性、指导性文件,是对检测操作过程的技术规范,是对检测活动中诸概念的整合。

主题检测大纲的文件结构和内容可参考附件D。

j) 其它文档

其它根据客户需求而提供的检测定制化服务的文档,如:操作规范、检测指导、模板记录、检测用例集等。

F.4 任务启动

F.4.1 确定框架

F.4.1.1 工作内容

任务启动阶段对于检测机构提供的定制化服务和标准化服务都是必不可少的,但是工作内容有所不同,本标准对此不做严格区分。

在任务启动阶段,检测(评估)者可与委托者讨论检测(评估)的目的、需求、性质以及所需要的资源,然后确定检测的内容与边界以及一个概括性的检测项目内容列表,形成框架检测方案,见图F.4。检测方案的格式与内容可参考附件D

智能卡通用安全检测指南 思度文库,安全,网络

图F.4 检测内容与边界

输入项如下:

a) 输入:检测目的

委托方由于不同的需求而产生了不同的检测目的。

委托方的检测需求可有以下几类:

  1. 获取某个国家标准或行业标准抑或企业标准相关的资质或等级证书;

  2. 某采购或工程项目的招投标入围或评比检测;

  3. 委托方是受测件的设计者、开发者,希望增强改进自己产品的设计;

  4. 出于对检测机构的权威性、公信力或能力的信任或认可而希望得到对自己产品或欲使用产品的安全性鉴定报告;

  5. 其它。

    b) 输入:检测性质

智能卡检测的最基本性质可分为:安全性检测和非安全性检测。非安全性检测的内容不在本标准讨论范围。但这种划分并非绝对不变,例如:协议符合性检测一般被认为是非安全性检测,但在某些情况下,如较低级别的安全检测中,协议符合性检测就是安全性检测。

检测方和委托方需能够辨别受测件的安全功能与其它功能间的区别,并且明确检测的范围应限于与受测件安全性有关的功能。为此可参考附录A。

c) 输入:资源

资源包括检测方进行检测所需要的软硬件设备、时间、人力、检测人员的技能和知识;还包括委托方所能提供的检测样本、各类技术文档(包括安全功能检测文档)和检测环境。

d) 输入:应用

本标准涉及的与应用有关的智能卡安全性检测的对象限于智能卡芯片、智能卡嵌入式软件和储存在智能卡非易失存储器中的各级应用文件(包括密钥文件)、应用数据(包括各级密钥)及其安全属性配置等;不包括应用系统的其它与安全相关的部分或部件。对智能卡应用系统的整体安全性或除智能卡之外的其它有关部分的安全性的检测评估超出本标准的范围。

在进行与应用有关的智能卡安全性检测评估时,应特别注意研究该应用系统的安全资产与单纯以智能卡芯片、智能卡嵌入式软件为受测件时安全资产的关系与区别,以及受测件处于特殊应用环境而面临的安全威胁的不同因而需要检测的范围和项目有所不同。

e) 输入:其它情况

其它情况诸如:

  1. 委托者对检测项目有特殊要求。检测者可根据国家或行业的规定和自己掌握的资源自行判断是否应该接受委托者的特殊要求;如接受,应该向委托者说明可能对最终的评估结论带来的影响,并且在最终报告里明确阐述这些影响;

  2. 受测件是复合智能卡,但它的芯片或嵌入式软件已单独通过了某安全级别的检测评估;

  3. 受测件是某应用智能卡,但其所使用的芯片或嵌入式软件已单独通过了某安全级别的检测评估,或使用同样芯片的卡片(复合智能卡)已通过符合本文件规范的检测;

  4. 受测件被检测过,未获通过,后进行过修改或升级,申请复测;

  5. 受测件被检测过,并获某级证书,现希望进行更高级别检测。

F.4.2 输出:框架方案

框架方案内容可因输入而有所不同:

a)目的

检测者应根据委托方不同的需求和目的而确定检测对象的范围和检测内容的范围并制定检测计划。

为智能卡芯片和嵌入式软件EAL4+安全等级评估而进行的检测,对象范围分别为国标GB/T
20276 和GB/T 22186中所定义的智能卡芯片和嵌入式软件。

为复合产品智能卡的安全评估而进行的检测可以包括对应用的检测内容。

为某行业应用的智能卡的安全评估而进行的检测则一定要包括应用的安全检测。

b)其它情况

在F.4.1.1.e)中阐述的几种情况下,评估者应该仔细研究和评价以往的检测项目和/或被测对象的修改对于评估受测件当前安全性的影响,最后得出以下三种结论之一:

1)完整检测

2)增量检测

3)不检测

无论选择何种检测范围,都应在报告中写明理由和依据。

当选择"增量检测"或"不检测"时,以前的检测结果或报告应当被本次的报告所引用并作为评估的证据。

F.4.3 受测件接收

F.4.3.1 相关标准规定

国标GB/T 20276 和GB/T
22186中规定了开发者协助评估者进行独立性安全功能检测和渗透性 检测应尽的职责,包括进行安全功能检测和脆弱性分析,并将结果文档化然后提交给检测者。进行EAL4+等级评估项目的委托者应遵照这两个标准的条款准备检测文档并交付检测者。

其它评估项目的委托者也应参考这些条款为检测者的安全功能检测和渗透性检测做准备,除非有其它标准可以依据。如
EMVCO
等国际行业组织的智能卡芯片检测标准中不要求进行安全功能检测,则依据此类标准所启动的主题检测任务可不要求委托者提供相应信息。

F.4.3.2 交付需求

检测方应在准备阶段以主题检测大纲形式或分级检测指南文件形式向公众,或在任务启动时以其它正式文件形式向委托方,表明己方在某种主题检测或分级检测时对于受测件以及各种文档、资料甚至其它资源的明确需求。并在需求列表清单中简短注明需求的原因。

F.4.3.3 受测件交付

委托者应提供足够数量的,满足安全功能检测和渗透性检测需求的形式和型号(版本)的受测件样品。

F.4.3.4 安全功能检测文档

安全功能检测文档应包括检测计划、检测程序描述、预期的检测结果和实际的检测结果。

更详细的内容请见国标GB/T 20276 和GB/T 22186中关于"功能检测"的条款。

F.4.3.5 其它资源

委托者应向检测者提供其它为进行安全检测所必需或有利于这些检测的资源,如源代码、各层级的安全设计文件、检测软硬件环境和检测脚本等。

F.4.3.6 形式审查

检测者应在正式检测和评估前对委托者所交付的受测样品、文档和资源的集合进行审查,判断是否均满足主题检测和评估的需求,并告知委托者。

F.5 启动结束

任务启动可能在两种情况下结束:一是启动成功,任务进入检测阶段;二是启动失败,任务终止。
启动失败的处理不在本标准讨论范围内。

启动成功后,实验室的管理部门或人员将任务分配给检测小组或具体检测人员。

G. (规范性附录)
智能卡安全检测分级方法1)

G.1 智能卡安全分级检测的意义

智能卡安全分级检测是检测机构向社会提供的有关智能卡(定义见本标准正文4.1.2.客体)安全性的标准化公共服务。

分级的起因是由于不同的应用对于智能卡(芯片、COS)具有不同的安全要求,而不同的安全要求宜且应由不同的安全设计所实现,不同的安全设计成功与否则可由不同的安全检测所验证。

智能卡安全分级检测的目标是建立一个可以为不同安全要求的应用筛选出适当智能卡产品的检测体系,由制造商、集成商或应用系统运营商根据自身应用的安全需求选择相适应级别的检测。

智能卡安全分级检测体系的实际建立应该有相适应的安全分级认证体系相配套,但分级认证体系的设计与建立问题不在本标准的讨论范围内。

G.2 智能卡安全检测分级原理

G.2.1 检测分级原理概述

智能卡面临的所有信息安全风险来自于攻击者(人)对卡安全资产的(潜在)攻击,人们对智能卡的安全要求可最终归结为或实现为智能卡对于各类攻击的抵抗力;依照不同安全要求设计并制造出来的卡产品应体现出不同的抗攻击能力;具有不同抵抗力的卡产品适用于安全需求不同的应用系统或环境。

证明或检验智能卡抵抗能力的最科学方法是对其进行全面的试验性质的检测。

安全分级检测则是将智能卡的安全要求划分成不同的抵抗力级别,每个抵抗力级别都明确对应着相应的攻击能力和强度,检测者通过对受测件实施某级别的检测项目集合检验并证明受测件是否达到该级别的抵抗力。

安全分级检测并且对应着智能卡产品生命周期在产业应用链中的不同阶段和环节,因为智能卡安全由其整个生命周期的各个环节的安全措施予以保障。

G.2.2 两种安全检测

CC组织有关文件规定应对智能卡进行两种安全性检测:一是安全功能检测;二是渗透性检测。

G.2.3 安全功能检测的特性

智能卡的安全功能又可分为两类:

  1. 显性安全功能

由各种智能卡技术协议或应用协议和标准中所规定的安全功能。也可称为共性安全功能。

  1. 隐性安全功能

设计者根据自己经验或灵感设计出来的,为抵御各类已知攻击而创建的安全功能。也可称个性安全功能。

这两类安全功能都应被检测而证明其存在性和有效性。这类检测是功能符合性检测。检测的依据是IC卡的公开标准协议(显性),和设计开发者的ST文件或其它设计文件(隐性)。

安全功能检测的特点是按对象(安全功能)所在的层次而展开,对检测结果评估的方法是对照结果与协议具体条目的符合与否。

G.2.4 渗透性检测

渗透性检测就是攻击性质的实验性检测。

G.2.5 安全检测分级框架定义

考虑作为受测件的智能卡的自然逻辑层面实际对应智能卡产业链的不同环节,与各类攻击手段的性质、特点,对智能卡的安全检测活动建立如下分级框架:

智能卡安全检测级别分为3个层面7个级别,即以A、B、C代表芯片、COS和应用三个层面,A1、A2、A3、B1、B2、C1、C2共7个级别。每一个级别代表着若干安全检测项目的集合,进行并通过了某个级别的检测代表着受测件的抵抗力达到了该级别的要求。每个安全级别的抵抗力亦反映了智能卡的一定的安全功能要求和安全功能强度要求。

各级别定义如下:

C1:基本应用级

  • 抵抗力指标:该级别受测件可以抵御无意的或偶然起意的具有普通公共知识的攻击者的攻击强度。

  • 检测项目:智能卡基本技术的国际和国家标准中有关安全功能部分的检测项目,附录A中A.2.2.节规定的安全功能检测,相应的渗透性检测。

  • 对等级别:CC EAL2

C2:应用安全级

  • 抵抗力指标:该级别受测件可以抵御具有智能卡应用系统综合专业知识但不具备特殊设备的攻击者的攻击。

  • 检测项目:国际和我国各行业应用标准协议应用层面的安全功能检测项目,附录A中A.3.节规定的安全功能检测以及相应的渗透性 检测项目,如附录B中介绍的JAVA恶意应用、重放攻击、中间人攻击、随机数发生器攻击等。

  • 对等级别:

B1:软件基本安全级

  • 抵抗力指标:该级别受测件可以抵御具有深层智能卡COS专业知识和黑客攻击手段,但不掌握特定受测件详细技术细节的攻击者在软件层面的攻击。

  • 检测项目:附录A中A2节介绍的软件安全功能检测;黑盒方式的软件攻击,如附录B中B4、B6、B7、B9等节内容。

  • 对等级别:CC EAL3

B2:软件安全级

  • 抵抗力指标:该级别受测件可抵御具有黑客攻击手段并掌握受测件机密技术信息但不具备特殊设备的攻击者在软件层面的攻击。

  • 检测项目:附录A中A.5
    节介绍的智能卡安全管理功能(安全保障功能)检测、现场检查、源代码审查等;白盒方式的软件攻击。

  • 对等级别:国标GB/T 20276对智能卡嵌入式软件的安全技术要求。

A1:芯片非侵入安全级

  • 抵抗力指标:本等级要求受测件的芯片具有良好的防止敏感信息泄漏的安全保护措施。该级别受测件能抵御专业攻击者的各种非侵入攻击。

  • 检测项目:附录A中关于芯片防止敏感信息泄漏的安全功能检测;附录B中B3节介绍的非侵入攻击。

  • 对等级别:国标GB/T 20276对智能卡芯片的安全技术要求。

A2:芯片半侵入安全级

  • 抵抗力指标:该级别受测件能抵御攻击者的各种半侵入攻击。

  • 检测项目:附录A中相关的安全功能检测;附录B中B2介绍的各类半侵入攻击。

  • 对应级别:

A3:芯片侵入安全级

  • 抵抗力指标:该级别受测件能抵御攻击者的各种侵入攻击。

  • 检测项目:附录A中相关的安全功能检测;附录B中B1介绍的各类侵入攻击。

  • 对应级别:A1+A2+A3 的渗透性检测项目等同于国际 CC
    组织和EMVCO组织认可的,满足脆弱性要求组件AVA_VAN.5的智能卡芯片安全评估保障级EAL4+或EAL5+水平。

G.3 智能卡安全分级检测框架应用原则

G.3.1 公共服务

智能卡安全分级检测框架为整个智能卡产业链和应用提供服务。

G.3.2 适度检测

避免过度检测,节约智能卡产业链、应用链在安全性检测环节花费的成本和时间。

G.3.3 受测方选择

受测方根据自身在产业链的位置和需求,灵活选择某层面中某级别、多级别或多层面多级别的检测。

G.3.4 检测方定位

检测机构根据自身能力定位,发展并在获得相应能力认证后向社会提供三个层面、七个级别中某些或所有级别的检测服务。

G.4 检测评估认证体系

智能卡安全分级检测框架应用的理想环境是作为一个子体系在国家范围的智能卡安全检测评估认证体系下运行。这个体系由一个认证机构、几个专业委员会和若干个可提供不同级别检测评估服务的检测机构所构成。检测机构需通过认证机构和专业委员会的测评、审核得到某级别或某几个级别的检测评估资质;认证机构还负责审核、认证检测机构的检测报告,为合格的受测件颁发安全级别证书;专业委员会则对检测认证实体的运行进行监督、指导,必要时也参与某些事物的审核。

理想的安全检测评估认证体系应导致产业链产生如下局面:芯片商在产品投放市场之际根据自己的目标市场选择分级检测框架芯片层的某(几)个级别进行检测认证;卡商、COS商亦根据自己的目标市场选择符合该级别证书的芯片装载自己的COS,并进行某级别的COS检测认证;智能卡的应用系统运营商或集成商挑选具有适应自己应用系统安全需求的芯片层某级别安全证书和COS层某安全级别证书的智能卡产品入围,并可进行相应的应用层安全级检测认证。

[]{#BKCKWX .anchor}参 考 文 献

[1] BSI-PP-0035 安全IC平台保护轮廓 1.0版 2007年6月15日

[2] CCDB-2010-03-001 CC support Document Guidance -Smartcard
Evaluation - February 2010 Version 2.0

[3] Joint Interpretation Library -Application of Attack Potential to
Smatcard-V.2.7. February 2009

[4] Visa Chip Security Program-Security Testing Process V1.0 2010-04

[5] YD/T 1625-2007 电信智能卡安全技术要求

[6] CCDB-2009-03-003 Requirements to perform Integrated Circuit
Evaluations

[7] CCDB-2007-09-001 Composite product evaluation for Smartcards and
similar devices V1.0

[8] CCMB-2007-09-004 Common Methodology for Information Technology
Security Evaluation V3.1.

[9] CCDB-2008-04-001 Application of Attack Potential to Smartcards
V.2.5

[10] CCDB-2007-09-002 ETR template for composite evaluation of Smart
Cards and similar devices V1.0

[11] ISO/IEC 19790:2012

[12] ISO/IEC 17825:2012

[13] CCDB-2012-04-004 Security Architecture requirements (ADV_ARC) for
smart cards and similar devices - Appendix 1

[14]Visa Chip Security Program-Security Testing Process V1.0


原文下载地址

GB-T 31507-2015 信息安全技术 智能卡通用安全检测指南


  1. 理论上,智能卡安全分级检测认证体系应该从建立智能卡的安全分级(标准)要求开始,将各个级别的安全要求逐一明确,然后对应地建立各个级别的检测标准和评估标准。但在本标准撰写期间,国家只有一个级别的智能卡安全要求出台,同时社会上各种应用系统的安全检测评估要求已令检测单位应接不暇,而且国内检测机构实际上已经具有或说分别具有应对不同安全级别的检测能力。签于此,附录F给出一种对安全检测进行分级的方法,供检测、认证机构和智能卡的开发、生产、应用方参考。 ↩︎文章来源地址https://www.toymoban.com/news/detail-628135.html

到了这里,关于智能卡通用安全检测指南 思度文库的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 人工智能安全-6-SQL注入检测

    概述 SQL注入方法 SQL注入的检测方法 SQL语句的特征提取 天池AI上的实践 SQLIA:SQL injection attack SQL 注入攻击是一个简单且被广泛理解的技术,它把 SQL 查询片段插入到 GET 或 POST 参数里提交到网络应用。 由于SQL数据库在Web应用中的普遍性,使得SQL攻击在很多网站上都可以进行。

    2024年02月05日
    浏览(43)
  • 人工智能安全实验一 入侵检测

    实验         一             项目名称:          入侵检测          一、实验目的    对数据集进行数据处理,使用信息增益方法来选取特征,产生训练集和测试集,并对数据进行归一化,构建模型,并对模型进行训练,得到函数的系数。构建分类器,最大化

    2024年01月22日
    浏览(48)
  • 基于深度学习的人工智能安全:威胁检测、攻击防御和安全评估

    作者:禅与计算机程序设计艺术 随着人工智能技术的不断发展,给社会带来的影响越来越大。越来越多的企业和个人都依赖于AI产品或服务,同时也面临着各种各样的安全风险,比如身份验证缺失、数据泄露、恶意软件等。如何保障AI产品及服务的安全,成为当前和未来的重

    2024年02月13日
    浏览(56)
  • 火出圈的ChatGPT,如何让安全检测更智能

    ChatGPT(Chat Generative Pre-trained Transformer)是一款美国OpenAI研发的聊天机器人程序,能够通过理解和学习人类语言来进行对话,根据聊天的上下文与使用者互动,真正像人类一样聊天交流。它甚至能完成撰写邮件、视频脚本、文案、代码、论文等任务。 ChatGPT的算法基于Transform

    2023年04月17日
    浏览(36)
  • 青云扫描器(QingScan):智能安全检测的新星

    项目地址:https://gitcode.com/78778443/QingScan 青云扫描器(QingScan)是一个开源的安全扫描工具,旨在帮助开发者和企业发现并修复应用程序中的安全漏洞。该项目由78778443开发并维护,采用先进的自动化技术,可以对Web应用、移动应用以及服务器进行全方位的安全检查。 QingScan的核

    2024年04月12日
    浏览(47)
  • 面向人工智能的自动化安全检测与漏洞挖掘

    作者:禅与计算机程序设计艺术 《面向人工智能的自动化安全检测与漏洞挖掘》 1.1. 背景介绍 随着人工智能技术的快速发展,各种网络安全威胁也随之而来。为了保障国家的网络安全,人工智能安全检测与漏洞挖掘技术应运而生。人工智能安全检测与漏洞挖掘技术,可以通

    2024年02月14日
    浏览(59)
  • 【论文阅读】 智能合约安全漏洞检测技术研究综述

    2016 年 6 月,黑客利用 DAO(decentralized autonomous organization)合约的 可重入漏洞 , 窃取了价值约 6000 万美元的以太币(即以太坊数字货币); 2017 年 7 月, 由于 Parity 多签名钱包合约的 Delegatecall 漏洞 (parity multi-sig wallet delegatecall), 价值近 3 亿美元的以太币被冻结; 2018 年 4 月, 恶意攻击者

    2024年03月14日
    浏览(63)
  • Mythril 以太坊智能合约安全分析与检测工具详解(一)

    Mythril是以太坊EVM字节码的安全分析工具。它检测以太坊、Hedera、Quorum、Vechain、Roostock、Tron和其他兼容evm的区块链构建的智能合约中的安全漏洞。它使用符号执行、SMT方案来分析检测智能合约代码中的各种安全漏洞。 通过 Docker 获取: 从 Pypi 安装: 目前,Mythril 支持 MacOS 和

    2024年02月08日
    浏览(44)
  • 智能安全帽~生命体征检测与危险气体检测一体化集成设计还是蓝牙无线外挂式方式好?

    生命体征(心率、血氧等)检测上报平台,危险气体采集上报平台,是智能安全帽产品中常见的两种选配件,它们的实现有两种典型的模式: 1)将传感器集成到主板上,做成一体化的智能安全帽形态; 2)采用外挂式模式,典型的就是数据采集后,走蓝牙无线上报到智能安全

    2024年02月09日
    浏览(78)
  • 基于遗传算法的智能家居安全系统:如何检测和响应恶意攻击?

    作者:禅与计算机程序设计艺术 1.1. 背景介绍 随着物联网技术的发展,智能家居安全问题日益凸显。智能家居系统由多个模块组成,包括传感器、控制中心、执行器等。这些模块的协同工作使得人们生活更加便捷,但也为攻击者提供了可乘之机。为了提高智能家居系统的安全

    2024年02月07日
    浏览(50)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包