Sciweavers

Share
IEEESP
2011

On Adversary Models and Compositional Security

8 years 10 months ago
On Adversary Models and Compositional Security
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interfere with such systems. We describe logic-based methods to reason about security properties of a system as a composition of properties of its components, and several successful applications of the method in explaining and predicting attacks in a wide-variety of systems. Keywords. Adversary models; compositional security; logic-based security; rely-guarantee reasoning
Anupam Datta, Jason Franklin, Deepak Garg, Limin J
Added 29 Aug 2011
Updated 29 Aug 2011
Type Journal
Year 2011
Where IEEESP
Authors Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar
Comments (0)
books