A Language for Securely Referencing Persistent Information in a Federated System

ONR Grants N00014-09-1-0652 and N00014-13-1-0089; MURI grant FA9550-12-1-0400; NSF Grants 0541217, 0627649, and 0964409; Microsoft Corporation

[1]  David Maier,et al.  Development and Implementation of an Object-Oriented DBMS , 1987, Research Directions in Object-Oriented Programming.

[2]  Michael B. Smyth.  Power Domains , 1978, J. Comput. Syst. Sci..

[3]  Barbara Liskov,et al.  The Argus Language and System , 1984, Advanced Course: Distributed Systems.

[4]  Andrew C. Myers,et al.  Language-based information-flow security , 2003, IEEE J. Sel. Areas Commun..

[5]  Andrew C. Myers,et al.  Using replication and partitioning to build secure distributed systems , 2003, 2003 Symposium on Security and Privacy, 2003..

[6]  J. Meseguer,et al.  Security Policies and Security Models , 1982, 1982 IEEE Symposium on Security and Privacy.

[7]  Dorothy E. Denning,et al.  Cryptography and Data Security , 1982 .

[8]  Robin Milner,et al.  Definition of standard ML , 1990 .

[9]  Xin Qi,et al.  Fabric: a platform for secure distributed computation and storage , 2009, SOSP '09.

[10]  Hugh C. Davis,et al.  Referential integrity of links in open hypermedia systems , 1998, HYPERTEXT '98.

[11]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[12]  Massachusett Framingham,et al.  The Common Object Request Broker: Architecture and Specification Version 3 , 2003 .

[13]  Alexander Aiken,et al.  Type systems for distributed data structures , 2000, POPL '00.

[14]  Heiko Böck,et al.  Java Persistence API , 2012 .

[15]  Andrew P. Black,et al.  Object structure in the Emerald system , 1986, OOPLSA '86.

[16]  Frank Kappe,et al.  A Scalable Architecture for Maintaining Referential Integrity in Distributed Information Systems , 1995, J. Univers. Comput. Sci..

[17]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[18]  K. J. Bma.  Integrity considerations for secure computer systems , 1977 .

[19]  James Riely,et al.  Trust and partial typing in open systems of mobile agents , 1999, POPL '99.

[20]  Katherine A. Yelick,et al.  Type Systems for Distributed Data Sharing , 2003, SAS.

[21]  Edward Wobber,et al.  Network objects , 1994, SOSP '93.