Searching for "A Logic of Secure Systems and its Application to Trusted Computing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A Logic of Secure Systems and its Application to Trusted Computing
by Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar
…A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB