CN115168872B - 基于去中心化信任的公有云下tee状态连续性保护方法 - Google Patents

基于去中心化信任的公有云下tee状态连续性保护方法 Download PDF

Info

Publication number
CN115168872B
CN115168872B CN202211087946.7A CN202211087946A CN115168872B CN 115168872 B CN115168872 B CN 115168872B CN 202211087946 A CN202211087946 A CN 202211087946A CN 115168872 B CN115168872 B CN 115168872B
Authority
CN
China
Prior art keywords
state
instance
service instance
state service
application program
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.)
Active
Application number
CN202211087946.7A
Other languages
English (en)
Other versions
CN115168872A (zh
Inventor
张殷乾
彭维
牛健宇
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Southwest University of Science and Technology
Original Assignee
Southwest University of Science and Technology
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Southwest University of Science and Technology filed Critical Southwest University of Science and Technology
Priority to CN202211087946.7A priority Critical patent/CN115168872B/zh
Priority to PCT/CN2022/119945 priority patent/WO2024050869A1/zh
Publication of CN115168872A publication Critical patent/CN115168872A/zh
Application granted granted Critical
Publication of CN115168872B publication Critical patent/CN115168872B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • 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/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • 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/60—Protecting data
    • G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
    • G06F21/6218—Protecting access to data via a platform, e.g. using keys or access control rules to a system of files or objects, e.g. local or distributed file system or database
    • G06F21/6227—Protecting access to data via a platform, e.g. using keys or access control rules to a system of files or objects, e.g. local or distributed file system or database where protection concerns the structure of data, e.g. records, types, queries

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Software Systems (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • Databases & Information Systems (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Storage Device Security (AREA)

Abstract

本发明公开了一种基于去中心化信任的公有云下TEE状态连续性保护方法、***、智能终端及存储介质，所述方法包括：基于区块链对状态服务实例进行初始化处理；基于加密传输和会话密钥更新应用程序实例的状态请求；控制所述应用程序实例读取自己存储在所述状态服务实例中的最新状态；当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。本发明中，使用区块链消除了对中心化可信实体的依赖，且只依赖区块链进行初始化，提高了状态更新和读取的速度。

Description

基于去中心化信任的公有云下TEE状态连续性保护方法
技术领域
本发明涉及计算机技术领域，尤其涉及的是一种基于去中心化信任的公有云下TEE状态连续性保护方法、***、智能终端及计算机可读存储介质。
背景技术
随着科技不断发展，越来越多的厂商选择将业务部署到公有云上，在带来便利的同时，隐私保护和数据安全问题也日益严峻，由于操作***的复杂性以及安全漏洞、安全机制容易被绕过等问题，把用户指纹、证书等机密数据和普通应用数据保存在公有云上无法保证其机密性、完整性和可用性。为此，业界提出了可信执行环境（Trusted ExecutionEnvironment，TEE）的设计，例如亚马逊云，谷歌云，阿里巴巴云平台使用TEE技术为用户提供机密计算服务，但TEE保护的应用程序仍然会受到回滚攻击或者分叉攻击，攻击者通过这些攻击可以将TEE的状态回滚到过时的版本或被分叉成多个版本，导致TEE的状态连续性被破坏。
现有技术中，通常利用硬件可信计数器提供一个安全容器，远程用户将代码和数据上载到安全容器中，在对容器执行计算时，安全容器用来保护数据的机密性和完整性，但硬件可信计数器的状态更新和读取的速度慢，不能满足云环境中对更新状态的要求。
因此，现有技术还有待改进和发展。
发明内容
本发明的主要目的在于提供一种基于去中心化信任的公有云下TEE状态连续性保护方法，旨在解决现有技术中硬件可信计数器的状态更新和读取的速度慢，不能满足云环境中对更新状态的要求的问题。
为了实现上述目的，本发明第一方面提供一种基于去中心化信任的公有云下TEE状态连续性保护方法，所述基于去中心化信任的公有云下TEE状态连续性保护方法包括：基于区块链对状态服务实例进行初始化处理；基于加密传输和会话密钥更新应用程序实例的状态请求；控制所述应用程序实例读取存储在所述状态服务实例中的最新状态；当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。
可选的，所述基于去中心化信任的公有云下TEE状态连续性保护方法还包括：通过所述区块链的第一接口将所述状态服务实例的身份标识号码和公钥写到所述区块链上，并记录初始化信息；通过所述区块链的第二接口根据所述状态服务实例的身份标识号码和公钥在所述区块链上查询初始化信息；通过所述区块链的第三接口在所述应用程序实例更新状态摘要时，向所述状态服务实例请求更新是否合法；通过所述区块链的第四接口获取所述应用程序实例的状态摘要。
可选的，所述基于区块链对所述状态服务实例进行初始化处理，具体包括：
将任意一个所述状态服务实例设置为领导者，通过远程证明相互验证所述领导者和其他状态服务实例的身份，并建立所述领导者与其他状态服务实例的安全通信信道；
控制所述领导者和其他状态服务实例生成非对称密钥对，并将所述状态服务实例的公钥发送给所述领导者，所述领导者将接收到的公钥列表分发给其他状态服务实例；
控制每个所述状态服务实例向所述区块链发送读请求，所述读请求包括所述状态服务实例的唯一标识符；
控制每个所述状态服务实例向所述区块链发送写请求，当收到来自所述区块链的确认字符时，控制每个所述状态服务实例创建本地内存，所述本地内存包括其他状态服务实例状态条目的状态服务实例状态表和空的应用程序实例状态表；
控制本地状态服务实例将所述公钥列表放置到所述本地状态服务实例的本地内存以生成状态服务实例配置表，并控制所述本地状态服务实例通过运行经过验证的密钥协议与其他状态服务实例建立成对会话密钥；
密封并存储所述本地状态服务实例的密钥对、所述状态服务实例配置表和所述应用程序实例状态表。
可选的，所述基于加密传输和会话密钥更新所述应用程序实例的状态请求，具体包括：
当所述应用程序实例接收到用户请求时，密封并存储所述应用程序实例的状态快照到磁盘上，并更新所述应用程序实例的状态摘要，向所述本地状态服务实例发送状态更新请求；
当所述本地状态服务实例接收到状态更新请求时，存储所述状态更新请求到请求队列；
当处理所述状态更新请求时，控制所述本地状态服务实例向所述本地状态服务实例和其他状态服务实例发送所述状态更新请求；
当所述本地状态服务实例和其他状态服务实例接收到所述状态更新请求时，更新所述本地状态服务实例和其他状态服务实例状态内存中所述本地状态服务实例的状态摘要并发送回复消息；
当所述本地状态服务实例收到超过f+1个所述回复消息时，所述本地状态服务实例向其他状态服务实例发送决定消息，其中，f为共识节点容错数；
当其他状态服务实例收到所述决定消息后，检查其他状态服务实例是否已回复所述准备消息，若是，则控制所述状态服务实例发回包含状态摘要的确认字符；
当所述本地状态服务实例收到超过f+1个所述确认字符时，控制所述本地状态服务实例更新所述应用程序实例的状态摘要并向所述应用程序实例回复包含状态摘要的确认字符；
当所述应用程序实例收到所述确认字符时，将其状态更新为最新状态并发布相关输出。
可选的，所述控制所述应用程序实例读取所述状态服务实例的最新状态，具体包括：
控制所述应用程序实例调用函数向所述本地状态服务实例发送状态读取请求；
当所述本地状态服务实例收到所述状态读取请求时，检索全部所述状态服务实例的最新状态；
检查每个所述状态服务实例的状态服务实例状态表，并将存储的状态摘要发回给所述本地状态服务实例；
当收到f+1个所述状态摘要时，选择索引最大的状态摘要作为所述本地状态服务实例的状态摘要。
可选的，所述当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态，具体包括：
控制重启后的所述状态服务实例与其他状态服务实例建立新的会话密钥；
控制重启后的所述状态服务实例获取所述状态服务实例和其他状态服务实例的状态摘要；
选择索引最大的状态摘要作为重启后的所述状态服务实例的状态摘要；
控制所述状态服务实例从操作***获取密封的状态摘要，将所述状态摘要与从其他状态服务实例获取的状态摘要进行匹配，若匹配，则控制所述状态服务实例恢复所述状态服务实例的状态摘要。
可选的，所述当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态，具体包括：
控制重启后的所述应用程序实例向所述本地状态服务实例请求最新状态摘要；
控制所述应用程序实例获取所述操作***的密封状态数据，将所述密封状态数据与所述最新状态摘要进行匹配，若匹配成功，则更新重启后所述应用程序实例的状态摘要并发布输出。
本发明第二方面提供一种基于去中心化信任的公有云下TEE状态连续性保护***，其特征在于，所述基于去中心化信任的公有云下TEE状态连续性保护***包括：
初始化模块，用于基于区块链对状态服务实例进行初始化处理；
状态更新模块，用于基于加密传输和会话密钥更新应用程序实例的状态请求；
状态读取模块，用于控制所述应用程序实例读取所述状态服务实例的最新状态；
重启模块，用于当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；还用于当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。
本发明第三方面提供一种智能终端，所述智能终端包括存储器、处理器以及存储在所述存储器上并可在所述处理器上运行的基于去中心化信任的公有云下TEE状态连续性保护程序，所述基于去中心化信任的公有云下TEE状态连续性保护程序被所述处理器执行时实现如上任意一项所述基于去中心化信任的公有云下TEE状态连续性保护方法的步骤。
本发明第四方面提供一种计算机可读存储介质，所述计算机可读存储介质上存储有基于去中心化信任的公有云下TEE状态连续性保护程序，所述基于去中心化信任的公有云下TEE状态连续性保护程序被处理器执行时实现如上任意一项所述基于去中心化信任的公有云下TEE状态连续性保护方法的步骤。
由上可见，本发明实施例提供的一种基于去中心化信任的公有云下TEE状态连续性保护方法，所述基于去中心化信任的公有云下TEE状态连续性保护方法包括：基于区块链对状态服务实例进行初始化处理；基于加密传输和会话密钥更新应用程序实例的状态请求；控制所述应用程序实例读取所述状态服务实例的最新状态；当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。与现有技术相比，本发明使用区块链消除了对中心化可信实体的依赖，且只依赖区块链进行初始化，提高了状态更新和读取的速度。
附图说明
为了更清楚地说明本发明实施例中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其它的附图。
图1是本本发明实施例提供一种基于去中心化信任的公有云下TEE状态连续性保护方法的流程示意图；
图2是本发明实施例提供的步骤S10的流程示意图；
图3是本发明实施例提供的***初始化协议的交互示意图；
图4是本发明实施例提供的本地状态服务实例的内存布局示意图；
图5是本发明实施例提供的步骤S20的流程示意图；
图6是本发明实施例提供的状态更新协议的交互示意图；
图7是本发明实施例提供的步骤S30的流程示意图；
图8是本发明实施例提供的状态读取协议的交互示意图；
图9是本发明实施例提供的基于去中心化信任的公有云下TEE状态连续性保护***的结构示意图；
图10是本发明实施例提供的基于去中心化信任的公有云下TEE状态连续性保护***的架构示意图；
图11是本发明实施例提供的智能终端的内部结构原理框图。
具体实施方式
以下描述中，为了说明而不是为了限定，提出了诸如特定***结构、技术之类的具体细节，以便透彻理解本发明实施例。然而，本领域的技术人员应当清楚，在没有这些具体细节的其它实施例中也可以实现本发明。在其它情况下，省略对众所周知的***、装置、电路以及方法的详细说明，以免不必要的细节妨碍本发明的描述。
应当理解，当在本说明书和所附权利要求书中使用时，术语“包括”指示所描述特征、整体、步骤、操作、元素和/或组件的存在，但并不排除一个或多个其它特征、整体、步骤、操作、元素、组件和/或其集合的存在或添加。
还应当理解，在本发明说明书中所使用的术语仅仅是出于描述特定实施例的目的而并不意在限制本发明。如在本发明说明书和所附权利要求书中所使用的那样，除非上下文清楚地指明其它情况，否则单数形式的“一”、“一个”及“该”意在包括复数形式。
还应当进一步理解，在本发明说明书和所附权利要求书中使用的术语“和/或”是指相关联列出的项中的一个或多个的任何组合以及所有可能组合，并且包括这些组合。
下面结合本发明实施例的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明的一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其它实施例，都属于本发明保护的范围。
在下面的描述中阐述了很多具体细节以便于充分理解本发明，但是本发明还可以采用其它不同于在此描述的其它方式来实施，本领域技术人员可以在不违背本发明内涵的情况下做类似推广，因此本发明不受下面公开的具体实施例的限制。
随着科技不断发展，越来越多的厂商选择将业务部署到公有云上，例如英特尔软件保护扩展（Software Guard Extension，SGX)能够使应用程序直接计算，不会泄露机密数据。例如，英特尔SGX为受保护的计算提供安全的隔离环境飞地（Enclave），并将代码和数据存储在飞地（Enclave）中，Enclave是一个被保护的内容容器，用于存放应用程序敏感数据和代码；现有技术中通常通过TEE为用户提供机密计算服务，旨在增强客户外包数据或代码的安全和隐私性。但TEE中的状态应用程序依赖于不受信任的操作***来存储状态，因此会遭受回滚或分叉攻击，它们的状态可能回滚到正确但已经过时的版本或被分叉成多个版本，导致状态连续性造成破坏，另外，当***发生重启、断电或崩溃时，受保护模块应在状态连续性中断之前恢复到相同的状态。
状态连续性一旦违规将会产生严重后果，例如支付、信用***、可信存储、智能合约等都会受到影响，例如，在TEE中实现的支付***中，状态连续性一旦违规，攻击者可以通过还原其账户余额的状态在多个支付中花费相同的硬币（即双花攻击）。
针对上述问题现有技术中有基于硬件的解决方案，例如，使用定时计数器做状态更新，不但只有有限次的写操作，且状态更新和读取的速度较慢，不能满足云环境中对更新状态的要求。基于软件的解决方案，例如，将可信计数器装载到单个可信服务器或分布式集合服务器，则依赖于可信的管理员做***初始化，使得这类方案仍然存在依赖中心化信任的问题。
为了解决现有技术中的问题，本发明提供一种基于去中心化信任的公有云下TEE状态连续性保护方法，该方法依赖于区块链（即去中心化信任）和基于TEE的分布式***，能够为云上用户的受保护TEE应用实例提供高性能的状态连续性保护，例如能够支持应用在云TEE环境下无限且快速的状态更新。
示例性方法
如图1所示，本发明实施例提供一种基于去中心化信任的公有云下TEE状态连续性保护方法的流程示意图，具体的，所述基于去中心化信任的公有云下TEE状态连续性保护方法包括：
步骤S10：基于区块链对状态服务实例进行初始化处理；
步骤S20：基于加密传输和会话密钥更新应用程序实例的状态请求；
步骤S30：控制所述应用程序实例读取自身存储在所述状态服务实例中的最新状态；
步骤S40：当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。
本实施例中，仅在初始化处理中使用区块链，既奠定了去中心化的信任，消除了对中央可信实体的依赖，同时尽可能减少与区块链的互动，使得***可以减少高昂的区块链交互开销，降低成本。
需要说明的是，本实施例可以应用在由云服务商管理可信平台上，例如，支持英特尔SGX的平台，其中，每个支持SGX的可信平台运行多个飞地（enclave）实例，具体的，所述飞地实例可以分为以下两种类型：
应用程序实例(Application Enclave，AE)，AE是由独立软件供应商创建和上传的应用程序，用于处理客户的请求并返回相应的输出。
状态服务实例(State Enclave，SE)，SE是为AE提供状态连续***的enclave实例。每个AE都可以链接到同一平台上的本地SE（即目标SE），并根据所述方法保护其状态连续性。
本实施例中，所述状态服务实例通过区块链接口与所述区块链进行交互，所述区块链使用拜占庭容错共识作为骨干协议，进一步实现了键值存储，使用户能够通过身份标识号码（Identity Document，ID）识别将元组〈key，blob〉写入区块链，其中blob是任意与键映射的字符串，客户的身份ID既可以是账本标识符，也可以是数字的公钥签名方案，只有密钥所有者有权更新关联值，而任何一方都可以使用密钥读取关联的值，密钥的创建者可以加密关联的值以保护数据隐私。
本实施例中，通过所述区块链的第一接口将所述状态服务实例的身份标识号码和公钥写到所述区块链上，并记录初始化信息；通过所述区块链的第二接口根据所述状态服务实例的身份标识号码和公钥在所述区块链上查询初始化信息；通过所述区块链的第三接口在所述应用程序实例更新状态摘要时，向所述状态服务实例请求更新是否合法；通过所述区块链的第四接口获取所述应用程序实例的状态摘要。
具体的，所述第一接口为Blockchain.write(ID，〈key，blob〉)：用于状态服务实例把请求记录在区块链。ID是区块链的标识，key和blob是一对键值存储。如果写入成功，就会返回一个的σ。客户端可以运行签名算法进行验证。
所述第二接口为Blockchain.read(ID，key)→(blob，σ)：读取算法返回与key和验证器σ关联的blob。状态服务实例通过σ可以检查返回值的完整性。
所述第三接口为writeState(value)：用于在应用程序实例更新自身状态时，向状态服务实例请求更新是否合法，如果合法，返回一个确认字符以确认应用程序实例。
所述第四接口为readState()→value：用于获取所述应用程序实例的状态摘要。需要注意的是，若应用程序实例没有之前写入任何值，则返回一个空值。
通过以上接口，本实施例中应用程序实例可以实行先记录后执行，当应用程序实例更新其状态时，首先密封并存储一个状态快照在磁盘上，然后调用函数writeState()来存储关联的状态摘要，一旦应用程序实例收到确认字符，就可以更新其状态并发布输出。
当应用程序实例需要验证重新启动后操作***提供的数据的新鲜度时，调用函数readState()获取其最新的状态摘要，检查状态摘要是否与未密封的状态快照数据匹配。本发明中，每个应用程序实例都与一个本地状态服务实例链接，本地状态服务实例提供多个接口提高证明速度和状态管理灵活性。
需要说明的是，本实施例的目的是实现一个初始化协议，其中，所有的状态服务实例自主完成配置，不涉及任何受信任的管理员，需要注意的是，在初始化的过程中应该确保只有一组合法的状态服务实例具有已知的在支持SGX的可信平台上运行的身份。如果没有此保证，应用程序实例可以链接到多个组，且每个组可以存储不同的状态，将导致违反状态连续性。
由于缺乏可信性，在初始化过程中存在两个挑战：第一、所有状态服务实例必须以分布式方式构建PKI方式，这通常会导致较高的消息复杂性。第二、对保证只有一个初始化组，一个集中式***通常使用受信任的管理员来提供密钥配置。
为了应对第一个挑战，本实施例中采用领导者模式进行初始化，将任意一个所述状态服务实例设置为领导者，领导者可以由云服务商委派，且领导者选择不影响安全性。首先，领导者通过远程证明相互验证其他所述状态服务实例，并与其他所述状态服务实例建立通信通道，互相证明彼此的身份后建立信任链条，然后，领导者可以收集和分发其他状态服务实例的公钥。
为了应对第二个挑战，本实施例依赖于与区块链的交互，在初始化期间，一个状态服务实例必须在账本上发布记录〈uid，blob〉，其中uid是平台上飞地（Enclave）程序唯一的标识符，且blob可以是配置信息；当另一个状态服务实例在同一个平台开始初始化，它也会生成相同的uid，在区块链中找到之前的记录，然后中止初始化。因此，本实施例中在同一个平台不会出现分叉状态服务实例。整个初始化是自主完成的不涉及任何受信任的管理员。
本实施例中，如图2所示，图2是本发明实施例提供的基于区块链对所述状态服务实例进行初始化处理的流程示意图，所述步骤S10具体包括：
步骤S101：将任意一个所述状态服务实例设置为领导者，通过远程证明相互验证所述领导者和其他状态服务实例的身份，并建立所述领导者与其他状态服务实例的安全通信通道；
步骤S102：控制所述领导者和其他状态服务实例生成非对称密钥对，并将所述状态服务实例的公钥发送给所述领导者，所述领导者将接收到的公钥列表分发给其他状态服务实例；
步骤S103：控制每个所述状态服务实例向所述区块链发送读请求，所述读请求包括所述状态服务实例的唯一标识符；在同一可信执行环境平台上的多个应用实例具有相同的标识符；
步骤S104：控制每个所述状态服务实例向所述区块链发送写请求，当收到来自所述区块链的确认字符时，控制每个所述状态服务实例创建本地内存，所述本地内存包括其他状态服务实例状态条目的状态服务实例状态表和空的应用程序实例状态表；
步骤S105：控制本地状态服务实例将所述公钥列表放置到所述本地状态服务实例的本地内存以生成状态服务实例配置表，并控制所述本地状态服务实例通过运行经过验证的密钥协议与其他状态服务实例建立成对会话密钥；
步骤S106：密封并存储所述本地状态服务实例的密钥对、所述状态服务实例配置表和所述应用程序实例状态表。
需要说明的是，所述步骤S101至步骤S104为初始化协议架构的方法，具体的，如图3所示，图3是本发明实施例提供的***初始化协议的交互示意图，通过步骤S101建立安全的沟通渠道。领导者使用远程证明相互证明每个其他状态服务实例，同时与所有其他状态服务实例建立安全的通信通道。需要注意的是，在创建时，每个状态服务实例（包括领导者）都需要计算它的飞地（Enclave）身份，并比较其与其他人的身份，一起验证被证明的飞地（Enclave）是否是状态服务实例。领导者使用远程证明来相互验证其他每个状态服务实例，同时与这些状态服务实例建立安全的通信通道，在创建时，每个状态服务实例（包括领导者）都会计算其Enclave标识（即MRENCLAVE），并将其标识与其他Enclave的身份进行比较，以验证已证明的Enclave是否为状态服务实例。
通过步骤S102进行身份建立，所有状态服务实例（包括领导者）生成一个非对称密钥对（pk，sk），并将它们的公钥发送给领导者，领导者收到公钥后分发收到的公钥列表（由
Figure 58010DEST_PATH_IMAGE001
表示）到其他状态服务实例，以便他们可以相互验证。
通过步骤S103进行第一次初始化检查，每个状态服务实例发送一个读请求到第二接口Blockchain.read(ID，uid)的分类帐，其中ID为状态服务实例的账本标识符（由它的pk生成），而uid是状态服务实例在启用SGX的可信平台上的唯一标识符。当另一个状态服务实例在同一个平台开始初始化，它也会生成相同的uid，状态服务实例向区块链发送读取请求，区块链根据请求来返回blob，如果blob为空，说明该状态服务实例没有被初始化，是第一次加入群组。如果返回的blob不为空，说明已经有另一个状态服务实例初始化，则状态服务实例将中止初始化。
通过步骤S104记录初始化，状态服务实例通过第一接口Blockchain.write(ID，
Figure 755577DEST_PATH_IMAGE002
)发送写请求，当收到一个来自区块链的确认字符（ACK）时，状态服务实例创建一个包含其他状态服务实例的状态条目的状态服务实例状态表和一个空的应用程序实例状态表，状态服务实例将公钥列表pkSEi放到状态服务实例配置表并建立成对会话密钥keySEi与所有其他状态服务实例通过运行经过身份验证的密钥协议，如图4所示，图4是本发明实施例提供的本地状态服务实例的内存布局示意图，其中的数据灰色矩形被密封用于状态快照，状态服务实例密封并存储其密钥对、状态服务实例配置表和应用程序实例状态表，最终状态服务实例完成初始化并服务应用程序实例的请求。
需要说明的是，步骤S103中的标识符
Figure 66472DEST_PATH_IMAGE003
是Enclave身份标识，使其他人能够验证身份报价是由同一个平台发出。状态服务实例应在步骤S104执行期间保持活动状态。因为无法区分正常崩溃是否来自创建分叉组的恶意行为，如果状态服务实例在收到blob之前崩溃，则无法初始化。然而，因为初始化过程只会发生一次，本地状态服务实例的身份可以硬编码到应用程序实例实现或由独立软件开发商提供。应用程序实例可以与本地状态服务实例运行经过身份验证的密钥建立协议，并通过该协议共享密钥k；状态服务实例为应用程序实例创建一个状态条目，包括唯一的身份应用程序实例（即使用应用程序实例代码的哈希）、共享密钥和一个空的状态摘要，可参见图4中的应用程序实例状态表。
本实施例中，如图5所示，图5是本发明实施例提供的基于加密传输和会话密钥更新所述应用程序实例的状态请求的流程示意图，所述步骤S20包括以下步骤：
步骤S201：当所述应用程序实例接收到用户请求时，密封并存储所述应用程序实例的状态快照到磁盘上，并更新所述应用程序实例的状态摘要，向所述本地状态服务实例发送状态更新请求；
步骤S202：当所述本地状态服务实例接收到状态更新请求时，存储所述状态更新请求到请求列队；
步骤S203：当处理所述状态更新请求时，控制所述本地状态服务实例向全部状态服务实例（包括本地状态服务实例和其他状态服务实例）发送所述状态更新请求；
步骤S204：当全部状态服务实例（包括本地状态服务实例和其他状态服务实例）接收到所述状态更新请求时，更新全部状态服务实例（包括本地状态服务实例和其他状态服务实例）状态内存中所述本地状态服务实例的状态摘要并发送回复消息；
步骤S205：当所述本地状态服务实例收到超过f+1个所述回复消息时，所述本地状态服务实例向其他状态服务实例发送决定消息，其中，f为共识节点容错数；
步骤S206：当其他状态服务实例收到所述决定消息后，检查其他状态服务实例是否已回复所述准备消息，若是，则控制所述状态服务实例发回包含状态摘要的确认字符；
步骤S207：当所述本地状态服务实例收到超过f+1个所述确认字符时，控制所述本地状态服务实例更新所述应用程序实例的状态摘要并向所述应用程序实例回复包含状态摘要的确认字符；
步骤S208：当所述应用程序实例收到所述确认字符时，将其状态更新为最新状态并发布相关输出。
需要说明的是，所述步骤S201至步骤S207为状态更新协议的架构方法，具体的，如图6所示，图6是本发明实施例提供的状态更新协议的交互示意图，也就是说，当本地状态服务实例准备好处理应用程序实例的状态更新请求时，遵循图6所示的状态更新协议，所述状态更新协议基于回声广播协议，应用程序实例和状态服务实例的消息通过加密方式传输和使用秘密会话密钥更新所述应用程序实例的状态请求。此外，可以为每条消息添加随机数以防止消息重播攻击。
举例说明，当接收到用户请求
Figure 196102DEST_PATH_IMAGE004
时，应用程序实例首先密封并存储状态磁盘上的快照
Figure 541633DEST_PATH_IMAGE005
，其中状态摘要
Figure 895254DEST_PATH_IMAGE006
为
Figure 709757DEST_PATH_IMAGE007
。然后，应用程序实例调用函数
Figure 439816DEST_PATH_IMAGE008
更新它的状态摘要，为了清楚起见，假设需要随机性
Figure 843116DEST_PATH_IMAGE009
附有
Figure 367638DEST_PATH_IMAGE010
；本地状态服务实例收到状态更新请求时，将其缓存在先进先出(FIFO)队列中，一旦请求在头部并且没有其他服务请求，状态服务实例密封并存储它在磁盘上的状态快照
Figure 918705DEST_PATH_IMAGE011
，其中
Figure 390137DEST_PATH_IMAGE004
是应用程序实例的状态摘要
Figure 693949DEST_PATH_IMAGE012
；状态服务实例向全部状态服务实例（包括当前状态服务实例和其他状态服务实例）发送准备消息
Figure 920531DEST_PATH_IMAGE013
；当接收到Prepare消息时，每个状态服务实例都会更新状态内存中本地状态服务实例的摘要并发送回复消息，所述回复消息包含
Figure 693315DEST_PATH_IMAGE014
的消息；收到超过f+1个回复消息后，本地状态服务实例向组中所有状态服务实例发送决定消息
Figure 702859DEST_PATH_IMAGE015
；当状态服务实例收到决定消息后，检查是否已回显相关的准备消息。如果是，则发回包含
Figure 877488DEST_PATH_IMAGE014
的确认字符。当接收到超过f+1个确认字符时，本地状态服务实例更新应用程序实例的状态摘要并返回包含
Figure 760125DEST_PATH_IMAGE012
的确认字符。当应用程序实例接收到确认字符后，应用程序实例将其状态更新为
Figure 20205DEST_PATH_IMAGE016
并且发布相关的输出
Figure 833440DEST_PATH_IMAGE017
。
需要说明的是，所述状态更新协议可以在较小的传输控制协议中实现，首先，在处理请求时，应用程序实例必须进行密封和存储本地磁盘中的状态快照。对于某些应用程序，如支付，整个状态很大，因此此操作会产生加密数据和输入输出的繁重任务；其次，状态服务实例依次处理应用程序实例的状态更新。序列化会限制状态服务实例每秒处理请求的能力（即吞吐量）；此外，当支持的数量应用程序实例和关联请求很大，吞吐量低会导致到长时间的服务延迟，每次更新涉及两轮状态服务实例之间的消息交换，是影响的主要因素延迟和吞吐量。
为了解决上述问题，本实施例中，采用以下方式优化所述状态更新协议：
（1）利用检查点减少密封和存储数据的大小，此方式适用于应用程序实例和状态服务实例。为了清楚起见，我们从应用程序实例的角度描述优化，需要说明的是，由于程序是确定性的，可以恢复最新状态执行所有历史输入，也就是说，应用程序实例只需要密封并将输入请求存储在磁盘上，同时记录摘要状态服务实例中的输入历史，对于大多数应用程序，输入通常是远小于整个应用程序状态，因此可以减少密封和存储数据的大小。
（2）利用批处理处理提升***处理请求的能力。使状态服务实例可以同时服务多个运行不同应用程序的应用程序实例，即不需要串行处理不同应用程序实例的状态更新请求。在步骤S202中状态服务实例获取一批来自队列的请求，并将这些请求作为一个请求。然后，状态服务实例遵循步骤S203至步骤S207处理这些请求。执行上述步骤后，状态服务实例会一一处理并发送确认字符。批处理的开销可以忽略不计，原因有以下两个：首先，密封和存储数据的大小仅略有增加执行时间，其次，协议传输的网络消息（即准备消息和决定消息）的大小保持不变，因为输出大小无论输入的大小如何，散列函数的值都是固定的。
当应用程序实例想要检查其状态或密封状态的新鲜度时。应用程序实例调用函数readState()获取最新的来自本地状态服务实例的状态摘要。当接收到状态读取请求时，本地状态服务实例无法直接返回应用程序实例的记录状态。主要是因为可能因为存在多个本地状态服务实例（即分叉攻击），因此请求的状态服务实例保存的状态不是最新的。为了解决这个问题，应用程序实例必须检查它的状态是否是最新的，如果是，则安全地返回应用程序实例的状态摘要。所述控制所述应用程序实例读取所述状态服务实例的最新状态，如图7所示。图7是本发明实施提供的所述应用程序实例读取所述状态服务实例的最新状态的流程示意图，步骤S30包括以下步骤：
步骤S301：控制所述应用程序实例调用函数向所述本地状态服务实例发送状态读取请求；
步骤S302：当所述本地状态服务实例收到所述状态读取请求时，检索全部所述状态服务实例的最新状态；
步骤S303：检查每个所述状态服务实例的状态服务实例状态表，并将存储的状态摘要发回给所述本地状态服务实例；
步骤S304：当收到f +1个所述状态摘要时，选择索引最大的状态摘要作为所述本地状态服务实例的状态摘要。
需要说明的是，所述步骤S301至步骤S304为状态读取协议的架构方法，具体的，如图8所示。图8是本发明实施例提供的状态读取协议的交互示意图，应用程序实例调用readState()函数向目标状态服务实例发送状态读取请求，本地状态服务实例收到状态读取请求时，检索组中所有状态服务实例的最新状态，每个状态服务实例检查其状态服务实例状态表，并将存储的状态摘要发回本地状态服务实例，在收到至少f+1个回复后，本地状态服务实例选择具有最大索引和序列号的状态摘要；然后，本地状态服务实例将选择的状态摘要与前一次的状态摘要进行比较，如果它的状态是最新的，则发回记录的状态摘要给应用程序实例，否则，不回复。
会话密钥作为状态服务实例的身份，在同一平台上只允许有一个正在工作中的状态服务实例。然而，现有技术中的重启协议存在安全问题，即对手可以利用该协议创建两个并行运行的***，然后启动对TEE应用程序的回滚和分叉攻击。为了解决上述问题，本实施例中当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；也就是说，重启后的状态服务实例必须与其他状态服务实例建立新的会话密钥。
当所述状态服务实例发生重启时，所述基于会话密钥恢复所述状态服务实例的状态包括以下步骤：
控制重启后的所述状态服务实例与其他状态服务实例建立新的会话密钥；
需要说明的是，当某一个状态服务实例（SE）被强制重启后，重启后的状态服务实例（SE）会失去所有的内存数据，但是之前建立的会话控制（session）会保存在状态服务实例（SE）中，此时重启后的状态服务实例（SE）无法重新加入集群。本实施例中，每一个状态服务实例（SE）会存在一个“ping”的功能，检查自己是否仍与其他状态服务实例保持链接。
控制重启后的所述状态服务实例执行所述步骤S302至所述步骤S304以获取所述状态服务实例和其他状态服务实例的状态摘要；
选择索引最大的状态摘要作为重启后的所述状态服务实例的状态摘要，重启的状态服务实例（SE）需要恢复内存数据，因此选择最新的状态摘要；
控制所述状态服务实例从操作***获取密封的状态摘要，将所述状态摘要与从其他状态服务实例获取的状态摘要进行匹配，若匹配，则控制所述状态服务实例恢复状态摘要对应的状态。
具体的，重启后的服务实例需要与其他状态服务实例建立新的会话密钥，因为它已经失去了以前的全部数据。其次，在会话密钥建立之前，其他状态服务实例必须检查他们是否仍维持与其他状态服务实例的链接，即他们的会话密钥是否仍处于活动状态，为此，每个状态服务实例发送一个ping请求向其他状态服务实例发送消息并等待ACK，如果他们无法收到来自其他状态服务实例的ACK，则拒绝与重启状态服务实例建立新的会话密钥；重启状态服务实例执行状态读取协议中的步骤S302至步骤S304以获取其和其他状态服务实例的最新状态摘要，步骤S302至步骤S304可以在一个读取请求中；重启状态服务实例选择索引最大的状态摘要，也就是最新的状态摘要作为每个状态服务实例（包括重启状态服务实例）的序列号。为了重启后的状态服务实例和群组保持同步，增加序列号并重新执行状态更新协议中步骤S202至步骤S206来更新其最新的状态摘要。如此，可以保证最新的状态摘要被安全地记录在至少f+1个状态服务实例上。
当所述应用程序实例发生重启时，所述基于操作***的密封状态数据恢复所述应用程序实例的状态，包括以下步骤：
控制重启后的所述应用程序实例执行所述步骤S301至所述步骤S304向所述本地状态服务实例请求最新状态摘要；
控制所述应用程序实例获取所述操作***的密封状态数据，将所述密封状态数据与所述最新状态摘要进行匹配，若匹配成功，则更新重启后所述应用程序实例的状态摘要并发布输出。
具体的，重启后的重启应用程序实例执行状态读取协议向本地状态服务实例请求最新的状态摘要；并从操作***获得重启应用程序实例的最新密封状态，将最新密封状态与所述本地状态服务实例的状态摘要进行匹配，如果这两个匹配，将应用程序实例的状态更新为最新状态并发布相关输出。
由上可见，本发明实施例提供的一种基于去中心化信任的公有云下TEE状态连续性保护方法，所述基于去中心化信任的公有云下TEE状态连续性保护包括：基于区块链对状态服务实例进行初始化处理；基于加密传输和会话密钥更新应用程序实例的状态请求；控制所述应用程序实例读取所述状态服务实例的最新状态；当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。与现有技术相比，本发明使用区块链消除了对中心化可信实体的依赖，且只依赖区块链进行初始化，提高了状态更新和读取的速度。
示例性设备
如图9中所示，对应于所述基于去中心化信任的公有云下TEE状态连续性保护方法，本发明实施例还提供一种基于去中心化信任的公有云下TEE状态连续性保护***，所述基于去中心化信任的公有云下TEE状态连续性保护***包括：
初始化模块100，用于基于区块链对状态服务实例进行初始化处理；
状态更新模块200，用于基于加密传输和会话密钥更新应用程序实例的状态请求；
状态读取模块300，用于控制所述应用程序实例读取所述状态服务实例的最新状态；
重启模块400，用于当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；还用于当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。
如图10所示，所述***包括：可信平台及区块链，所述应用程序实例（AE）和所述状态服务实例（SE）运行在所述可信平台，所述应用程序实例处理客户的请求并返回相应的输出，所述状态服务实例为所述应用程序实例提高状态连续性保护。
具体地，本实施例中，所述基于去中心化信任的公有云下TEE状态连续性保护***及其各个模块的具体功能还可以参照所述基于去中心化信任的公有云下TEE状态连续性保护方法中的对应描述，在此不再赘述。
基于所述实施例，本发明还提供了一种智能终端，其原理框图可以如图11所示。所述智能终端包括存储器、处理器以及存储在所述存储器上并可在所述处理器上运行的基于去中心化信任的公有云下TEE状态连续性保护程序，所述基于去中心化信任的公有云下TEE状态连续性保护程序被所述处理器执行时实现如上任意一项所述基于去中心化信任的公有云下TEE状态连续性保护方法的步骤。
本领域技术人员可以理解，图11中示出的原理框图，仅仅是与本发明方案相关的部分结构的框图，并不构成对本发明方案所应用于其上的智能终端的限定，具体地智能终端可以包括比图中所示更多或更少的部件，或者组合某些部件，或者具有不同的部件布置。
在一个实施例中，所述基于去中心化信任的公有云下TEE状态连续性保护程序被所述处理器执行时进行以下操作指令：
基于区块链对状态服务实例进行初始化处理；
基于加密传输和会话密钥更新应用程序实例的状态请求；
控制所述应用程序实例读取所述状态服务实例的最新状态；
当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态。
本发明实施例还提供一种计算机可读存储介质，所述计算机可读存储介质上存储有基于去中心化信任的公有云下TEE状态连续性保护程序，所述基于去中心化信任的公有云下TEE状态连续性保护程序被处理器执行时实现如上任意一项所述基于去中心化信任的公有云下TEE状态连续性保护方法的步骤。
应理解，所述实施例中各步骤的序号大小并不意味着执行顺序的先后，各过程的执行顺序应以其功能和内在逻辑确定，而不应对本发明实施例的实施过程构成任何限定。
所属领域的技术人员可以清楚地了解到，为了描述的方便和简洁，仅以所述各功能单元、模块的划分进行举例说明，实际应用中，可以根据需要而将所述功能分配由不同的功能单元、模块完成，即将所述装置的内部结构划分成不同的功能单元或模块，以完成以上描述的全部或者部分功能。实施例中的各功能单元、模块可以集成在一个处理单元中，也可以是各个单元单独物理存在，也可以两个或两个以上单元集成在一个单元中，所述集成的单元既可以采用硬件的形式实现，也可以采用软件功能单元的形式实现。另外，各功能单元、模块的具体名称也只是为了便于相互区分，并不用于限制本发明的保护范围。所述***中单元、模块的具体工作过程，可以参考前述方法实施例中的对应过程，在此不再赘述。
在所述实施例中，对各个实施例的描述都各有侧重，某个实施例中没有详述或记载的部分，可以参见其它实施例的相关描述。
本领域普通技术人员可以意识到，结合本文中所公开的实施例描述的各实例的单元及算法步骤，能够以电子硬件、或者计算机软件和电子硬件的结合来实现。这些功能究竟是以硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同法来实现所描述的功能，但是这种实现不应认为超出本发明的范围。
在本发明所提供的实施例中，应该理解到，所揭露的装置/终端设备和方法，可以通过其它的方式实现。例如，以上所描述的装置/终端设备实施例仅仅是示意性的，例如，所述模块或单元的划分，仅仅为一种逻辑功能划分，实际实现时可以由另外的划分方式，例如多个单元或组件可以结合或者可以集成到另一个***，或一些特征可以忽略，或不执行。
所述集成的模块/单元如果以软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读存储介质中。基于这样的理解，本发明实现所述实施例方法中的全部或部分流程，也可以通过计算机程序来指令相关的硬件来完成，所述计算机程序可存储于一计算机可读存储介质中，该计算机程序在被处理器执行时，可实现所述各个方法实施例的步骤。其中，所述计算机程序包括计算机程序代码，所述计算机程序代码可以为源代码形式、对象代码形式、可执行文件或某些中间形式等。所述计算机可读介质可以包括：能够携带所述计算机程序代码的任何实体或装置、记录介质、U盘、移动硬盘、磁碟、光盘、计算机存储器、只读存储器（ROM，Read-Only Memory）、随机存取存储器（RAM，RandomAccess Memory）、电载波信号、电信信号以及软件分发介质等。需要说明的是，所述计算机可读存储介质包含的内容可以根据司法管辖区内立法和专利实践的要求进行适当的增减。
以上所述实施例仅用以说明本发明的技术方案，而非对其限制；尽管参照前述实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解；其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不是相应技术方案的本质脱离本发明各实施例技术方案的精神和范围，均应包含在本发明的保护范围之内。

Claims (8)

1.一种基于去中心化信任的公有云下TEE状态连续性保护方法，其特征在于，所述基于去中心化信任的公有云下TEE状态连续性保护方法包括：
基于区块链对状态服务实例进行初始化处理；
基于加密传输和会话密钥更新应用程序实例的状态请求；
控制所述应用程序实例读取存储在所述状态服务实例中的最新状态；
当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态；
所述基于区块链对所述状态服务实例进行初始化处理，具体包括：
将任意一个所述状态服务实例设置为领导者，通过远程证明相互验证所述领导者和其他状态服务实例的身份，并建立所述领导者与其他状态服务实例的安全通信信道；
控制所述领导者和其他状态服务实例生成非对称密钥对，并将所述状态服务实例的公钥发送给所述领导者，所述领导者将接收到的公钥列表分发给其他状态服务实例；
控制每个所述状态服务实例向所述区块链发送读请求，所述读请求包括所述状态服务实例的唯一标识符；
控制每个所述状态服务实例向所述区块链发送写请求，当收到来自所述区块链的确认字符时，控制每个所述状态服务实例创建本地内存，所述本地内存包括其他状态服务实例状态条目的状态服务实例状态表和空的应用程序实例状态表；
控制本地状态服务实例将所述公钥列表放置到所述本地状态服务实例的本地内存以生成状态服务实例配置表，并控制所述本地状态服务实例通过运行经过验证的密钥协议与其他状态服务实例建立成对会话密钥；
密封并存储所述本地状态服务实例的密钥对、所述状态服务实例配置表和所述应用程序实例状态表；
所述基于加密传输和会话密钥更新所述应用程序实例的状态请求，具体包括：
当所述应用程序实例接收到用户请求时，密封并存储所述应用程序实例的状态快照到磁盘上，并更新所述应用程序实例的状态摘要，向所述本地状态服务实例发送状态更新请求；
当所述本地状态服务实例接收到状态更新请求时，存储所述状态更新请求到请求队列；
当处理所述状态更新请求时，控制所述本地状态服务实例向所述本地状态服务实例和其他状态服务实例发送所述状态更新请求；
当所述本地状态服务实例和其他状态服务实例接收到所述状态更新请求时，更新所述本地状态服务实例和其他状态服务实例状态内存中所述本地状态服务实例的状态摘要并发送回复消息；
当所述本地状态服务实例收到超过f+1个所述回复消息时，所述本地状态服务实例向其他状态服务实例发送决定消息，其中，f为共识节点容错数；
当其他状态服务实例收到所述决定消息后，检查其他状态服务实例是否已回复准备消息，若是，则控制所述状态服务实例发回包含状态摘要的确认字符；
当所述本地状态服务实例收到超过f+1个所述确认字符时，控制所述本地状态服务实例更新所述应用程序实例的状态摘要并向所述应用程序实例回复包含状态摘要的确认字符；
当所述应用程序实例收到所述确认字符时，将其状态更新为最新状态并发布相关输出。
2.根据权利要求1所述的基于去中心化信任的公有云下TEE状态连续性保护方法，其特征在于，所述基于去中心化信任的公有云下TEE状态连续性保护方法还包括：
通过所述区块链的第一接口将所述状态服务实例的身份标识号码和公钥写到所述区块链上，并记录初始化信息；
通过所述区块链的第二接口根据所述状态服务实例的身份标识号码和公钥在所述区块链上查询初始化信息；
通过所述区块链的第三接口在所述应用程序实例更新状态摘要时，向所述状态服务实例请求更新是否合法；
通过所述区块链的第四接口获取所述应用程序实例的状态摘要。
3.根据权利要求1所述的基于去中心化信任的公有云下TEE状态连续性保护方法，其特征在于，所述控制所述应用程序实例读取所述状态服务实例的最新状态，具体包括：
控制所述应用程序实例调用函数向所述本地状态服务实例发送状态读取请求；
当所述本地状态服务实例收到所述状态读取请求时，检索全部所述状态服务实例的最新状态；
检查每个所述状态服务实例的状态服务实例状态表，并将存储的状态摘要发回给所述本地状态服务实例；
当收到f+1个所述状态摘要时，选择索引最大的状态摘要作为所述本地状态服务实例的状态摘要。
4.根据权利要求3所述的基于去中心化信任的公有云下TEE状态连续性保护方法，其特征在于，所述当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态，具体包括：
控制重启后的所述状态服务实例与其他状态服务实例建立新的会话密钥；
控制重启后的所述状态服务实例获取所述状态服务实例和其他状态服务实例的状态摘要；
选择索引最大的状态摘要作为重启后的所述状态服务实例的状态摘要；
控制所述状态服务实例从操作***获取密封的状态摘要，将所述状态摘要与从其他状态服务实例获取的状态摘要进行匹配，若匹配，则控制所述状态服务实例恢复所述状态服务实例的状态摘要。
5.根据权利要求4所述的基于去中心化信任的公有云下TEE状态连续性保护方法，其特征在于，所述当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态，具体包括：
控制重启后的所述应用程序实例向所述本地状态服务实例请求最新状态摘要；
控制所述应用程序实例获取所述操作***的密封状态数据，将所述密封状态数据与所述最新状态摘要进行匹配，若匹配成功，则更新重启后所述应用程序实例的状态摘要并发布输出。
6.一种基于去中心化信任的公有云下TEE状态连续性保护***，其特征在于，所述基于去中心化信任的公有云下TEE状态连续性保护***包括：
初始化模块，用于基于区块链对状态服务实例进行初始化处理；
状态更新模块，用于基于加密传输和会话密钥更新应用程序实例的状态请求；
状态读取模块，用于控制所述应用程序实例读取所述状态服务实例的最新状态；
重启模块，用于当所述状态服务实例发生重启时，基于会话密钥恢复所述状态服务实例的状态；还用于当所述应用程序实例发生重启时，基于操作***的密封状态数据恢复所述应用程序实例的状态；
所述基于区块链对所述状态服务实例进行初始化处理，具体包括：
将任意一个所述状态服务实例设置为领导者，通过远程证明相互验证所述领导者和其他状态服务实例的身份，并建立所述领导者与其他状态服务实例的安全通信信道；
控制所述领导者和其他状态服务实例生成非对称密钥对，并将所述状态服务实例的公钥发送给所述领导者，所述领导者将接收到的公钥列表分发给其他状态服务实例；
控制每个所述状态服务实例向所述区块链发送读请求，所述读请求包括所述状态服务实例的唯一标识符；
控制每个所述状态服务实例向所述区块链发送写请求，当收到来自所述区块链的确认字符时，控制每个所述状态服务实例创建本地内存，所述本地内存包括其他状态服务实例状态条目的状态服务实例状态表和空的应用程序实例状态表；
控制本地状态服务实例将所述公钥列表放置到所述本地状态服务实例的本地内存以生成状态服务实例配置表，并控制所述本地状态服务实例通过运行经过验证的密钥协议与其他状态服务实例建立成对会话密钥；
密封并存储所述本地状态服务实例的密钥对、所述状态服务实例配置表和所述应用程序实例状态表；
所述基于加密传输和会话密钥更新所述应用程序实例的状态请求，具体包括：
当所述应用程序实例接收到用户请求时，密封并存储所述应用程序实例的状态快照到磁盘上，并更新所述应用程序实例的状态摘要，向所述本地状态服务实例发送状态更新请求；
当所述本地状态服务实例接收到状态更新请求时，存储所述状态更新请求到请求队列；
当处理所述状态更新请求时，控制所述本地状态服务实例向所述本地状态服务实例和其他状态服务实例发送所述状态更新请求；
当所述本地状态服务实例和其他状态服务实例接收到所述状态更新请求时，更新所述本地状态服务实例和其他状态服务实例状态内存中所述本地状态服务实例的状态摘要并发送回复消息；
当所述本地状态服务实例收到超过f+1个所述回复消息时，所述本地状态服务实例向其他状态服务实例发送决定消息，其中，f为共识节点容错数；
当其他状态服务实例收到所述决定消息后，检查其他状态服务实例是否已回复准备消息，若是，则控制所述状态服务实例发回包含状态摘要的确认字符；
当所述本地状态服务实例收到超过f+1个所述确认字符时，控制所述本地状态服务实例更新所述应用程序实例的状态摘要并向所述应用程序实例回复包含状态摘要的确认字符；
当所述应用程序实例收到所述确认字符时，将其状态更新为最新状态并发布相关输出。
7.一种智能终端，其特征在于，所述智能终端包括存储器、处理器以及存储在所述存储器上并可在所述处理器上运行的基于去中心化信任的公有云下TEE状态连续性保护程序，所述基于去中心化信任的公有云下TEE状态连续性保护程序被所述处理器执行时实现如权利要求1-5任意一项所述基于去中心化信任的公有云下TEE状态连续性保护方法的步骤。
8.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质上存储有基于去中心化信任的公有云下TEE状态连续性保护程序，所述基于去中心化信任的公有云下TEE状态连续性保护程序被处理器执行时实现如权利要求1-5任意一项所述基于去中心化信任的公有云下TEE状态连续性保护方法的步骤。
CN202211087946.7A 2022-09-07 2022-09-07 基于去中心化信任的公有云下tee状态连续性保护方法 Active CN115168872B (zh)

Priority Applications (2)

Application Number Priority Date Filing Date Title
CN202211087946.7A CN115168872B (zh) 2022-09-07 2022-09-07 基于去中心化信任的公有云下tee状态连续性保护方法
PCT/CN2022/119945 WO2024050869A1 (zh) 2022-09-07 2022-09-20 基于去中心化信任的公有云下tee状态连续性保护方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202211087946.7A CN115168872B (zh) 2022-09-07 2022-09-07 基于去中心化信任的公有云下tee状态连续性保护方法

Publications (2)

Publication Number Publication Date
CN115168872A CN115168872A (zh) 2022-10-11
CN115168872B true CN115168872B (zh) 2023-01-10

Family

ID=83481903

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202211087946.7A Active CN115168872B (zh) 2022-09-07 2022-09-07 基于去中心化信任的公有云下tee状态连续性保护方法

Country Status (2)

Country Link
CN (1) CN115168872B (zh)
WO (1) WO2024050869A1 (zh)

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112380578A (zh) * 2020-11-20 2021-02-19 天翼电子商务有限公司 一种基于区块链和可信执行环境的边缘计算框架
CN113286300A (zh) * 2021-05-17 2021-08-20 中国联合网络通信集团有限公司 基于区块链的网络分片认证方法、***、网元及存储介质
CN113326529A (zh) * 2021-06-24 2021-08-31 北京八分量信息科技有限公司 一种基于可信计算的去中心化架构统一方法
CN113489743A (zh) * 2021-07-26 2021-10-08 广东辰宜信息科技有限公司 应用于区块链***的共识实现方法及装置
WO2022089768A1 (en) * 2020-10-27 2022-05-05 NEC Laboratories Europe GmbH Rollback protection with ephemeral identities for tee-based consensus protocols
CN114547656A (zh) * 2022-02-26 2022-05-27 北京工业大学 一种云环境下基于Intel SGX的两阶段远程证明方法
CN114647487A (zh) * 2022-03-21 2022-06-21 蚂蚁金服（杭州）网络技术有限公司 基于amd sev的可信执行环境架构及可信执行***

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP3333747A1 (en) * 2016-12-06 2018-06-13 ETH Zurich Methods and systems for detecting rollback attacks
EP3568794B1 (fr) * 2017-01-16 2024-03-13 Enrico Maim Procédés et systèmes pour l'exécution de contrats intelligents dans des environnements sécurisés
CN108306740B (zh) * 2018-01-22 2020-07-31 华中科技大学 一种Intel SGX状态一致保护方法和***
US11126699B2 (en) * 2018-02-07 2021-09-21 Nec Corporation Replica trusted execution environment: enabling seamless replication of trusted execution environment (TEE)-based enclaves in the cloud
CN108418691B (zh) * 2018-03-08 2020-10-27 湖南大学 基于sgx的动态网络身份认证方法
US10936723B2 (en) * 2019-03-27 2021-03-02 Intel Corporation Fast and secure protocol to bootstrap a blockchain by restoring the blockchain state using trusted execution environment
CN113849210A (zh) * 2021-09-26 2021-12-28 支付宝(杭州)信息技术有限公司 一种基于tee的固件升级方法及装置
CN114117522B (zh) * 2021-11-23 2024-05-28 上海交通大学 基于区块链和可信执行环境的车联网数据共享实现方法
CN114826684B (zh) * 2022-03-31 2023-06-16 西安电子科技大学 支持高效隐私保护的去中心化众包方法、***及终端

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2022089768A1 (en) * 2020-10-27 2022-05-05 NEC Laboratories Europe GmbH Rollback protection with ephemeral identities for tee-based consensus protocols
CN112380578A (zh) * 2020-11-20 2021-02-19 天翼电子商务有限公司 一种基于区块链和可信执行环境的边缘计算框架
CN113286300A (zh) * 2021-05-17 2021-08-20 中国联合网络通信集团有限公司 基于区块链的网络分片认证方法、***、网元及存储介质
CN113326529A (zh) * 2021-06-24 2021-08-31 北京八分量信息科技有限公司 一种基于可信计算的去中心化架构统一方法
CN113489743A (zh) * 2021-07-26 2021-10-08 广东辰宜信息科技有限公司 应用于区块链***的共识实现方法及装置
CN114547656A (zh) * 2022-02-26 2022-05-27 北京工业大学 一种云环境下基于Intel SGX的两阶段远程证明方法
CN114647487A (zh) * 2022-03-21 2022-06-21 蚂蚁金服（杭州）网络技术有限公司 基于amd sev的可信执行环境架构及可信执行***

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
A Formal Framework for State Continuity of Protected Modules;Jiabin Zhu;《2018 4th International Conference on Big Data Computing and Communications (BIGCOM)》;20181011;114-119 *
towards formal verification of state continuity for enclave programs;Mohit Kumar Jangid 等;《proceeding of the 30th USENIX Security Symposium》;20210813;573-590 *
基于事件的连续数据保护***研究;王德军 等;《计算机应用研究》;20140228;第31卷(第2期);465-471+475 *
基于区块链共识机制的SDWAN零信任网络架构;罗可人;《集成电路应用》;20200709(第07期);全文 *

Also Published As

Publication number Publication date
CN115168872A (zh) 2022-10-11
WO2024050869A1 (zh) 2024-03-14

Similar Documents

Publication Publication Date Title
US11516011B2 (en) Blockchain data processing methods and apparatuses based on cloud computing
CN111066286B (zh) 使用高可用性的可信执行环境检索区块链网络的公共数据
CN110999255B (zh) 检索区块链网络的访问数据的方法及装置
US20210051025A1 (en) System and method for blockchain-based cross-entity authentication
EP4120114A1 (en) Data processing method and apparatus, smart device and storage medium
US10790976B1 (en) System and method of blockchain wallet recovery
US11621843B2 (en) Trusted remote proving method, apparatus and system
CN112422532B (zh) 业务通信方法、***、装置及电子设备
CN111144881A (zh) 对资产转移数据的选择性访问
CN110177124B (zh) 基于区块链的身份认证方法及相关设备
WO2014036021A1 (en) Secure device service enrollment
US11121876B2 (en) Distributed access control
WO2022166637A1 (zh) 基于区块链网络的数据处理方法、装置及计算机设备
KR102674418B1 (ko) 서로 다른 네트워크들 간의 자산 전송을 위한 안전하고 신뢰할 수 있는 브릿지
CN116458117A (zh) 安全数字签名
Soriente et al. Replicatee: Enabling seamless replication of sgx enclaves in the cloud
CN108521424B (zh) 面向异构终端设备的分布式数据处理方法
CN111917696B (zh) 使用不可旁路的网关的基于tpm的安全多方计算***
CN114500119B (zh) 区块链服务的调用方法和装置
CN111241492A (zh) 一种产品多租户安全授信方法、***及电子设备
WO2022115559A1 (en) Cryptographic key storage system and method
CN113328854A (zh) 基于区块链的业务处理方法及***
CN110784318B (zh) 群密钥更新方法、装置、电子设备、存储介质及通信***
JP2022545809A (ja) 暗号鍵生成のためのセキュアな環境
CN115168872B (zh) 基于去中心化信任的公有云下tee状态连续性保护方法

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