FSE 2016 All Events

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

Desktop Layout

Session 4: Security and Privacy
Research Papers
Emerald 1, Chair: Diomidis Spinellis
Multi-representational Security Analysis
Eunsuk Kang, Aleksandar Milicevic, and Daniel Jackson
(University of California at Berkeley, USA; Microsoft, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Abstract: Security attacks often exploit flaws that are not anticipated in an abstract design, but are introduced inadvertently when high-level interactions in the design are mapped to low-level behaviors in the supporting platform. This paper proposes a textit{multi-representational} approach to security analysis, where models capturing distinct (but possibly overlapping) views of a system are automatically composed in order to enable an end-to-end analysis. This approach allows the designer to incrementally explore the impact of design decisions on security, and discover attacks that span multiple layers of the system. This paper describes Poirot, a prototype implementation of the approach, and reports on our experience on applying Poirot to detect previously unknown security flaws in publicly deployed systems.


Time stamp: 2019-03-26T21:13:44+01:00