VeriCount公司 swMATH ID: 25455 软件作者： 托普，灌木；Park，Soyeon；Kang，Min Suk；Prateek Saxena公司 描述： VeriCount：使用硬件和软件隔离的可验证资源记帐。在云计算中，客户根据外包任务消耗的资源进行计费，云提供商和客户都有动机操纵有关资源使用的声明。双方都希望有一个准确、可核查的资源核算系统，该系统是中立的，可以被信任来反驳任何争议。在这项工作中，我们介绍了VeriCount——一个可验证的资源记帐系统，并为基于Linux容器的应用程序提供了可反驳的计费支持。为了保护VeriCount逻辑，我们提出了一种称为自记帐的新方法，该方法将基于硬件的隔离保证与可信计算机制和软件故障隔离技术相结合。VeriCount中的自动记帐引擎利用可信计算解决方案（如Intel SGX）中的安全功能来测量用户CPU时间、内存、I/O字节和网络带宽，同时检测资源使用膨胀攻击。我们声称有三个主要结果。首先，VeriCount的平均性能开销为3.62 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-93387-0_34 相关软件： 迷你盒子；瑞安；Panoply公司；码头工人 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 VeriCount公司：使用硬件和软件隔离的可验证资源记帐。 Zbl 1440.94082号披风，Shruti；公园，Soyeon；康敏淑；Prateek Saxena公司 2018 4位作者引用 1 康敏淑 1 公园，Soyeon 1 Prateek Saxena公司 1 灌木托普 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文