Analyzing security architectures


We present a semi-automated approach, SECORIA, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Type-checkable annotations describe architectural intent within the code, enabling a static analysis to extract a hierarchical object graph that soundly reflects all runtime objects and runtime… (More)
DOI: 10.1145/1858996.1859001
View Slides


6 Figures and Tables