Data security and privacy issues are magnified by the volume, the variety, and the velocity of
Big Data and by the lack, up to now, of a reference data model and related data …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Pervasive computing calls for suitable middleware and programming models to deal with
large software systems dived in dynamic mobile network environments. Here we present the …

The realm of cybersecurity is perhaps one of the most quickly evolving areas within today's
research space. New and emerging technologies, as well as the growth of cybersecurity …

Cloud computing offers elastic, scalable and on-demand network access to a shared pool of
computing resources, such as storage, computation and others. Resources can be rapidly …

A myriad of access control policy languages have been and continue to be proposed. The
design of policy miners for each such language is a challenging task that has required …

Existing probabilistic privacy enforcement approaches permit the execution of a program
that processes sensitive data only if the information it leaks is within the bounds specified by …

Cloud computing can be defined as a model for providing on-demand access to a shared
pool of configurable computing resources. In this paper we address the specification and …

Access control is a key service of any data management system. It allows regulating the
access to data resources at different granularity levels on the basis of access control models …

Access-control requirements for physical spaces, like office buildings and airports, are best
formulated from a global viewpoint in terms of system-wide requirements. For example," …