Run-Time Enforcement of Nonsafety Policies
Abstract
A common mechanism for ensuring that software behaves securely is to monitor programs at run time and check that they dynamically adhere to constraints specified by a security policy. Whenever a program monitor detects that untrusted software is attempting to execute a dangerous action, it takes remedial steps to ensure that only safe code actually gets executed.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 01, 2009
- Source ID
- 10.1145/1455526.1455532
Entities
People
- David Walker
- Jay Ligatti
- Lujo Bauer
Organizations
- Army Research Office
- Carnegie Mellon University
- Division of Computer and Network Systems
- Princeton University
- University of South Florida