TC: Medium: Higher-Level Abstractions for Trustworthy Federated Systems

这个项目研究了更高层次的抽象，用于构建分布式系统，该系统集成了跨管理和信任域的信息和计算。目前的做法并没有提供一般的，原则性的技术来安全地实现这些系统。为了开发这些技术，正在探索安全性、一致性、性能和系统演化的基本问题。所研究的问题包括：分布式系统中程序和数据在节点间的自动、自适应、安全的划分;分布式系统中有效管理信任关系的新授权逻辑;在保证强可靠性的同时提高分布式系统性能的新方法;以及安全和一致地发展持久信息结构的新方法。这些主题正在Fabric的上下文中进行研究，a new新platform平台forsecure安全distributed分布computation计算. Fabric旨在支持信息系统的安全集成，这是许多应用领域的一种宝贵能力，包括医学、金融、教育、政府和主题。 例如，整合分布式信息系统的好方法将支持机构之间医疗记录的安全共享。

This project studies higher-level abstractions for constructing distributedsystems that integrate information and computation across administrative andtrust domains. Current practice does not offer general, principled techniquesfor implementing these systems securely. To develop these techniques,fundamental problems of security, consistency, performance, and systemevolution are being explored. Problems studied include automatic, adaptive,secure partitioning of programs and data across the nodes of a distributedsystem; new authorization logics for efficiently managing trustrelationships in a distributed system; new methods for increasingperformance of distributed systems while guaranteeing strong dataconsistency; and new ways to securely and consistently evolve the structureof persistent information.These topics are being studied in the context of Fabric, a new platform forsecure distributed computation. Fabric is intended to support secureintegration of information systems, a valuable capability for many applicationdomains, including in medicine, finance, education, government, and themilitary. For example, good methods for integrating distributed informationsystems would support secure sharing of medical records between institutions.