On Adversary Models and Compositional Security
Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kaynar · IEEE Security & Privacy · 2011
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.