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...

Full description

Bibliographic Details
Main Authors: Kang, Eunsuk (Author), Milicevic, Aleksandar (Author), Jackson, Daniel (Contributor)
Format: Article
Language:English
Published: Association for Computing Machinery (ACM), 2018-05-18T17:19:08Z.
Subjects:
Online Access:Get fulltext