...
机译:Sego:用于有效验证不可信系统服务的普遍可信元数据
The University of Texas at Austin;
Google;
Facebook;
Google;
The University of Texas at Austin;
The University of Texas at Austin;
Application protection; Virtualization-based security; Paraverification; Crash consistency;
机译:Sego:用于有效验证不可信系统服务的普遍可信元数据
机译:通过无冲突操作验证远程不受信任服务的一致性
机译:验证作为服务(VAAS):在低计算开销时计量,计费验证和消费资源的消耗资源的可信多功能服务,以增强云可用性
机译:减轻支持普适服务和计算的系统中的安全风险:访问驱动的验证,验证和测试
机译:高效,可搜索,图结构的文件系统元数据服务。
机译:用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
机译:用交换验证远程不受信任服务的一致性 操作