Computer Science Department
School of Computer Science, Carnegie Mellon University


Trustless Grid Computing in ConCert

Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Margaret DeLap
Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning

June 2002

Keywords: Grid computing, security, certification, certified code, grid architecture, ConCert

We believe that fundamental to the establishment of a grid computing framework, where all (not just large organizations) are able to effectively tap into the resources available on the global network, is the establishment of trust between grid application developers and resource donors. Resource donors must be able to trust that their security, safety, and privacy policies will be respected by programs that use their systems.

In this paper, we present a novel solution based on the notion of certified code that upholds safety, security, and privacy policies by examining intrinsic properties of code. Certified code complements authentication and provides a foundation for a safe, secure, and efficient framework that executes native code. We describe the implementation of such a framework known as the ConCert software. Finally, we discuss a sample application that runs on ConCert.

16 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by