-
公开(公告)号:CN111670436B
公开(公告)日:2024-03-26
申请号:CN201980011015.9
申请日:2019-01-25
Applicant: 微软技术许可有限责任公司
Inventor: K·瓦斯瓦尼 , M·S·D·S·科斯塔
Abstract: 在各种示例中,存在一种数据库系统,该数据库系统包括操作系统、查询引擎、事务管理器和实现数据库管理功能的组件。查询引擎和事务管理器被配置为与操作系统和实现数据库管理功能的组件分开地在主计算机系统的一个或多个存储器飞地内被执行。
-
公开(公告)号:CN111670436A
公开(公告)日:2020-09-15
申请号:CN201980011015.9
申请日:2019-01-25
Applicant: 微软技术许可有限责任公司
Inventor: K·瓦斯瓦尼 , M·S·D·S·科斯塔
Abstract: 在各种示例中,存在一种数据库系统,该数据库系统包括操作系统、查询引擎、事务管理器和实现数据库管理功能的组件。查询引擎和事务管理器被配置为与操作系统和实现数据库管理功能的组件分开地在主计算机系统的一个或多个存储器飞地内被执行。
-
公开(公告)号:CN119156610A
公开(公告)日:2024-12-17
申请号:CN202380035105.8
申请日:2023-02-18
Applicant: 微软技术许可有限责任公司
Inventor: M·E·拉希诺维奇 , S·W·克勒布施 , K·特沃斯扬 , A·J·D·德利戈纳特-拉沃德 , C·A·M·C·弗尔内特 , H·O·威尔逊 , M·S·D·S·科斯塔
Abstract: 所公开的技术通常指向于代码透明度。在本技术的一个示例中,获得与策略相关联的证据。证据包括数据,其包括与根据策略的初始源代码相关联的加密可验证证据。初始源代码是针对CTS的源代码。基于初始源代码的初始二进制文件在TEE中被执行,以便CTS实例开始操作。CTS实例被配置为注册与由CTS实例来批准的代码相关联的(多个)保证。TEE被用于提供账本。证据被存储在账本上。提供与二进制文件相关联的(多个)测量值。生成与CTS实例相关联的服务密钥。提供(多个)测量值、证据和服务密钥的TEE证明。
-
公开(公告)号:CN111670442A
公开(公告)日:2020-09-15
申请号:CN201980011319.5
申请日:2019-01-25
Applicant: 微软技术许可有限责任公司
Inventor: C·普里布 , K·瓦斯瓦尼 , M·S·D·S·科斯塔
Abstract: 在各种示例中,提供了一种用于将事务日志条目写入针对数据库系统的事务日志的计算机实现方法。数据库系统的至少一部分被配置为在可信执行环境内执行。事务日志被存储在可信执行环境外部。该方法保持第一安全计数,第一安全计数表示针对已经被提交到数据库的事务的、已经被写入事务日志的事务日志条目的数目,并且将事务日志条目写入事务日志。在其他示例中,还提供了一种用于还原数据库系统的计算机实现方法,该方法使用从事务日志接收到的事务日志条目和第一安全计数的当前值。
-
公开(公告)号:CN118228270A
公开(公告)日:2024-06-21
申请号:CN202410337643.9
申请日:2019-01-25
Applicant: 微软技术许可有限责任公司
Inventor: C·普里布 , K·瓦斯瓦尼 , M·S·D·S·科斯塔
Abstract: 在各种示例中,提供了一种用于将事务日志条目写入针对数据库系统的事务日志的计算机实现方法。数据库系统的至少一部分被配置为在可信执行环境内执行。事务日志被存储在可信执行环境外部。该方法保持第一安全计数,第一安全计数表示针对已经被提交到数据库的事务的、已经被写入事务日志的事务日志条目的数目,并且将事务日志条目写入事务日志。在其他示例中,还提供了一种用于还原数据库系统的计算机实现方法,该方法使用从事务日志接收到的事务日志条目和第一安全计数的当前值。
-
公开(公告)号:CN111670442B
公开(公告)日:2024-03-05
申请号:CN201980011319.5
申请日:2019-01-25
Applicant: 微软技术许可有限责任公司
Inventor: C·普里布 , K·瓦斯瓦尼 , M·S·D·S·科斯塔
Abstract: 在各种示例中,提供了一种用于将事务日志条目写入针对数据库系统的事务日志的计算机实现方法。数据库系统的至少一部分被配置为在可信执行环境内执行。事务日志被存储在可信执行环境外部。该方法保持第一安全计数,第一安全计数表示针对已经被提交到数据库的事务的、已经被写入事务日志的事务日志条目的数目,并且将事务日志条目写入事务日志。在其他示例中,还提供了一种用于还原数据库系统的计算机实现方法,该方法使用从事务日志接收到的事务日志条目和第一安全计数的当前值。
-
-
-
-
-