Mobile users present challenges for security in multi-domain mobile networks. The actions of
mobile users moving across security domains need to be specified and checked against …

Purpose Ever since Mark Weiser coined the term “ubiquitous computing”(ubicomp) in 1988,
there has been a general interest in proposing various solutions that would support his …

In this paper we propose a formal framework for studying privacy in information systems. The
proposal follows a two-axes schema where the first axis considers privacy as a taxonomy of …

We introduce a role-based access control calculus for modelling dynamic web data and a
corresponding type system. It is an extension of the X dπ calculus proposed by Gardner and …

In this paper we propose a formal framework for studying privacy. Our framework is based
on the π-calculus with groups accompanied by a type system for capturing privacy …

For the formal verification of security in mobile networks, a requirement is that security
policies associated with mobility and location constraints are formally specified and verified …

Since the adoption of the EU General Data Protection Regulation (GDPR) in May 2018,
designing software systems that conform to the GDPR principles has become vital. Modeling …

In this paper we propose a formal framework for studying privacy preserving policies based
on the notion of purpose. Our framework employs the π-calculus with groups accompanied …

An important aspect of IT security governance is the proactive and continuous identification
of possible attacks in computer networks. This is complicated due to the complexity and size …

Verification of security for mobile networks requires specification and verification of security
policies in multiple-domain environments. Mobile users present challenges for specification …