Identifying irregular file system permissions in large, multi-user systems is challenging due
to the complexity of gaining structural understanding from large volumes of permission …

IT systems with sophisticated security requirements increasingly apply problem-specific
security policies for specifying, analyzing, and implementing security properties. Due to their …

Since security has become an essential asset in numerous application areas, the integration
of security policies has become a major issue in the design of security architectures, and …

It is well established that file system permissions in large, multi-user environments can be
audited to identify vulnerabilities with respect to what is regarded as standard practice. For …

Modern operating systems, such as iOS, use multiple access control policies to define an
overall protection system. However, the complexity of these policies and their interactions …

Being of paramount importance for the correctness of a security policy, the property of safety
has received decades of attention in the field of model-based security engineering. To …

Modern operating systems increasingly rely on enforcing mandatory access control through
the use of security policies. Given the critical property of policy correctness in such systems …

IT systems with advanced security requirements increasingly apply problem-specific security
policies for describing, analyzing, and implementing security properties. Security policies …

To meet tightening security requirements, modern operating systems enforce mandatory
access control based on formal security policies. To ensure the critical property of policy …

Access control mechanisms (ACMs) have been widely used by operating systems (OSes) to
protect information security. However, it is often challenging to evaluate and compare the …