CN113632066A - 所执行代码中的错误识别 - Google Patents
所执行代码中的错误识别 Download PDFInfo
- Publication number
- CN113632066A CN113632066A CN202080024230.5A CN202080024230A CN113632066A CN 113632066 A CN113632066 A CN 113632066A CN 202080024230 A CN202080024230 A CN 202080024230A CN 113632066 A CN113632066 A CN 113632066A
- Authority
- CN
- China
- Prior art keywords
- memory
- ecc
- read data
- memory device
- data
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 230000015654 memory Effects 0.000 claims abstract description 193
- 238000012937 correction Methods 0.000 claims abstract description 29
- 238000000034 method Methods 0.000 claims abstract description 24
- 230000004044 response Effects 0.000 claims abstract description 22
- 230000009471 action Effects 0.000 claims abstract description 21
- 230000008569 process Effects 0.000 claims description 13
- 238000004891 communication Methods 0.000 claims description 7
- 230000006870 function Effects 0.000 claims description 7
- 238000010586 diagram Methods 0.000 description 22
- 238000003491 array Methods 0.000 description 7
- 230000008859 change Effects 0.000 description 6
- 238000013459 approach Methods 0.000 description 3
- 238000001514 detection method Methods 0.000 description 3
- 238000004519 manufacturing process Methods 0.000 description 3
- 230000002093 peripheral effect Effects 0.000 description 3
- 230000008439 repair process Effects 0.000 description 3
- 239000004065 semiconductor Substances 0.000 description 3
- 230000005540 biological transmission Effects 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000007667 floating Methods 0.000 description 2
- 238000012546 transfer Methods 0.000 description 2
- 238000012795 verification Methods 0.000 description 2
- 230000006978 adaptation Effects 0.000 description 1
- 230000001413 cellular effect Effects 0.000 description 1
- 125000004122 cyclic group Chemical group 0.000 description 1
- 230000006735 deficit Effects 0.000 description 1
- 238000009795 derivation Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 125000000524 functional group Chemical group 0.000 description 1
- 230000036541 health Effects 0.000 description 1
- 238000009434 installation Methods 0.000 description 1
- 238000012005 ligant binding assay Methods 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 230000002085 persistent effect Effects 0.000 description 1
- 229920001690 polydopamine Polymers 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
- 230000001360 synchronised effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
- G06F11/10—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's
- G06F11/1008—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's in individual solid state devices
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
- G06F11/10—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's
- G06F11/1008—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's in individual solid state devices
- G06F11/1048—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's in individual solid state devices using arrangements adapted for a specific error detection or correction feature
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W50/02—Ensuring safety in case of control system failures, e.g. by diagnosing, circumventing or fixing failures
- B60W50/0205—Diagnosing or detecting failures; Failure detection models
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W50/08—Interaction between the driver and the control system
- B60W50/14—Means for informing the driver, warning the driver or prompting a driver intervention
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
- G06F11/10—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's
- G06F11/1076—Parity data used in redundant arrays of independent storages, e.g. in RAID systems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/70—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer
- G06F21/78—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure storage of data
- G06F21/79—Protecting specific internal or peripheral components, in which the protection of a component leads to protection of the entire computer to assure secure storage of data in semiconductor storage media, e.g. directly-addressable memories
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Automation & Control Theory (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- Mechanical Engineering (AREA)
- Transportation (AREA)
- Human Computer Interaction (AREA)
- Computer Security & Cryptography (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- Techniques For Improving Reliability Of Storages (AREA)
Abstract
本公开包含用于对所执行代码进行错误识别的设备、方法和系统。实施例包含存储器和电路系统,所述电路系统配置成:读取存储在所述存储器的安全阵列中的数据;识别具有对应于所述存储器的读取数据的错误校正码(ECC)的不同存储器;执行完整性检查以将所述ECC与所述存储器的所述读取数据进行比较;和响应于所述存储器的所述读取数据与所述ECC的所述比较而采取动作,其中所述比较指示所述ECC识别所述存储器的所述读取数据中的错误。
Description
技术领域
本公开大体上涉及半导体存储器和方法,且更确切地说涉及识别所执行代码中的错误。
背景技术
存储器装置通常提供为计算机或其它电子装置中的内部半导体集成电路和/或外部可移除装置。存在许多不同类型的存储器,包含易失性及非易失性存储器。易失性存储器可能需要电力来维持其数据,且可包含随机存取存储器(RAM)、动态随机存取存储器(DRAM)和同步动态随机存取存储器(SDRAM)等等。非易失性存储器可通过当不被供电时保存所存储的数据来提供永久性数据,并且可包含NAND快闪存储器、NOR快闪存储器、只读存储器(ROM)以及电阻可变存储器,例如相变随机存取存储器(PCRAM)、电阻性随机存取存储器(RRAM)和磁性随机存取存储器(MRAM)等等。
存储器装置可组合到一起形成固态驱动器(SSD)、嵌入式多媒体卡(例如MMC)和/或通用快闪存储(UFS)装置。SSD、e.MMC和/或UFS装置可包含非易失性存储器(例如,NAND快闪存储器和/或NOR快闪存储器),和/或可包含易失性存储器(例如,DRAM和/或SDRAM),以及各种其它类型的非易失性和易失性存储器。非易失性存储器可用于广泛范围的电子应用中,例如个人计算机、便携式存储器棒、数码相机、蜂窝式电话、便携式音乐播放器,例如MP3播放器、电影播放器等等。
快闪存储器装置可包含将数据存储在例如浮动栅极的电荷存储结构中的存储器单元。快闪存储器装置通常使用允许高存储器密度、高可靠性和低功耗的单晶体管存储器单元。电阻可变存储器装置可包含可基于存储元件(例如,具有可变电阻的电阻性存储器元件)的电阻状态存储数据的电阻性存储器单元。
存储器单元可布置成阵列,且阵列架构中的存储器单元可经编程为目标(例如,所要)状态。举例来说,电荷可置于快闪存储器单元的电荷存储结构(例如,浮动栅极)上或从其移除以将所述单元编程到特定数据状态。所述单元的电荷存储结构上的所存储电荷可指示所述单元的阈值电压(Vt)。可通过感测快闪存储器单元的电荷存储结构上的所存储电荷(例如,Vt)来确定所述单元的状态。
引入到代码中的错误和对所存储代码施加的威胁可能影响存储器装置的操作和/或存储在存储器装置的存储器单元中的数据。错误可通过噪声和/或在传输期间引入。威胁可包含例如来自黑客或其它恶意用户的威胁,包含有意的错误引入、中间人(MITM)攻击等等。此类威胁可能造成重大财务损失,和/或可能引起重大安全和/或安保问题。
附图说明
图1说明根据本公开的实施例的具有数个物理块的存储器阵列的一部分的图式。
图2A说明根据本公开的实施例的用于限定安全存储器阵列的一对寄存器的实例。
图2B说明根据本公开的实施例的包含所限定的安全存储器阵列的存储器阵列的一部分的图式。
图3是根据本公开的实施例的包含主机和呈存储器装置形式的设备的计算系统的框图。
图4说明根据本公开的实施例的包含主机控制器和设备的实例系统的实例框图。
图5说明根据本公开的实施例的用于所执行代码中的错误识别的实例流程图。
图6是根据本公开的实施例的包含主机和存储器装置的实例系统的框图。
图7是根据本公开的实施例的用于确定数个参数的实例过程的框图。
图8是根据本公开的实施例的用于确定数个参数的实例过程的框图。
图9是根据本公开的实施例的验证证书的实例过程的框图。
图10是根据本公开的实施例的验证签名的实例过程的框图。
图11是根据本公开的实施例的实例存储器装置的框图。
具体实施方式
本公开包含用于所执行代码中的错误识别的设备、方法和系统。可对主机计算系统和/或对存储器装置执行错误校正操作。实施例包含存储器和电路系统,所述电路系统配置成通过将由存储器装置读取的数据与由不同存储器装置读取的错误校正码(ECC)进行比较来识别所执行代码(例如,读取数据)中的错误。将存储器装置的读取数据与不同存储器装置的ECC进行比较以确定读取数据中是否存在错误。
存储器装置可用于将数据存储在计算系统中,且可在与计算系统相关联的主机之间传送此数据。存储在存储器装置中的数据可以是对主机的操作重要的例程的代码。举例来说,主机装置可以是车辆,且例程可为动力系或车辆的操作。可使用存储器装置作为用于广泛范围的电子应用的非易失性存储器。
主机可以通信方式耦合到多个存储器装置。在一个实例中,存储器装置可包含存储在存储器装置的安全阵列中的数据。存储器装置可包含用于识别具有对应于由存储器装置读取的数据的错误校正码(ECC)的不同存储器装置的电路系统。电路系统可配置成执行完整性检查。完整性检查是指错误校正数据与读取数据的比较。举例来说,电路系统可配置成执行完整性检查以将ECC与存储器装置的读取数据进行比较,且响应于读取数据与ECC的比较而采取动作。当ECC指示校正时,由存储器装置读取的数据可包含类似错误,且可采取校正动作来校正错误。
可以多种方式将错误(例如,故障)引入到由存储器装置存储的数据(例如,存储在存储器单元中的数据)中。在传输期间,可无意地通过噪声和/或损害将错误引入到代码中。在一些情况下,错误可无意地引入到存储在存储器中的数据,从而引起存储器的操作的改变。还可通过威胁有意将错误引入到由存储器存储的数据。举例来说,黑客或其它恶意用户可引入错误以试图执行活动(例如,攻击),例如中间人(MITM)攻击,以出于恶意目的对存储器的操作和/或对其中存储的数据进行未经授权的改变。对引入到由存储器存储的数据的错误的威胁和/或后果的另一实例是黑客或其它恶意用户可试图跳过在本文中被称作例程的命令的一部分(例如,可执行代码的一部分),写入为检查和/或安全协议来认证命令。
在此攻击和/或错误期间,跳过和/或更改例程,但主机可接收例程已执行的指示。换言之,黑客和/或错误可篡改命令,且致使主机接收到例程已执行的指示。写入为检查命令的真实性(认证组件、认证软件版本和/或更新、用户身份标识等)的重要例程可设计成在存储器装置的启动(例如引导)期间执行。黑客和/或引入的错误可改变(例如,掩码)外部输入以触发条件,从而可跳过写入为验证命令的真实性的例程。此例程的一个实例可以是写入为在执行软件服务(例如,从自动取款机发布货币和/或传送数据、执行软件等)之前检查支付的真实性的可执行代码的一部分。其它实例可包含用于在执行(计算机系统更新、安装软件等)之前验证软件许可证以认证软件为真的例程,主机装置的重要操作例程(例如,启动操作、动力系操作等)和/或用于检查系统组件的真实性和系统组件的配置(例如,过程工厂控制、汽车组件)的例程。
对错误的检测和校正可具有挑战性,因为对检测到的错误的校正可能产生额外(例如,新)错误。这可引起代码的所得架构(例如,例程)中的不可靠性且可影响存储器和存储在存储器中的代码的操作。许多存储器装置采用检测数据中的位错误的错误检查技术,例如ECC。ECC可与例如存储器块、存储器段或存储器扇区等单元群组相关联,并且可通过检测且可能地校正位错误来拯救读取失败。ECC码的实例包含汉明码(Hamming code)、里德-所罗门(Reed-Solomon,RS)码、博斯-乔赫里-霍克文黑姆(Bose-Chaudhuri-Hochquenghem,BCH)码、循环冗余检查(CRC)码、格雷(Golay)码、里德-密勒(Reed-Muller)码、戈帕(Goppa)码和丹尼斯顿(Denniston)码等等。在一些方法中,通过包含耦合到存储器装置的电路系统的控制器对存储器装置执行这些和其它错误检查技术。如所提及,当识别并校正错误时,ECC可能无意地将新错误引入到重要例程(例如,命令)。
因而,为了确保识别出由ECC指示的错误,但当校正所识别错误时不引入新错误,可在检测到此类错误时生成警告。主机可与多个存储器装置相关联以检测这些错误。举例来说,主机装置可包含以通信方式耦合到多个存储器装置(例如,ECC存储器装置和无ECC的存储器装置)的主机控制器。多个存储器装置可分别具备数据(例如,命令和/或例程)和/或对应于所述数据的ECC。
在一些实例中,ECC和对应例程可在制造阶段期间安全地提供到存储器装置上,和/或使用交换的公钥/私钥安全地验证(本文进一步论述)。包含ECC的ECC存储器装置和包含对应数据(例如,例程)的存储器装置可由相应存储器装置并行地读取。可通过主机装置和/或与主机装置相关联的控制器来比较所执行的ECC和数据。当错误由在具有ECC的存储器装置上运行的ECC识别时,可将由数据存储器装置执行的数据识别为包含潜在错误。换言之,因为存储器装置中的数据对应于另一存储器装置中的ECC,由ECC识别的错误指示存储器装置的数据中的错误。在此情况下,为了避免通过实施自动校正引入的无意错误,可采取动作以警告主机和/或控制器已识别出存储器装置的数据中的错误。此时,可作出关于如何校正错误而不更改重要例程的架构的多个决策。
本公开的实施例可通过结合由以通信方式耦合到主机装置的不同存储器装置并行地执行的ECC与数据的比较而在重要例程中利用密码原语解决方案(例如,ECC和或所计算的摘要)来进行错误检测。此类解决方案可识别无意和/或有意引入到代码的错误。这可防止写入为避免财务损失、安全性协议和/或提供对主机装置的操作的安全检查的重要例程的不良操作。此外,当识别错误时,可通过避免自动校正来避免新错误的引入。替代地,可由主机和/或与主机相关联的存储器装置确定动作(例如,例程的警告、告警和/或中止)。
如本文中所使用,“一(a/an)”或“数个”可以指某事物中的一或多个,且“多个”可以指此类事物中的两个或更多个。举例来说,存储器装置可以指一或多个存储器装置,且多个存储器装置可以指两个或更多个存储器装置。另外,如本文中所使用的指定符“M”、“P”、“R”、“B”、“S”和“N”,尤其相对于图式中的附图标记,指示如此指定的数个特定特征可与本公开的数个实施例包含在一起。标示之间的数目可相同或不同。
本文中的图遵循编号定则,其中第一一或多个数字对应于图号,且剩余的数字标识图式中的元件或组件。可通过使用类似数字来标识不同图之间的类似元件或组件。举例来说,101可表示图1中的元件“01”,且相似元件可在图2中表示为201。
图1说明根据本公开的实施例的具有数个物理块的存储器阵列101的一部分的图式。存储器阵列101可以是例如快闪存储器阵列,例如NAND快闪存储器阵列。作为额外实例,存储器阵列101可以是电阻可变存储器阵列,尤其例如PCRAM、RRAM、MMRAM或自旋力矩传送(STT)阵列。然而,本公开的实施例不限于特定类型的存储器阵列。此外,存储器阵列101(例如,阵列101的子集或整个阵列201)可以是安全存储器阵列,如本文中将进一步描述。此外,虽然图1中未展示,但存储器阵列101可与和其操作相关联的各种外围电路系统一起位于特定半导体裸片上。
如图1所展示,存储器阵列101具有存储器单元的数个物理块107-0(块0)、107-1(块1)、……、107-B(块B)。存储器单元可以是单层级单元和/或多层级单元,例如二层级单元、三层级单元(TLC)或四层级单元(QLC)。作为实例,存储器阵列101中的物理块的数目可以是128个块、512个块或1,024个块,但实施例不限于存储器阵列101中的二的特定幂或任何特定数目个物理块。
存储器单元平面中可包含数个存储器单元物理块(例如,块107-0、107-1、……、107-B),且裸片上可包含数个存储器单元平面。举例来说,在图1所展示的实例中,每一物理块107-0、107-1、……、107-B可以是单个裸片的部分。也就是说,图1中所说明的存储器阵列101的部分可以是存储器单元的裸片。
如图1所展示,每一物理块107-0、107-1、……、107-B包含存储器单元的耦合到存取线(例如,字线)的数个物理行(例如,103-0、103-1、……、103-R)。每一物理块中的行(例如,字线)的数目可以是32,但实施例不限于每物理块特定数目的行103-0、103-1、……、103-R。此外,虽然图1中未展示,但存储器单元可耦合到感测线(例如,数据线和/或数字线)的列。
如所属领域的技术人员将了解,每一行103-0、103-1、……、103-R可包含数个存储器单元页(例如,物理页)。物理页指代编程和/或感测的单元(例如,作为功能群组一起编程和/或感测的数个存储器单元)。在图1中所展示的实施例中,每一行103-0、103-1、……、103-R包括存储器单元的一个物理页。然而,本公开的实施例不限于此。举例来说,在实施例中,每一行可包括存储器单元的多个物理页(例如,耦合到偶数编号的数据线的一或多个偶数存储器单元页,以及耦合到奇数编号的数据线的一或多个奇数存储器单元页)。另外,对于包含多层级单元的实施例,存储器单元的物理页可存储多个数据页(例如,逻辑页)(例如,上部数据页和下部数据页,其中物理页中的每一单元存储朝向上部数据页的一或多个位和朝向下部数据页的一或多个位)。
如图1所展示,存储器单元页可包括数个物理扇区105-0、105-1、……、105-S(例如,存储器单元子集)。单元的每一物理扇区105-0、105-1、……、105-S可存储数据的数个逻辑扇区。另外,数据的每一逻辑扇区可对应于特定数据页的一部分。作为实例,存储在特定物理扇区中的数据的第一逻辑扇区可对应于与第一数据页对应的逻辑扇区,且存储在特定物理扇区中的数据的第二逻辑扇区可对应于第二数据页。每一物理扇区105-0、105-1、……、105-S可存储系统和/或用户数据,和/或可包含开销数据,例如错误校正码(ECC)数据、逻辑块地址(LBA)数据和元数据。
逻辑块寻址是主机可用以识别数据的逻辑扇区的方案。举例来说,每一逻辑扇区可对应于唯一逻辑块地址(LBA)。另外,LBA也可对应于(例如,动态地映射到)可指示存储器中的数据的逻辑扇区的物理方位的物理地址,例如物理块地址(PBA)。数据的逻辑扇区可以是数据的字节数目(例如256字节、512字节、1,024字节或4,096字节)。然而,实施例不限于这些实例。
应注意,用于物理块107-0、107-1、……、107-B、行103-0、103-1、……、103-R、扇区105-0、105-1、……、105-S和页的其它配置是可能的。举例来说,物理块107-0、107-1、……、107-B的行103-0、103-1、……、103-R可各自存储对应于单个逻辑扇区的数据,所述单个逻辑扇区可包含例如多于或少于512字节的数据。
图2A说明根据本公开的实施例的用于限定安全存储器阵列的一对寄存器214-1和214-2的实例,并且图2B说明根据本公开的实施例的包含使用寄存器214-1和214-2限定的安全存储器阵列的存储器阵列201的一部分的图。尽管实施例不限于此,且可使用一或多个寄存器和/或一或多个对寄存器。如图2B中所展示,以类似于结合图1所描述的存储器阵列101的方式,安全存储器阵列201可包含存储器单元的数个物理块207-0、207-1、……、207-B,每一物理块包含具有数个存储器单元扇区的数个物理行203-0、203-1、……、203-R。
如图2A中所展示,寄存器214-1可以限定安全阵列的地址(例如,安全阵列的不同部分的地址),并且寄存器214-2可以限定安全阵列的大小(例如,安全阵列的不同部分的大小)。由寄存器214-1限定的安全阵列的地址可对应于例如安全阵列的起始点(例如,起始LBA)(例如,安全阵列的不同部分的起始点),并且由寄存器214-2限定的安全阵列的大小可对应于例如安全阵列的结束点(例如,结束LBA)(例如,安全阵列的不同部分的结束点)。
举例来说,如图2A中所展示,寄存器214-1和214-2可限定N对值,其中每一相应对包括由寄存器214-1限定的地址值(例如,addr)和由寄存器214-2限定的大小值(例如,size)。举例来说,在图2A中所说明的实例中,Pair0包括地址值addr0和大小值size0(例如,Pair0=[addr0,size0]),Pair1包括地址值addr1和大小值size1(例如,Pair1=[addr1,size1])等,其中PairN包括地址值addrN和大小值sizeN(例如,PairN=[addrN,sizeN])。一对的地址值可以对应于安全阵列的一部分的起始点(例如,起始LBA),并且所述对的地址值和大小值的总和可以对应于安全阵列的所述部分的结束点(例如,结束LBA)。因而,整个安全阵列(例如,包括整个安全阵列的部分)可以由以下公式给出:[addr0,addr0+size0]∪[addr1,addr1+size1]∪…∪[addrN,addrN+sizeN]。
由寄存器214-2限定的大小值是零的第一对可停止安全阵列的限定。举例来说,在图2A中所说明的实例中,如果Pair2的大小值是零,那么安全阵列将由以下公式给出:[addr0,addr0+size0]∪[addr1,addr1+size1]。
在图2B中说明由寄存器214-1和214-2限定的安全阵列的实例(例如,由寄存器214-2限定的所有大小值均为非零)。举例来说,如图2B中所展示,与存储器阵列201的扇区205-0相关联的地址(例如LBA)为addr0,与存储器阵列201的扇区205-1相关联的地址为addr0+size0,与存储器阵列201的扇区205-2相关联的地址为addr1,与存储器阵列201的扇区205-3相关联的地址为addr1+size1,与存储器阵列201的扇区205-4相关联的地址为addrN,并且与存储器阵列201的扇区205-5相关联的地址为addrN+sizeN。因而,安全阵列包括扇区(例如,存储在扇区中的数据)205-0到205-1、扇区205-2到205-3以及205-4到205-5。然而,存储器阵列201的位于扇区205-0之前的扇区以及存储器阵列201的扇区205-1到205-2不是安全阵列的一部分(例如,安全阵列包括阵列201的子集)。
图3是根据本公开的实施例的包含主机302和呈存储器装置306形式的设备的计算系统300的框图。如本文所使用,“设备”可以指但不限于多种结构或结构的组合中的任何一种,例如电路或电路系统、一或多个裸片、一或多个模块、一或多个装置或一或多个系统。此外,在实施例中,计算系统300可包含类似于存储器装置306的数个存储器装置。
在图3中所说明的实施例中,存储器装置306可包含具有存储器阵列301的存储器316。存储器阵列301可类似于结合图1所描述的存储器阵列101和结合图2B所描述的存储器阵列201。此外,在实施例中,存储器阵列301(例如,阵列301的子集,或整个阵列301)可以是安全阵列(例如,存储器316的将保持受控制的区域)。
图3说明一对寄存器314-1和314-2,但实施例不限于此,且可使用一或多个寄存器和/或一或多对寄存器。寄存器314-1和314-2可以是例如结合图2A所描述的寄存器214-1和214-2,并且安全存储器阵列301可以是例如结合图2B所描述的存储器阵列201。存储在存储器阵列301中的数据(例如,数据333)可包含敏感(例如,非用户)数据,例如待针对敏感应用(例如,例程)执行的装置固件和/或代码。在一些实例中,存储器装置306可包含对应于数据333的ECC,其中ECC和/或由存储器装置306计算的数据的摘要由存储器316以与图3所说明的数据333相同方式(此实施例结合图4论述)存储。
在此类实施例中,所述对非易失性寄存器314-1和314-2可用于限定安全阵列以存储数据333(和/或ECC、对应数据和/或摘要)。举例来说,在图3中所说明的实施例中,电路系统310包含可用于限定安全阵列的寄存器314-1和314-2。举例来说,寄存器314-1可限定安全阵列的地址(例如,数据的起始LBA),并且寄存器314-2可限定安全阵列的大小(例如,数据的结束LBA)。使用此方法,数据333可由存储器装置306存储和保护。
如图3中所说明,主机302可经由接口304耦合到存储器装置306。主机302和存储器装置306可在接口304上通信(例如,发送命令和/或数据)。主机302和/或存储器装置306可以是以下各项或为以下各项的部分:计算装置、膝上型计算机、个人计算机、数码相机、数字录制和重放装置、移动电话、PDA、存储卡读取器、接口集线器或支持物联网(IoT)的装置,例如支持汽车(例如,车辆和/或运输基础设施)IoT的装置或支持医疗(例如,可植入和/或健康监测)IoT的装置,以及其它主机系统,并且可包含存储器存取装置(例如,处理器)。所属领域的一般技术人员将理解,“处理器”可以是一或多个处理器,例如并行处理系统、数个协处理器等。
接口304可呈标准化物理接口的形式。举例来说,当存储器装置306用于计算系统300中的信息存储时,接口304可为串行高级技术附件(SATA)物理接口、外围组件互连高速(PCIe)物理接口、通用串行总线(USB)物理接口,或小型计算机系统接口(SCSI),以及其它物理连接器和/或接口。然而,大体来说,接口304可提供用于在存储器装置306与具有用于接口304的兼容接收器的主机(例如,主机302)之间传递控制、地址、信息(例如,数据)和其它信号的接口。
存储器装置306包含与主机302和存储器316(例如,存储器阵列301)通信的控制器308。举例来说,控制器308可发送对存储器阵列301执行操作的命令,所述操作包含感测(例如,读取)、编程(例如,写入)、移动和/或擦除数据的操作,以及其它操作。
控制器308可与存储器316包含在同一物理装置(例如,同一裸片)上。替代地,控制器308可包含在以通信方式耦合到包含存储器316的物理装置的单独物理装置上。在实施例中,控制器308的组件可作为分布式控制器跨越多个物理装置散布(例如,一些组件与存储器在同一裸片上,且一些组件在不同的裸片、模块或板上)。
主机302可包含与存储器装置306通信的主机控制器321。主机控制器321可包含在同一物理主机装置302上。替代地,主机控制器321可以是以通信方式耦合到存储器装置306和/或多个存储器装置(结合图4进一步论述)的单独物理装置。主机控制器321可经由接口304向存储器装置306发送命令。主机控制器321可与存储器装置306和/或存储器装置306上的控制器308通信以读取、写入和/或擦除数据,以及进行其它操作。此外,在实施例中,主机302可以是如本文所描述的具有IoT通信能力的支持IoT的装置。
存储器装置306上的控制器308和/或主机302上的主机控制器321可包含控制电路系统和/或逻辑(例如,硬件和固件)。在实施例中,存储器装置306上的控制器308和/或主机控制器321可为耦合到包含物理接口的印刷电路板的专用集成电路(ASIC)。此外,存储器装置306、主机控制器321和/或主机302可包含易失性和/或非易失性存储器的缓冲器和数个寄存器(例如,寄存器314-1和314-2)。
举例来说,如图3中所展示,存储器装置306可包含电路系统310。在图3中所说明的实施例中,电路系统310包含在控制器308中。然而,本公开的实施例不限于此。举例来说,在实施例中,电路系统310可包含在存储器316中(例如,在同一裸片上)(例如,而不是控制器308中)。电路系统310可包括例如硬件、固件和/或软件。
计算系统300(例如,主机302和存储器装置306)可利用所执行代码中的错误识别来确定是否已在数据333中识别错误。举例来说,电路系统310可读取存储在存储器316的阵列301中的数据333。电路系统310可识别不同存储器,所述不同存储器可以包含对应于由电路系统310读取的数据333的ECC。如所提及,对引入到数据333的错误的自动校正可引入额外错误。存储器装置306可执行完整性检查以将ECC与由存储器装置306读取的数据333进行比较。存储器装置306可响应于存储器316的读取数据与ECC的比较而采取动作,其中比较指示ECC识别由存储器316读取的数据333中的错误。以此方式,存储器装置306、主机控制器321和/或主机302可确定如何校正由ECC识别的错误。
举例来说,电路系统310可配置成确定由ECC识别的错误是否影响与由存储器316读取的数据333相关联的主机装置302的操作。举例来说,数据333可以是用于与呈车辆形式的主机302的动力系操作相关的例程的代码。在制造和/或另一安全个例期间,可将动力系例程作为数据333提供到存储器316,且作为ECC提供到不同存储器。存储器装置306可以是执行动力系例程(例如,数据333)的引导存储器装置。
主机控制器321、电路系统310和/或存储器316可响应于存储器316的启动过程和/或执行数据333的其它指示而执行完整性检查。完整性检查可包含由主机控制器321、电路系统310和/或存储器316将由包含在不同存储器装置上的不同存储器读取的ECC与由存储器316读取的数据333并行地进行比较。完整性检查可包含由电路310和/或主机302确定应用于由ECC识别的错误的校正将额外错误引入到ECC。换言之,由ECC对所识别错误的自动校正可能已经将新的错误引入到ECC,并且对数据333应用类似的校正可能会引入额外错误数据333。其它错误的引入可能导致例程被跳过、更改和/或其它操作问题。基于完整性检查,主机302、主机控制器321和/或电路310可响应于由ECC识别的错误而采取动作以避免校正对应于存储器的读取数据333的错误,和/或可确定替代的校正方法。
图4说明根据本公开的实施例的包含主机控制器421和实例存储器装置406-1和406-2的实例系统409的框图。主机(例如,图3的主机302)可包含主机控制器421,其中主机控制器421可以通信方式耦合到至少一个存储器装置(例如,存储器装置406-1)和至少一个其它存储器装置(例如,存储器装置406-2)。举例来说,图4中所说明的系统409包含主机控制器421,其经由接口404-1以通信方式耦合到具有存储器416-1和阵列401-1的存储器装置406-1。主机控制器421说明为经由接口404-2以通信方式耦合到具有存储器416-2和阵列401-2的另一存储器装置406-2。
存储器装置406-1可具备数据433-1、433-2和433-N(例如,图3的数据333)。数据433-1、433-2和433-N可以是对应于例程的代码流。可使用与主机控制器421相关联的主机与存储器装置406-1之间的公钥/私钥交换将用于例程的数据433-1、433-2和433-N编码安全地提供到存储器装置406-1上。ECC 432-1、432-2和432-M可对应于数据433-1、433-2和433-N,且使用与主机控制器421相关联的主机与存储器装置406-1之间的公钥/私钥交换安全地提供到存储器装置406-2上。将结合图6到11进一步论述对公钥和私钥的生成和验证。
在一些实例中,构成用于例程的代码流的数据433-1、433-2和433-N可以是固定的数据单元(例如,5到8个双字,但实例不限于此)。例程可以是对对应于主机控制器421的主机的操作可能重要的运行时可执行代码。为了检测数据433-1、433-2、433-N中的错误且确定校正错误的动作,主机控制器421可与不同存储器装置406-2相关联,其中不同存储器装置406-2具备例程(例如,用于在数据433-1、433-2和433-N中编码的例程的代码流)和错误校正/检测能力。
举例来说,存储器装置406-2可包含对应于例程的ECC 432-1、432-2、432-M和/或对应于例程的摘要435-1、435-2、435-P。ECC 432-1、432-2、432-M可包含对应于存储器装置406-1的数据433-1、433-2和433-N的代码,其中ECC是与其级联的位奇偶校验。举例来说,ECC 432-1可包含与错误校正部分级联的数据433-1的代码,ECC 432-2可包含与错误校正部分级联的数据433-2的代码,且ECC 432-M可包含与错误校正部分级联的数据433-N的代码。
摘要435-1、435-2和435-P是由电路系统(例如,图3的电路系统310)应用于用于例程的代码(例如,数据433-1、433-2、433-N)的散列函数的乘积。举例来说,摘要435-1、435-2和435-P可以是由对应数据(例如,数据433-1、433-2、433-N)产生的加密原语(例如,散列),其中对数据的改变可产生不同摘要。换言之,当数据433-1中存在错误时,由数据433-1的电路系统计算的摘要将改变。
举例来说,摘要435-1可以是数据433-1的散列,摘要435-2可以是数据433-2的散列,且摘要435-P可以是数据433-N的散列。单独或一起使用的ECC(432-1、432-2、432-M)和摘要(435-1、435-2、435-P)可由主机(例如,图3的主机302)、主机控制器421和/或电路系统(例如,图3的电路系统310)使用,以确定例程的代码(例如,数据433-1、433-2和433-N)在由存储器装置406-1执行的完整性。
数据433-1、433-2、433-N可与ECC 432-1、432-2、432-M和/或摘要435-1、435-2、435-P并行地执行以识别所执行代码(例如,数据433-1、433-2、433-N)中的错误。具体来说,存储器装置406-2可包含电路系统(例如,图3的电路系统310),所述电路系统配置成读取存储在存储器416-2的阵列401-2中的ECC(例如,432-1、432-2和432-M),且识别具有对应于存储器416-2的ECC(例如,432-1、432-2和432M)的读取数据433-1、433-2、433-N的不同存储器装置406-1。存储器装置406-2的电路系统和/或主机控制器421可执行完整性检查以将ECC(例如,432-1、432-2和432-M)与不同存储器装置406-1的读取数据433-1、433-2和433-N进行比较。完整性检查可基于与ECC 432-1、432-2和432-M的比较而确定和/或监测读取数据433-1、433-2和433-N的错误。
响应于读取数据433-1、433-2、433-N与ECC 432-1、432-2和432-M的比较,主机控制器421和/或电路系统可采取动作,其中所述比较指示ECC识别存储器装置406-1的读取数据433-1、433-2和/或433-N中的错误。因为对错误的校正可将新错误引入到待执行的数据中,所以主机控制器421和/或与存储器装置406-1相关联的电路系统可采取动作以避免校正由ECC 432-1、432-2和432-M识别的错误。替代地和/或另外,主机控制器421和/或与存储器装置406-1相关联的电路系统可确定错误和/或对错误的校正可如何影响由数据433-1、433-2和433-N编码的例程,且确定校正通过比较ECC 432-1、432-2和432-M与数据433-1、433-2、433-N识别的错误。以此方式,可监测和/或识别由校正动作引入的无意错误。
图5说明根据本公开的实施例的用于所执行代码中的错误识别的实例流程图。在522处,主机装置(例如,图3的主机302)可建立至少一个存储器装置以执行用于主机装置的操作的例程。举例来说,在541处,主机装置可限定例程。主机装置可通过交换公钥/私钥而安全地与一或多个存储器装置(例如,图4的存储器装置406-1和406-2)通信以交换加密数据(例如,数据433-1、433-2、433-N)以对例程进行编码。主机装置和/或与存储器装置相关联的电路系统(例如,图3的电路系统310)可为至少一个存储器装置提供ECC(例如,ECC432-1、432-2、432-M),和/或可基于ECC和/或数据计算摘要(例如,图4的435-1、435-2和435-P)。
如所提及,主机装置可以是车辆,且主机控制器可包含在车辆中或车辆外部。主机控制器可与多个存储器装置通信,存储器装置可存储对车辆(例如,主机装置)的重要例程(例如,动力系操作)进行编码的数据串。存储器装置可具备数据和对应ECC,和/或可在安全位置和/或安全时间处计算摘要。举例来说,存储器装置可在主机和/或主机控制器的制造期间具备数据、ECC和摘要。
主机装置可包含主机控制器(例如,图4的主机控制器421),其以通信方式耦合到存储器装置以识别所执行代码中的错误。在542处,主机控制器和/或相应存储器装置的电路系统可并行地执行数据流和对应ECC。举例来说,第一存储器装置可以是具有存储器和电路系统且与主机控制器通信的引导存储器装置。第二存储器装置可以是具有存储器和电路系统且还与主机控制器通信的错误校正存储器装置。系统(例如,图4的系统409)可启动,且第一存储器装置可与读取对应于例程的ECC的第二存储器装置并行地读取例程的数据流。第一存储器装置可经由电路系统(例如,图3的电路系统310)将读取数据传输到主机控制器。第二存储器装置可经由电路系统(例如,图3的电路系统310)将读取ECC传输到主机控制器。
在543处,主机控制器可接收从第一存储器装置的电路系统传输的所执行(例如,读取)数据和对应于来自第二存储器装置的电路系统的数据的ECC。在一些实例中,第二存储器装置的电路系统可配置成传输对应于由第一存储器装置传输的数据流的所计算的摘要(例如,所计算的散列)。摘要可由第二存储器装置的电路系统单独地或与ECC数据一起传输,使得主机装置可执行完整性检查。
举例来说,在544处,主机控制器可通过将接收到的ECC和/或对应于数据(且由第二存储器装置的电路系统计算)的摘要与来自第一存储器装置的读取数据进行比较来执行完整性检查。如果第二存储器装置的ECC与第一存储器装置的读取数据不匹配(在545处为“否”),那么读取数据中可存在错误。换句话说,ECC可自动校正一或多个错误,由此不再对应于第一存储器装置的数据。在此实例中,在547处,主机控制器和/或与第一存储器装置相关联的电路系统可响应于ECC识别第一存储器装置的读取数据中的错误的比较而采取动作。
在一些实例中,将第一存储器装置的读取数据与由第二存储器装置提供的ECC进行比较包含将对应于数据的散列函数与对应于ECC的摘要进行比较。所计算的摘要可能不匹配第一存储器装置的预期读取数据(例如,或预期读取数据的散列)。每一摘要(例如,图4的435-1、435-2、435-P)可基于数据(例如,图4的433-1、433-2、433-N)计算,其中对数据的任何改变可改变摘要的值。当在数据中发生错误时,由第二存储器装置输出的摘要可改变,从而指示错误。在544处,主机控制器和/或第一存储器装置的电路系统可将接收到的摘要与读取数据进行比较。如果摘要和读取数据不匹配(例如,在546处为“否”),那么错误已发生,且主机控制器和/或存储器装置的电路系统可采取547处的动作。
举例来说,第一和/或第二存储器装置的电路系统可确定例程中发生错误的位置,且确定错误可对例程具有何种影响。第一和/或第二存储器装置的电路系统可基于ECC和/或摘要对错误的识别而中止(例如,暂停)主机装置的操作。替代地和/或另外,主机控制器可基于由ECC和/或摘要进行的识别来校正读取数据中的错误。在另一实例中,采取的动作可以是指示错误的警告,其中警告由第一存储器装置和/或第二存储器装置的电路系统产生且传送到主机装置。
在在544处的完整性检查比较期间期间,主机控制器和/或第一存储器装置和/或第二存储器装置的电路系统可确定从第一存储器装置接收到的读取数据与第二存储器装置的ECC和/或摘要匹配(在548处为“是”)。匹配读取数据与ECC和/或摘要指示来自第一存储器装置的读取数据中不存在错误。在此实例中,在549处,第一和/或第二存储器装置的电路系统可继续进行由数据编码例程的操作。
图6是根据本公开的实施例的包含存储器装置606和主机602的实例系统的框图。存储器装置606和主机602可分别为例如结合图3描述的主机302和存储器装置306。
计算装置可在使用层分阶段引导,其中每一层认证并加载后续层并且在每一层提供越来越复杂的运行时间服务。一层可被前一层服务并且服务后续层,进而创建构建在下部层上并且服务高阶层的层的互连网络。如图6中所说明,层0(“L0”)651和层1(“L1”)653在存储器装置606内。层0 651可以向层1 653提供固件衍生秘密(FDS)密钥652。FDS密钥652可以描述层1 653的代码的身份标识和其它安全相关数据。在实例中,特定协议(例如稳固物联网(RIOT)核心协议)可使用FDS 652来验证其加载的层1 653的代码。在实例中,特定协议可包含装置识别组合引擎(DICE)和/或RIOT核心协议。作为实例,FDS可包含层1固件图像本身、以密码方式识别经授权层1固件的清单、在安全引导实施方案的上下文中签名的固件的固件版本号,和/或装置的安全关键配置设置。装置秘密658可用于创建FDS 652并存储在与存储器装置606相关联的存储器中。
如箭头654所说明,存储器装置可以将数据传输到主机602。传输的数据可包含公开的外部识别、证书(例如,外部标识证书)和/或外部公钥。主机602的层2(“L2”)655可接收所传输数据,且在操作系统(“OS”)657的操作中且在第一应用659-1和第二应用659-2上执行所述数据。
在实例操作中,存储器装置606可以读取装置秘密658,将层1 653的身份标识散列,并且执行计算,所述计算包含:
KL1=KDF[Fs(s),散列(“不变的信息”)]
其中KL1是外部公钥,KDF(例如,美国国家标准与技术研究所(NIST)特定公开800-108中定义的KDF)是密钥导出函数(例如,HMAC-SHA256),且Fs(s)是装置秘密658。可通过执行以下计算确定FDS 652:
FDS=HMAC-SHA256[Fs(s),SHA256(“不变的信息”)]
如箭头656所说明,主机602可以将数据传输到存储器装置606。
图7是根据本公开的实施例的用于确定数个参数的实例过程的框图。图7是确定包含外部公共识别、外部证书和外部公钥的参数的实例,如箭头754所示,所述参数随后被发送到主机装置(例如,图6中的602)的层2(例如,层2 655)。图7中的层0(“L0”)751对应于图6中的层0 651,且同样地FDS 752对应于FDS 652,层1 753对应于层1653,并且箭头754和756分别对应于箭头654和656。
将来自层0 751的FDS 752发送到层1 753,并由非对称ID生成器761使用以生成公共识别(“IDlk public”)765和私有识别767。在缩写的“IDlk public”中,“lk”指示层k(在此实例中为层1),并且“public”指示识别是公开共享的。公共识别765通过向右侧延伸且延伸到存储器装置的层1 753之外的箭头而被说明为共享。生成的私有识别767用作输入到加密器773中的密钥。加密器773可以是用于对数据进行加密的任何处理器、计算装置等。
存储器装置的层1 753可包含非对称密钥生成器763。在至少一个实例中,随机数生成器(RND)736可以可选地将随机数输入到非对称密钥生成器763中。非对称密钥生成器763可生成与存储器装置(例如图6中的存储器装置606)相关联的公钥(“KLk public”)769(被称为外部公钥)和私钥(“KLK private”)771(被称为外部私钥)。外部公钥769可为进入加密器773的输入(作为“数据”)。加密器773可使用外部私有识别767和外部公钥769的输入生成结果K'775。外部私钥771和结果K'775可以输入到额外加密器777,从而产生输出K”779。输出K”779是传输到层2(图6的655)的外部证书(“IDL1证书”)781。外部证书781可提供验证和/或认证从装置发送的数据的来源的能力。作为实例,通过验证证书,从存储器装置发送的数据可与存储器装置的身份标识相关联,如将结合图9进一步描述。此外,外部公钥(“KL1 public key”)783可传输到层2。因此,存储器装置的公共标识765、证书781和外部公钥783可传输到主机装置的层2。
图8是根据本公开的实施例的用于确定数个参数的实例过程的框图。图8示说明生成装置识别(“IDL2公共”)866、装置证书(“IDL2证书”)882和装置公钥(“KL2 public key”)884的主机(例如,图6中的主机602)的层2 855。
如图7所描述,从存储器装置的层1传输到主机的层2 855的外部公钥(“KL1 public key”)883由主机的非对称ID生成器862使用以生成主机的公共识别(“IDlk public”)866和私有识别868。在缩写的“IDlk public”中,“lk”指示层k(在此实例中为层2),并且“public”指示识别是公开共享的。公共识别866通过向右侧延伸且延伸到层2 855之外的箭头而被说明为共享。生成的私有识别868用作输入到加密器874中的密钥。
如图8中所展示,证书验证器824使用外部证书881和外部识别865以及外部公钥883。证书验证器824可验证存储器装置(例如,存储器装置606)接收的外部证书881,并响应于外部证书881经过验证或未经验证而确定是接受还是舍弃从存储器装置接收的数据。结合图9描述验证外部证书881的进一步细节。
主机的层2 855可包含非对称密钥生成器864。在至少一个实例中,随机数生成器(RND)838可以可选地将随机数输入到非对称密钥生成器864中。非对称密钥生成器864可生成与主机装置(例如,图6中的主机602)相关联的公钥(“KLk public”)870(被称为装置公钥)和私钥(“KLK private”)872(被称为装置私钥)。装置870可为进入加密器874的输入(作为“数据”)。加密器874可使用装置私有识别868和装置公钥870的输入来生成结果K'876。装置私钥872和结果K'876可输入到额外加密器878,从而产生输出K”880。输出K”880是传输回层1(图6的653)的装置证书(“IDL2证书”)882。装置证书882可提供验证和/或认证从装置发送的数据的来源的能力。作为实例,通过验证证书,从主机发送的数据可与主机的身份标识相关联,如将结合图9进一步描述。此外,装置公钥(“KL2 public key”)884可以传输到层1。因此,可将主机的公共识别866、证书882和装置公钥884传输到存储器装置的层1。
在实例中,响应于存储器装置从主机接收公钥,存储器装置可使用装置公钥对待发送到主机的数据进行加密。反之亦然,主机可使用外部公钥对待发送到存储器装置的数据进行加密。响应于主机接收使用装置公钥加密的数据,主机可使用其自身的装置私钥对数据进行解密。同样地,响应于存储器装置接收使用外部公钥加密的数据,存储器装置可使用其自身的外部私钥对数据进行解密。由于装置私钥不与主机外部的另一装置共享,并且外部私钥不与存储器装置外部的另一装置共享,因此发送到主机和存储器装置的数据保持安全。
图9是根据本公开的实施例的验证证书的实例过程的框图。在图9的所说明的实例中,从存储器装置(例如,从图6中的存储器装置606的层1 653)提供公钥983、证书981和公共识别965。证书981和外部公钥983的数据可用作进入解密器985的输入。解密器985可以是用于对数据进行解密的任何处理器、计算装置等。证书981和外部公钥983的解密结果可连同公共识别一起用作进入次级解密器987的输入,从而产生输出。如在989处所说明,外部公钥983和来自解密器987的输出可指示证书是否通过比较而得到验证,从而产生作为输出的是或否991。响应于证书经过验证,可接受、解密和/或处理从已验证装置接收的数据。响应于所述证书未被验证,从已验证装置接收的数据可被舍弃、去除和/或忽略。以此方式,可检测和避免发送不法数据的不法装置。作为实例,可识别发送待处理的数据的黑客且不处理黑客数据。
图10是根据本公开的实施例的验证签名的实例过程的框图。在装置正在发送可被验证以避免后续否认的数据的个例中,可生成签名且与数据一起发送。作为实例,第一装置可作出对第二装置的请求,且一旦第二装置执行所述请求,第一装置就可指示第一装置从未作出此类请求。抗否定方法,例如使用签名,可避免第一装置的否定,且确保第二装置可在无后续困难的情况下执行所请求的任务。
存储器装置1006(例如,图3中的存储器装置306)可将数据1090发送到主机(例如,图3中的主机302)。在1094处,存储器装置1006可使用装置私钥1071生成签名1096。签名1096可传输到主机1002。主机1002可在1098处使用先前所接收的数据1092和外部公钥1069来验证签名。以此方式,使用私钥生成签名且使用公钥验证签名。以此方式,用于生成唯一签名的私钥可保持对发送签名的装置私用,同时允许接收装置能够使用发送装置的公钥对签名进行解密以用于验证。这与数据的加密/解密形成对比,所述数据由发送装置使用接收装置的公钥加密且由接收装置使用接收器的私钥解密。在至少一个实例中,装置可通过使用内部密码术过程(例如,椭圆曲线数字签名(ECDSA)或类似过程)来验证数字签名。
图11是根据本公开的实施例的实例存储器装置1106的框图。存储器装置1106可以是例如先前结合图3所描述的存储器装置306。
如图11中所展示,存储器装置1106可包含数个存储器阵列1101-1到1101-7。存储器阵列1101-1到1101-7可以类似于先前结合图1所描述的存储器阵列101。此外,在图11所说明的实例中,存储器阵列1101-3是安全阵列,存储器阵列1101-6的子集1111包括安全阵列,并且存储器阵列1101-7的子集1113和1115包括安全阵列。子集1111、1113和1115各自可包含例如4千字节的数据。然而,本公开的实施例不限于存储器阵列或安全阵列的特定数目或布置。
如图11中所展示,存储器装置1106可包含修复(例如,恢复)块1117。修复块1117可在存储器装置1106的操作期间可能发生的错误(例如,不匹配)的情况下用作数据源。修复块1117可位于可由主机寻址的存储器装置1106的区域之外。
如图11中所展示,存储器装置1106可包含串行外围接口(SPI)1104和控制器1108。存储器装置1106可使用SPI 1104和控制器1108与主机和存储器阵列1101-1到1101-7通信,如本文中先前所描述(例如,结合图3)。
如图11中所展示,存储器装置1106可包含用于管理存储器装置1106的安全性的安全寄存器1119。举例来说,安全寄存器1119可配置应用控制器,且与应用控制器进行外部通信。此外,安全寄存器1119可以通过认证命令进行修改。
如图11中所展示,存储器装置1106可包含密钥1121。举例来说,存储器装置1106可包含八个不同的槽来存储密钥,例如根密钥、DICE-RIOT密钥和/或其它外部会话密钥。
如图11中所展示,存储器装置1106可包含电子可擦除可编程只读存储器(EEPROM)1123。EEPROM 1123可提供主机可用的安全非易失性区域,其中可擦除和编程各个字节的数据。
如图11中所展示,存储器装置1106可包含计数器(例如,单调计数器)1125。计数器1125可用作从主机接收和/或发送到主机的命令(例如,签署命令集或序列)的防重放机制(例如,新鲜度生成器)。举例来说,存储器装置1106可包含六个不同的单调计数器,其中两个可由存储器装置1106用于认证命令,并且其中四个可由主机使用。
如图11中所展示,存储器装置1106可包含SHA-256密码散列函数1127和/或HMAC-SHA256密码散列函数1129。存储器装置1106可使用SHA-256和/或HMAC-SHA256密码散列函数1127和1129来生成密码散列,例如,如本文中先前结合图3所描述的更新220的密码散列,和/或如本文中先前描述的用于验证存储在存储器阵列1101-1到1101-7中的数据的黄金散列。此外,存储器装置1106可以支持DICE-RIOT1131的L0和L1。
尽管已在本文中说明并描述了具体实施例,但所属领域的一般技术人员应了解,经计算以实现相同结果的布置可取代所展示的具体实施例。本公开意图涵盖本公开的数个实施例的修改或变化。应理解,以上描述是以说明性方式而非限制性方式进行的。在查阅以上描述后,以上实施例和本文未具体描述的其它实施例的组合对于所属领域的一般技术人员来说将是显而易见的。本公开的数个实施例的范围包含其中使用上述结构和方法的其它应用。因此,本公开的数个实施例的范围应当参考所附权利要求书连同此类权利要求所授权的等效物的完整范围来确定。
在前述具体实施方式中,出于简化本公开的目的而将一些特征一起分组在单个实施例中。本公开的这一方法不应被理解为反映本公开的所公开实施例必须使用比每一权利要求中明确陈述的特征更多的特征的意图。实际上,如所附权利要求书所反映,本发明主题在于单个所公开实施例的不到全部的特征。因此,所附权利要求书特此并入于具体实施方式中,其中每一权利要求就其自身而言作为单独实施例。
Claims (20)
1.一种设备,其包括:
存储器;和
电路系统,其与所述存储器相关联,所述电路系统配置成:
读取存储在所述存储器的安全阵列中的数据;
识别具有对应于所述存储器的读取数据的错误校正码(ECC)的不同存储器;
执行完整性检查以将所述ECC与所述存储器的所述读取数据进行比较;和
响应于所述存储器的所述读取数据与所述ECC的所述比较而采取动作,其中所述比较指示所述ECC识别所述存储器的所述读取数据中的错误。
2.根据权利要求1所述的设备,其中所述电路系统进一步配置成确定应用于由所述ECC识别的所述错误的校正将额外错误引入到所述ECC。
3.根据权利要求1所述的设备,其中所述ECC由所述不同存储器与所述存储器的所述读取数据并行地读取。
4.根据权利要求1到3中任一项所述的设备,其中所述完整性检查由所述存储器响应于所述存储器的启动过程而执行。
5.根据权利要求1到3中任一项所述的设备,其中所采取的动作是响应于由所述ECC识别的所述错误而避免校正所述存储器的所述读取数据中的所述错误。
6.根据权利要求1到3中任一项所述的设备,其中所述电路系统进一步配置成确定由所述ECC识别的所述错误是否影响与所述存储器的所述读取数据相关联的主机装置的操作。
7.根据权利要求1到3中任一项所述的设备,其中所述不同存储器的所述ECC和所述存储器的所述读取数据与同所述存储器和所述不同存储器相关联的主机装置的动力系操作相关联;且
其中所述电路系统进一步配置成:
响应于所述ECC识别所述存储器的所述读取数据中的所述错误的所述指示而生成警告;和
将所述警告传输到与所述存储器和所述不同存储器相关联的所述主机装置。
8.根据权利要求1到3中任一项所述的设备,其中所述存储器基于由所述不同存储器的所述ECC识别的所述错误而避免对所述存储器的所述读取数据应用校正。
9.一种设备,其包括:
存储器;和
电路系统,其与所述存储器相关联,所述电路系统配置成:
读取存储在所述存储器的安全阵列中的错误校正码(ECC);
识别具有对应于所述存储器的所述ECC的读取数据的不同存储器;
执行完整性检查以将所述ECC与所述不同存储器的所述读取数据进行比较;和
响应于所述不同存储器的所述读取数据与所述存储器的所述ECC的所述比较而采取动作,其中所述比较指示所述ECC识别所述不同存储器的所述读取数据中的错误。
10.根据权利要求9所述的设备,其中所述存储器包含所述ECC以监测当所述数据由所述不同存储器读取时引入到所述不同存储器的所述读取数据的错误。
11.根据权利要求9所述的设备,其中所述存储器和所述不同存储器与主机相关联,且其中当制造所述主机时,将所述读取数据写入到所述不同存储器且将所述ECC写入到所述存储器。
12.根据权利要求9到11中任一项所述的设备,其中在所述存储器和所述不同存储器的所述启动时读取所述不同存储器的所述读取数据和所述存储器的所述ECC。
13.一种系统,其包括:
控制器;
第一存储器装置,其与所述控制器通信;
第二存储器装置,其与所述控制器通信,所述控制器配置成:
从所述第一存储器装置接收读取数据;
接收对应于所述第一存储器装置的所述读取数据的错误校正码(ECC);
通过将所述第一存储器装置的所述读取数据与由所述第二存储器装置提供的所述ECC进行比较来执行完整性检查;和
响应于所述第一存储器装置的所述读取数据与所述ECC的所述比较而采取动作,其中所述比较指示所述ECC识别所述第一存储器装置的所述读取数据中的错误。
14.根据权利要求13所述的系统,其中所述控制器与车辆相关联,且所述第一存储器装置的所述读取数据是与所述车辆的动力系操作相关联的数据。
15.根据权利要求14所述的系统,其中所述车辆的操作响应于由所述ECC识别的所述错误而停止。
16.根据权利要求13到15中任一项所述的系统,其中将所述第一存储器装置的所述读取数据与由所述第二存储器装置提供的所述ECC进行比较包含将对应于所述数据的散列函数与对应于所述ECC的摘要进行比较。
17.根据权利要求13到15中任一项所述的系统,其中在所述第一存储器装置的所述读取数据中识别的所述错误由所述控制器校正。
18.一种方法,其包括:
接收第一存储器装置的读取数据;
从第二存储器装置接收错误校正码(ECC),其中所述ECC对应于所述第一存储器装置的所述读取数据;
将所述ECC形成所述第二存储器装置与所述第一存储器装置的所述读取数据进行比较以确定由所述ECC检测到的错误;
基于所述ECC与所述第一存储器的所述读取数据的所述比较来确定所述第一存储器的所述读取数据的完整性;和
响应于所述第一存储器的所述读取数据的所确定的完整性而采取动作。
19.根据权利要求18所述的方法,其中采取动作进一步包括:
由所述第一存储器装置产生指示所述第一存储器装置的所述读取数据中的错误且由所述完整性检查识别的警告;和
将指示所识别的所述错误的所述警告传输到与所述第一存储器装置通信的控制器。
20.根据权利要求18到19中任一项所述的方法,其中接收所述第一存储器装置的所述读取数据包含接收指令以执行例程,从而操作主车辆的动力系;且
其中采取动作进一步包括:
由包含于所述车辆中的控制器响应于由所述所确定的完整性识别的错误而接收警告;和
由所述控制器中止所述主车辆的所述动力系操作。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US16/362,751 | 2019-03-25 | ||
US16/362,751 US10872010B2 (en) | 2019-03-25 | 2019-03-25 | Error identification in executed code |
PCT/US2020/022213 WO2020197776A1 (en) | 2019-03-25 | 2020-03-12 | Error identification in executed code |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113632066A true CN113632066A (zh) | 2021-11-09 |
CN113632066B CN113632066B (zh) | 2024-12-24 |
Family
ID=72604285
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202080024230.5A Active CN113632066B (zh) | 2019-03-25 | 2020-03-12 | 所执行代码中的错误识别 |
Country Status (3)
Country | Link |
---|---|
US (3) | US10872010B2 (zh) |
CN (1) | CN113632066B (zh) |
WO (1) | WO2020197776A1 (zh) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR102720690B1 (ko) * | 2019-06-12 | 2024-10-22 | 삼성전자주식회사 | 물리적 복제 방지 기능 셀들을 포함하는 보안 장치 및 그것의 동작 방법 |
KR20210084871A (ko) | 2019-12-30 | 2021-07-08 | 삼성전자주식회사 | 안전 민감 데이터의 무결성 점검 장치 및 이를 포함하는 전자 기기 |
EP3910880A1 (en) * | 2020-05-14 | 2021-11-17 | Nokia Technologies Oy | Blockchain based device monitoring |
KR20220019156A (ko) * | 2020-08-06 | 2022-02-16 | 삼성전자주식회사 | 물리적 복제 방지 셀들을 포함하는 포함하는 보안 장치 및 그것의 동작 방법 |
US11861012B2 (en) * | 2021-07-01 | 2024-01-02 | Macronix International Co., Ltd. | Memory device having safety boot capability |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4985848A (en) * | 1987-09-14 | 1991-01-15 | Visual Information Technologies, Inc. | High speed image processing system using separate data processor and address generator |
CN101048754A (zh) * | 2004-10-25 | 2007-10-03 | 罗伯特·博世有限公司 | 在多处理器系统中从至少一个数据源分配数据的方法和设备 |
CN102073563A (zh) * | 2011-02-23 | 2011-05-25 | 深圳市江波龙电子有限公司 | 闪存设备、闪存设备中存储块的管理方法及系统 |
CN105653391A (zh) * | 2014-11-13 | 2016-06-08 | 群联电子股份有限公司 | 数据存取方法、存储器控制电路单元及存储器储存装置 |
CN107430537A (zh) * | 2015-03-27 | 2017-12-01 | 英特尔公司 | 从片上dram ecc中提取选择性信息 |
Family Cites Families (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4458349A (en) * | 1982-06-16 | 1984-07-03 | International Business Machines Corporation | Method for storing data words in fault tolerant memory to recover uncorrectable errors |
US4692893A (en) * | 1984-12-24 | 1987-09-08 | International Business Machines Corp. | Buffer system using parity checking of address counter bit for detection of read/write failures |
US5519849A (en) * | 1992-12-07 | 1996-05-21 | Digital Equipment Corporation | Method of reducing the complexity of an I/O request to a RAID-4 or RAID-5 array |
JPH06242977A (ja) * | 1993-02-16 | 1994-09-02 | Mitsubishi Electric Corp | 1チップマイクロプロセッサ |
US6012839A (en) * | 1995-06-30 | 2000-01-11 | Quantum Corporation | Method and apparatus to protect data within a disk drive buffer |
US5784548A (en) * | 1996-03-08 | 1998-07-21 | Mylex Corporation | Modular mirrored cache memory battery backup system |
US20060080515A1 (en) * | 2004-10-12 | 2006-04-13 | Lefthand Networks, Inc. | Non-Volatile Memory Backup for Network Storage System |
JP5052070B2 (ja) * | 2006-08-23 | 2012-10-17 | ルネサスエレクトロニクス株式会社 | データ読み出し回路及びデータ読み出し方法 |
JP5245472B2 (ja) * | 2008-03-13 | 2013-07-24 | 富士通株式会社 | 制御方法、ディスクアレイ装置 |
JP5286956B2 (ja) * | 2008-06-13 | 2013-09-11 | 富士通株式会社 | 制御方法、ディスクアレイ装置 |
US8959280B2 (en) * | 2008-06-18 | 2015-02-17 | Super Talent Technology, Corp. | Super-endurance solid-state drive with endurance translation layer (ETL) and diversion of temp files for reduced flash wear |
US9069687B2 (en) | 2010-01-29 | 2015-06-30 | Avago Technologies General Ip (Singapore) Pte. Ltd. | Memory read-channel with selective transmission of error correction data |
KR102083498B1 (ko) | 2012-07-03 | 2020-04-14 | 삼성전자 주식회사 | 선택적 ecc 동작을 수행하는 메모리 장치 |
US9235466B2 (en) | 2012-07-03 | 2016-01-12 | Samsung Electronics Co., Ltd. | Memory devices with selective error correction code |
US9448877B2 (en) * | 2013-03-15 | 2016-09-20 | Cisco Technology, Inc. | Methods and apparatus for error detection and correction in data storage systems using hash value comparisons |
KR102249810B1 (ko) * | 2014-07-23 | 2021-05-11 | 삼성전자주식회사 | 스토리지 장치 및 스토리지 장치의 동작 방법 |
US9327722B1 (en) | 2014-11-18 | 2016-05-03 | Ford Global Technologies, Llc | Vehicle torque control |
US9606865B2 (en) * | 2015-02-23 | 2017-03-28 | Sandisk Technologies Llc | Method and apparatus for configuring a memory device |
US9934086B2 (en) | 2016-06-06 | 2018-04-03 | Micron Technology, Inc. | Apparatuses and methods for selective determination of data error repair |
US10437491B2 (en) * | 2016-09-27 | 2019-10-08 | Spin Memory, Inc. | Method of processing incomplete memory operations in a memory device during a power up sequence and a power down sequence using a dynamic redundancy register |
US10489253B2 (en) | 2017-05-16 | 2019-11-26 | International Business Machines Corporation | On-demand GPR ECC error detection and scrubbing for a multi-slice microprocessor |
US10261914B2 (en) * | 2017-08-25 | 2019-04-16 | Micron Technology, Inc. | Methods of memory address verification and memory devices employing the same |
US10901839B2 (en) * | 2018-09-26 | 2021-01-26 | International Business Machines Corporation | Common high and low random bit error correction logic |
JP7018864B2 (ja) * | 2018-10-15 | 2022-02-14 | ルネサスエレクトロニクス株式会社 | 半導体装置及びその制御方法 |
-
2019
- 2019-03-25 US US16/362,751 patent/US10872010B2/en active Active
-
2020
- 2020-03-12 CN CN202080024230.5A patent/CN113632066B/zh active Active
- 2020-03-12 WO PCT/US2020/022213 patent/WO2020197776A1/en active Application Filing
- 2020-12-11 US US17/119,676 patent/US11321168B2/en active Active
-
2022
- 2022-05-02 US US17/734,837 patent/US11755406B2/en active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4985848A (en) * | 1987-09-14 | 1991-01-15 | Visual Information Technologies, Inc. | High speed image processing system using separate data processor and address generator |
CN101048754A (zh) * | 2004-10-25 | 2007-10-03 | 罗伯特·博世有限公司 | 在多处理器系统中从至少一个数据源分配数据的方法和设备 |
CN102073563A (zh) * | 2011-02-23 | 2011-05-25 | 深圳市江波龙电子有限公司 | 闪存设备、闪存设备中存储块的管理方法及系统 |
CN105653391A (zh) * | 2014-11-13 | 2016-06-08 | 群联电子股份有限公司 | 数据存取方法、存储器控制电路单元及存储器储存装置 |
CN107430537A (zh) * | 2015-03-27 | 2017-12-01 | 英特尔公司 | 从片上dram ecc中提取选择性信息 |
Also Published As
Publication number | Publication date |
---|---|
US10872010B2 (en) | 2020-12-22 |
US20200310913A1 (en) | 2020-10-01 |
CN113632066B (zh) | 2024-12-24 |
US20210133023A1 (en) | 2021-05-06 |
US11755406B2 (en) | 2023-09-12 |
US11321168B2 (en) | 2022-05-03 |
US20220261309A1 (en) | 2022-08-18 |
WO2020197776A1 (en) | 2020-10-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN113632066B (zh) | 所执行代码中的错误识别 | |
US11960632B2 (en) | Data attestation in memory | |
US11683155B2 (en) | Validating data stored in memory using cryptographic hashes | |
CN113632084B (zh) | 运行时代码执行验证方法、设备及系统 | |
US11669643B2 (en) | Block chain based validation of memory commands | |
CN113826071A (zh) | 空中更新确认 | |
US11228443B2 (en) | Using memory as a block in a block chain | |
US12143519B2 (en) | Using memory as a block in a block chain |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |