Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar. A Logic of Secure Systems and its Application to Trusted Computing. In 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA. pages 221-236, IEEE Computer Society, 2009. [doi]