Tamleek Ali Mohammad Nauman Xinwen Zhang On Leveraging Stochastic Models for Remote Attestation. 290-301 2010 INTRUST http://dx.doi.org/10.1007/978-3-642-25283-9_19 conf/intrust/2010 db/conf/intrust/intrust2010.html#AliNZ10