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

点击翻译按钮获取中文摘要

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.