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: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM),
2018-05-18T17:19:08Z.
|
Subjects: | |
Online Access: | Get fulltext |