Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic
Chen Shu-yi Wen Ying-you Zhao Hong
Journal of South China University of Technology (Natural Science Edition) . 2009, (5): 106 -110 .