Policy-based management of computer systems, computer networks and devices is a critical
technology especially for present and future systems characterized by large-scale systems …

As computer infrastructures become more complex, security models must provide means to
handle more flexible and dynamic requirements. In the Organization Based Access Control …

User-to-user (U2U) relationship-based access control has become the most prevalent
approach for modeling access control in online social networks (OSNs), where authorization …

The O-RAN ALLIANCE is defining architectures, interfaces, operations, and security
requirements for cellular networks based on Open Radio Access Network (RAN) principles …

Community repositories, such as Docker Hub, PyPI, and RubyGems, are bustling
marketplaces that distribute software. Even though these repositories use common software …

Privacy is recognised as a fundamental requirement for eHealth systems. Proposals to
achieve privacy have been put forth in literature, most of which approach patient privacy as …

Access control policies may contain anomalies such as incompleteness and inconsistency,
which can result in security vulnerabilities. Detecting such anomalies in large sets of …

While important efforts are dedicated to system functional testing, very few works study how
to test specifically security mechanisms, implementing a security policy. This paper …

The security configuration of firewalls is a complex task that is commonly performed
manually by network administrators. As a consequence, among the rules composing firewall …

Modelling security policies requires means to specify permissions and prohibitions.
However, this is generally not sufficient to express security properties such as availability …