Now showing items 1-3 of 3

    • Logical Attestation: An Authorization Architecture for Trustworthy Computing 

      Sirer, Emin Gun; de Bruijn, William; Reynolds, Patrick; Shieh, Alan; Walsh, Kevin; Williams, Dan; Schneider, Fred (2011-09-20)
      ABSTRACT This paper describes the design and implementation of a new operating system authorization architecture to support trustworthy computing. Called logical attestation, this architecture provides a sound framework ...
    • NetQuery: A General-Purpose Channel for Reasoning about Network 

      Shieh, Alan; Kennedy, Oliver; Sirer, Emin Gun; Schneider, Fred (2009-05-15)
      Although the configuration of modern networks has a significant impact on the performance, robustness, and security of applications, networks lack support for reporting these differences. This paper presents the design ...
    • Trustworthy Knowledge Planes For Federated Distributed Systems 

      Shieh, Alan (2012-05-27)
      In federated distributed systems, such as the Internet and the public cloud, the constituent systems can differ in their configuration and provisioning, resulting in significant impacts on the performance, robustness, and ...