Security requirements deal with the protection of assets against unauthorized access
(disclosure or modification) and their availability to authorized users. Temporal constraints of …

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 …

Usage Control (UCON) Models, similar to Access Control Models, control and govern the
users' access to resources and services that are available in the system. One of the major …

This chapter is a more technical chapter. It outlines and analyzes a series of cyberattack
measures and then discusses counters and defenses. The attacks include the use of zero …

Policy-based approaches to the management of systems distinguish between the
specification of requirements, in the form of policies, and their enforcement on the system. In …

Policies provide a flexible and scalable approach to the management of distributed systems
by separating the specification of security requirements and their enforcement Over the …

Abstract Interval Temporal Logic (ITL) is an established formalism for reasoning about time
periods. We investigate some simple kinds of ITL formulas which have application to …

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 …