Fabrizio Baiardi Diego Cilea Daniele Sgandurra Francesco Ceccarelli Measuring Semantic Integrity for Remote Attestation. 81-100 2009 TRUST http://dx.doi.org/10.1007/978-3-642-00587-9_6 conf/trust/2009 db/conf/trust/trust2009.html#BaiardiCSC09