欢迎访问行业研究报告数据库

行业分类

当前位置:首页 > 报告详细信息

找到报告 1 篇 当前为第 1 页 共 1

飞地项目的保密性能验证

Verification of Confidentiality Properties of Enclave Programs

作者:Rohit Sinha;Sriram Rajamani;Sriram Rajamani Sanjit A. Seshia;Kapil Vaswani 作者单位:Electrical Engineering and Computer Sciences University of California at Berkeley 加工时间:2015-07-07 信息来源:EECS 索取原文[18 页]
关键词:应用程序;硬件保障;信任测量
摘 要:Security-critical applications running in the cloud constantly face threats from exploits in lower computing layers such as the operating system, virtual machine monitors, or even attacks from malicious datacenter administrators. To help pro- tect application secrets from such attacks, there is increasing interest in hardware implementations of primitives for trusted computing, such as Intel's Software Guard Extensions (SGX). These primitives enable hardware protection of memory regions containing code and data, root of trust for measurement, remote attestation, and cryptographic sealing.
© 2016 武汉世讯达文化传播有限责任公司 版权所有 技术支持:武汉中网维优
客服中心

QQ咨询


点击这里给我发消息 客服员


电话咨询


027-87841330


微信公众号




展开客服