Multi-representational security analysis
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 multi-representational approach to security analysis, w...
Main Authors: | Kang, Eunsuk, Milicevic, Aleksandar, Jackson, Daniel |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | en_US |
Published: |
Association for Computing Machinery (ACM)
2018
|
Online Access: | http://hdl.handle.net/1721.1/115491 https://orcid.org/0000-0003-4864-078X |
Similar Items
-
Multi-representational security modeling and analysis
by: Kang, Eunsuk
Published: (2016) -
A lightweight code analysis and its role in evaluation of a dependability case
by: Near, Joseph Paul, et al.
Published: (2012) -
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
by: Milicevic, Aleksandar, et al.
Published: (2018) -
Alloy*: A Higher-Order Relational Constraint Solver
by: Milicevic, Aleksandar, et al.
Published: (2014) -
Alloy*: a general-purpose higher-order relational constraint solver
by: Milicevic, Aleksandar, et al.
Published: (2021)