A logic of secure systems and its application to trusted computing

A Datta, J Franklin, D Garg… - 2009 30th IEEE …, 2009 - ieeexplore.ieee.org
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …
被引用次数：134 相关文章
[PDF] psu.edu

[PDF][PDF] A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - 2009 - Citeseer
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …
[PDF] cmu.edu

[PDF][PDF] A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - cs.cmu.edu
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …

A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - … of the 2009 30th IEEE Symposium …, 2009 - dl.acm.org
We present a logic for reasoning about properties of securesystems. The logic is built
around a concurrent programminglanguage with constructs for modeling machines with …

[引用][C] A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - 2009 - cylab.cmu.edu
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …
[PDF] cmu.edu

[PDF][PDF] A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - andrew.cmu.edu
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …
[PDF] archive.org

[PDF][PDF] A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - 2009 - scholar.archive.org
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …

A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - conferences.computer.org
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …
[PDF] cmu.edu

[PDF][PDF] A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - 2009 - kilthub.cmu.edu
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …
[PDF] academia.edu

[PDF][PDF] A Logic of Secure Systems and its Application to Trusted Computing

A Datta, J Franklin, D Garg, D Kaynar - academia.edu
We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …