Context-based Access Control and Attack Modelling and Analysis

The book presents a novel approach to architectural security analyses, focusing on detecting access violations and potential attack paths within software architectures. By integrating access control policies with vulnerabilities into a cohesive framework, it offers metamodels and scenario-based analysis techniques. Additionally, it features two distinct attack analyses and showcases high accuracy in identifying security issues, contributing significantly to the field of secure system development.