Automated Verification of Dynamic Access Control Policies: Modelling and verifying dynamic access control policies using knowledge-based model checking - Softcover
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Search results for Automated Verification of Dynamic Access Control Policies:...
Seller Image
Automated Verification of Dynamic Access Control Policies
Published by
LAP Lambert Academic Publishing Nov 2012, 2012
ISBN 10: 3659273945
ISBN 13: 9783659273940
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch. Seller Inventory # 9783659273940
Seller Image
Automated Verification of Dynamic Access Control Policies
Published by
LAP LAMBERT Academic Publishing, 2012
ISBN 10: 3659273945
ISBN 13: 9783659273940
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Qunoo Hasan N.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, mode. Seller Inventory # 5144877
Buy New
£ 49.31
£ 42.48 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Automated Verification of Dynamic Access Control Policies | Modelling and verifying dynamic access control policies using knowledge-based model checking
Published by
LAP Lambert Academic Publishing, 2012
ISBN 10: 3659273945
ISBN 13: 9783659273940
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Automated Verification of Dynamic Access Control Policies | Modelling and verifying dynamic access control policies using knowledge-based model checking | Hasan N. Qunoo | Taschenbuch | Paperback | 192 S. | Englisch | 2012 | LAP Lambert Academic Publishing | EAN 9783659273940 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Seller Inventory # 106167500
Seller Image
Automated Verification of Dynamic Access Control Policies
Published by
LAP Lambert Academic Publishing Nov 2012, 2012
ISBN 10: 3659273945
ISBN 13: 9783659273940
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 192 pp. Englisch. Seller Inventory # 9783659273940
Seller Image
Automated Verification of Dynamic Access Control Policies : Modelling and verifying dynamic access control policies using knowledge-based model checking
Published by
LAP Lambert Academic Publishing, 2012
ISBN 10: 3659273945
ISBN 13: 9783659273940
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783659273940