Model-Driven Approaches to Analysing Time and Location

68,30 €

71,90 €

-5%

Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.
Livraison dans le monde entier.

Dependent Access Control Specifications

Analysis of Access Control systems is an important task to ensure that unauthorised access to critical resources is protected.

This thesis deals with a challenging problem related to the analysis of Access Control systems which depend on time and location against undesirable scenarios such as inconsistency.

In particular, this thesis first provides formal algebraic notations for the Access Control specifications in the context of a Spatio- Temporal Role Based Access Control (STRBAC) model.

This is followed by formulating the terms of inconsistency and semi-consistency in STRBAC specifications, which are accomplished with the help of the formal algebraic notations.

Plus de détails

Livraison
Envoi en courrier suivi.
Livraison sous 2 à 4 jours en France et dans le monde entier.
Programme de fidélité
Votre panier totalisera 6 points fidélité vous offrant lors de votre prochain achat une réduction de 3,00 €
Avis clients
Soyez le premier à partager votre avis sur ce produit