A Tool for Managing Security Policies in Organisations 1st Edition by Anna V Alvarez, Karen A Garcia, Raul Monroy, Luis A Trejo, Jesus Vazquez ISBN 9783540477006

A Tool for Managing Security Policies in Organisations 1st Edition by Anna V Alvarez, Karen A Garcia, Raul Monroy, Luis A Trejo, Jesus Vazquez – Ebook PDF Instant Download/Delivery. 9783540477006
Full download A Tool for Managing Security Policies in Organisations 1st Edition after payment

Product details:

ISBN 10: 
ISBN 13: 9783540477006
Author: Anna V Alvarez, Karen A Garcia, Raul Monroy, Luis A Trejo, Jesus Vazquez

Security policies are rules aimed at protecting the resources of an organisation from the risks associated with computer usage. Designing, implementing and maintaining security policies are all error prone and time consuming. We report on a tool that helps managing the security policies of an organisation. Security policies are formalised using first-order logic with equality and the unique names assumption, closely following the security policy language suggested in [1]. The tool includes a link to an automated theorem prover, Otter [2], and to a model finder, Mace [2], used to formally verify a set of formal security policies. It also includes a GUI and a number of links to read information and security policies from organisation databases and access control lists.

A Tool for Managing Security Policies in Organisations 1st Table of contents:

• Background and Motivation
• Security Policies in Organisations
• Requirements for a Security Policy Management Tool
• Design and Architecture of the Tool
• Implementation of the Tool
• Features and Functionality
• Case Studies and Applications
• Evaluation and Performance Analysis
• Challenges and Future Work

People also search for A Tool for Managing Security Policies in Organisations 1st:

a tool for managing security policies in organisations
    
security management policy example
    
a security tool used by organizations
    
security policy management software
    
organizational security policies identify what needs to be done