Location-based access control (LBAC) has been suggested as a means to improve IT
security. Bygrounding'users and systems to a particular location, attackers supposedly have …

Accountability mechanisms, which rely on after-the-fact verification, are an attractive means
to enforce authorization policies. In this paper, we describe an operational model of …

We present the design, implementation and evaluation of an algorithm that checks audit logs
for compliance with privacy and security policies. The algorithm, which we name reduce …

Conformance checking is becoming more important for the analysis of business processes.
While the diagnosed results of conformance checking techniques are used in diverse …

The detection of data breaches has become a major challenge for most organizations. The
problem lies in the fact that organizations often lack proper mechanisms to control and …

By using mirror reflections of a scene, stereo images can be captured with a single camera
(catadioptric stereo). Single camera stereo provides both geometric and radiometric …

The study of trust has advanced tremendously in recent years, to the extent that the goal of a
more unified formalisation of the concept is becoming feasible. To that end, we have begun …

Access control over resources shared by social network users is today receiving growing
attention due to the widespread use of social networks not only for recreational but also for …

While preventative policy enforcement mechanisms can provide theoretical guarantees that
policy is correctly enforced, they have limitations in practice. They are inflexible when …

We present a translation from a logic of access control with a “says” operator to the classical
modal logic S4. We prove that the translation is sound and complete. We also show that it …