EDSL公司 swMATH ID: 22616 软件作者： Alex Bain；约翰·米切尔（John Mitchell）；拉胡尔·夏尔马（Rahul Sharma）；德伊安·斯特凡（Deian Stefan）；乔·齐默尔曼 描述： 用于计算加密数据的特定于域的语言。（受邀演讲）。在云计算中，客户端可能会请求计算发送到不受信任服务器的机密数据。虽然同态加密和安全多方计算为安全计算提供了构建块，但软件必须具有适当的结构以保持机密性。使用安全执行平台的一般定义，我们提出了一种用于加密云计算的基于Haskell的域特定语言，并证明了同一编程语言的两个具有代表性且明显不同的实现的正确性和机密性。秘密共享执行平台提供了针对合谋服务器的信息理论安全。同态加密执行平台只需要一台服务器，但效率有限，并且对计算受限的对手提供了保密性。随着密码学的改进，我们的实现的实验表明，计算可行性很好，并显示了如何在不显式编程单独的客户端和服务器的情况下，为各种安全云平台统一开发代码。 主页： https://eprint.iacr.org/2011/561.pdf 关键词： 图式映射；数据库约束；数据交换；数据集成；通用解决方案；同态对偶 相关软件： 分享者；哈斯克尔 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 用于计算加密数据的特定于域的语言。（受邀演讲）。 兹比尔1246.94020贝恩，亚历克斯；约翰·米切尔；拉胡尔·夏尔马；德伊安·斯特凡；乔·齐默尔曼 2011 5位作者引用 1 亚历克斯·贝恩。 1 约翰·米切尔（John C.Mitchell）。 1 拉胡尔·夏尔马 1 德伊安·斯特凡 1 乔·齐默尔曼 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文