Specification and Verification of Security Policies
Author:
Peri, Ramesh V., Department of Computer Science, University of Virginia
Peri, Ramesh V., Department of Computer Science, University of Virginia
Advisor:
Wulf, William, Department of Computer Science, University of Virginia
Wulf, William, Department of Computer Science, University of Virginia
Abstract:
Computer security is the protection of the resources of a computer against events that can result in loss of availability, unauthorized access, or modification of data. The techniques devised to protect computers from these attacks are general purpose in nature and therefore cannot directly enforce security that has no universal definition. The high degree of assurance in security properties of systems used in security-critical areas such as military and commerce is usually achieved by verification. In this thesis we develop a framework for carrying out this verification in a formal and systematic manner.
Degree:
PHD (Doctor of Philosophy)
PHD (Doctor of Philosophy)
Keywords:
computer, security, verification
computer, security, verification
Rights:
All rights reserved (no additional license for public reuse)
All rights reserved (no additional license for public reuse)
Issued Date:
1996/01/31
1996/01/31