☰ Category

Automated Verification of Dynamic Access Control Policies


Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Product Out of Stock Subscription

(Notify me when this product is back in stock)

Rs. 5,066

Availability: Out of stock

  • Product Description

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.

Product Specifications
SKU :COC16075
AuthorHasan N. Qunoo
Number of Pages192
Publishing Year2012-12-10T00:00:00.000
Edition1 st
Book TypeIntegrated software packages
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-25 00:00:00
0 Review(s)