The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2011 vol. 9)
ISSN: 1540-7993
pp: 26-32
Jason Franklin , Carnegie Mellon University
Deepak Garg , Carnegie Mellon University
Limin Jia , Carnegie Mellon University
Anupam Datta , 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
Jason Franklin, Deepak Garg, Limin Jia, Anupam Datta, Dilsun Kaynar, "On Adversary Models and Compositional Security", IEEE Security & Privacy, vol. 9, no. , pp. 26-32, May/June 2011, doi:10.1109/MSP.2010.203
96 ms
(Ver 3.3 (11022016))