Title :
On Adversary Models and Compositional Security
Author :
Datta, Anupam ; Franklin, Jason ; Garg, Deepak ; Jia, Limin ; Kaynar, Dilsun
Author_Institution :
Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
A unified view of a wide range of adversary classes and composition principles for reasoning about security properties of systems are cornerstones of a science of security. They provide a systematic basis for security analysis by explaining and predicting attacks on systems.
Keywords :
security of data; adversary models; attack prediction; compositional security; security science; Cognition; Computational modeling; Data privacy; Message systems; Prediction theory; Protocols; adversary models; compositional security; logic-based security; rely-guarantee reasoning;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2010.203
