3605 search results - page 71 / 721 » Securing Security Policies in Autonomic Computing Systems |
CCS
2007
ACM
14 years 2 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
MODELLIERUNG
2008
13 years 9 months ago
2008
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...