For crit- ical applications, a model for spatio-temporal-based access control is needed that increases the security of the application and ensures that the ...

For critical applications, a model for spatio-temporal-based access control is needed that increases the security of the application and ensures that the ...

to provide a formal semantics of the model and shows how the access control requirements of a real-world dengue decision support system can be formalized ...

The different features of a spatio- temporal access control model may interact in subtle ways resulting in conicts. We illustrate how the access control model ...

This work illustrates how the access control model can be formally analyzed to detect the presence of conflicts and uses Alloy, a formal language based on ...

We describe how each entity in the role-based access control model is affected by time and location and propose constraints to express this. We also show how ...

This work describes how each entity in the role-based access control model is affected by time and location and proposes constraints to express this, ...

In this paper, we propose a spatio-temporal access control model, based on the Role-Based Access Control (RBAC) model, that is suitable for pervasive computing ...

May 30, 2011 · The model can be used by any application where the access is contingent not only on the role of the user, but also on the locations of the user ...

The different features of a spatio-temporal access control model may interact in subtle ways resulting in conflicts. We illustrate how the access control model ...