DocumentCode
1415279
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
Volume
9
Issue
3
fYear
2011
Firstpage
26
Lastpage
32
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;
fLanguage
English
Journal_Title
Security & Privacy, IEEE
Publisher
ieee
ISSN
1540-7993
Type
jour
DOI
10.1109/MSP.2010.203
Filename
5677510
Link To Document