The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2011 vol. 9)
ISSN: 1540-7993
pp: 26-32
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
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.
INDEX TERMS
adversary models; compositional security; logic-based security; rely-guarantee reasoning
CITATION

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.
doi:10.1109/MSP.2010.203
87 ms
(Ver 3.3 (11022016))