Bookcover of Automated Verification of Dynamic Access Control Policies
Booktitle:

Automated Verification of Dynamic Access Control Policies

Modelling and verifying dynamic access control policies using knowledge-based model checking

LAP LAMBERT Academic Publishing (2012-10-12 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-659-27394-0

ISBN-10:
3659273945
EAN:
9783659273940
Book language:
English
Blurb/Shorttext:
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.
Publishing house:
LAP LAMBERT Academic Publishing
Website:
https://www.lap-publishing.com/
By (author) :
Hasan N. Qunoo
Number of pages:
192
Published on:
2012-10-12
Stock:
Available
Category:
Application software
Price:
68.00 €
Keywords:
model checking, Computer Security, Access Control Policy, Verification tool, Model language, Automated Model Checking tools

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING