Automated Verification of Dynamic Access Control Policies: Modelling and verifying dynamic access control policies using knowledge-based model checking - Couverture souple

Qunoo, Hasan N.

Couverture souple

ISBN 10 : 3659273945 ISBN 13 : 9783659273940

Editeur : LAP Lambert Academic Publishing, 2012

Synopsis

This manuscript advances the modelling and verification of access control policies by using automated knowledge-based symbolic model checking techniques. The key contributions of this manuscript are threefold: firstly, a modelling language that expresses dynamic access control policies with compound actions that update multiple variables; secondly, a knowledge-based verification algorithm that verifies properties over an access control policy that has compound actions; and finally, an automated tool, called X-Policy, which implements the algorithm. This research enables us to model and verify access control policies for web-based collaborative systems. It models and analyses a number of conference management systems and their security properties. It proposes the appropriate modifications to rectify the policies when possible. Ultimately, this research will allow us to model and verify more systems and help avoid the current situation.

A propos du livre

À propos de l?auteur

I have been a researcher at and a member of Computer Security Group at the University of Birmingham since 2006. My research is focused on developing automated verification tools and methods to enable us to express, model and verify dynamic access control policies with compound actions. I am also a Software Developer and enjoy teaching.

Détails de l'édition

• Éditeur: LAP Lambert Academic Publishing
• Date d'édition: 2012
• Langue: anglais
• ISBN 10: 3659273945
• ISBN 13: 9783659273940
• Reliure: Broché
• Nombre de pages: 192
• Coordonnées du fabricant: non disponible
• Personne responsable: KreGa Onlinehandel GmbH; 4950000000000; info@krega-onlinehandel.de; ; Birkenweg 31; Brakel; 33034; Allemagne