Ronald Toegl Georg Hofferek Karin Greimel Adrian Leung Raphael Chung-Wei Phan Roderick Bloem Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. 2289-2294 2008 ICYCS http://dx.doi.org/10.1109/ICYCS.2008.456 conf/icycs/2008 db/conf/icycs/icycs2008.html#ToeglHGLPB08