Issue No. 03 - May/June (2011 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MSP.2010.203
Anupam Datta , Carnegie Mellon University
Jason Franklin , Carnegie Mellon University
Deepak Garg , Carnegie Mellon University
Limin Jia , Carnegie Mellon University
Dilsun Kaynar , Carnegie Mellon University
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.
adversary models; compositional security; logic-based security; rely-guarantee reasoning
J. Franklin, D. Garg, L. Jia, A. Datta and D. Kaynar, "On Adversary Models and Compositional Security," in IEEE Security & Privacy, vol. 9, no. , pp. 26-32, 2010.