A Security-Preserving Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms Cédric Fournet Gurvan Le Guernic

First Page		Document Content
Date: 2009-11-06 11:35:10		A Security-Preserving Compiler for Distributed Programs From Information-Flow Policies to Cryptographic Mechanisms Cédric Fournet Gurvan Le Guernic Add to Reading List Source URL: www-sop.inria.fr Download Document from Source Website File Size: 282,95 KB Share Document on Facebook