Eric Freudenthal Vijay Karamcheti DisCo: Middleware for Securely Deploying Decomposable Services in Partly Trusted Environments. 494-503 2004 conf/icdcs/2004 ICDCS http://csdl.computer.org/comp/proceedings/icdcs/2004/2086/00/20860494abs.htm db/conf/icdcs/icdcs2004.html#FreudenthalK04