A Logic of Secure Systems and its Application to Trusted Computing.

Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar

Browse the full SP paper archive.