Summary: Implementing a Framework for Certified Grid
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial fulfillment of the requirements
of the senior thesis program.
The ConCert Project is supported by the National Science Foundation under grant
ITR/SY+SI 0121633: ``Language Technology for Trustless Software Dissemination.''
Keywords: distributed systems, grid computing, grid programming,
security, certification, fault tolerance, ConCert