✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 411.512 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Model-Driven Approaches to Analysing Time and Location

Model-Driven Approaches to Analysing Time and Location

von Emsaieb Mosbah Geepalla
Softcover - 9783659939655
71,90 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

Dependent Access Control Specifications

Details

Verlag LAP LAMBERT Academic Publishing
Ersterscheinung 13. März 2019
Maße 22 cm x 15 cm x 1.3 cm
Gewicht 304 Gramm
Format Softcover
ISBN-13 9783659939655
Seiten 192