In the era of service-oriented computing, ICT systems exponentially grow in their size and
complexity, becoming more and more dynamic and distributed, often spanning across …

Abstract Interval Temporal Logic (ITL) is a flexible notation for both propositional and first-
order reasoning about periods of time found in descriptions of hardware and software …

Access control mechanisms protect critical resources of systems from unauthorized access.
In a policy-based management approach, administrators define user privileges as rules that …

Application containerization allows for efficient resource utilization and improved
performance when compared to traditional virtualization techniques. However, managing …

One of the main principle goals for threat protection is to understand the behavior of the
employee. An employee who is trusted will have the potential to cause more harm to the …

As organisations expand and interconnect, authorisation infrastructures become
increasingly difficult to manage. Several solutions have been proposed, including self …

Traditional approaches in access control rely on immutable criteria in which to decide and
award access. These approaches are limited, notably when handling changes in an …

Abstract Information security has been in the mainstream of computing for the last few
decades and our increasing reliance on the large scale distributed systems, such as the …

The Internet of Things, large scale sensor networks or even in social media, are now well
established and their use is growing daily. Usage scenarios in these fields highlight the …

Access control is ideal for managing access to information and controlling legitimate user
activities by mediating every user attempt to access a system resource. However, in a …