Toward securely programming the internet

  • Authors:
  • Andrew C. Myers

  • Affiliations:
  • Department of Computer Science, Cornell University, Ithaca, NY

  • Venue:
  • ICISS'10 Proceedings of the 6th international conference on Information systems security
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Computation and persistent storage are rapidly moving into the distributed domain. Yet we are offered very weak security and privacy assurance, especially as complex information systems share information across trust boundaries. A fundamental problem is that these systems are contructed at too low a level of abstraction. Higher-level abstractions are needed for building complex distributed information systems securely and composably. Fabric [1] is a new decentralized platform that embodies this approach. Heterogeneous, mutually distrusting network nodes can securely share both information and computation. Its high-level programming language makes distribution and persistence largely transparent to programmers. However, its Java-like object model is extended to label data resources with explicit confidentiality and integrity policies. Exposing these policies to programmers and to the underlying run-time system enables programmers to reason about security, and enables the system to enforce them through a combination of compile-time and run-time mechanisms. Optimistic, nested transactions ensure consistency across all objects and nodes. A peer-to-peer dissemination layer helps to increase availability and to balance load. Results from applications built using Fabric suggest that Fabric has a clean, concise programming model, offers good performance, and enforces security.