Searched for: "a logic of secure systems and its application to trusted computing"

About 10 results for "a logic of secure systems and its application to trusted computing"