1484 search results - page 36 / 297 » Security policies for downgrading |
SP
1999
IEEE
14 years 22 days ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
SP
1987
IEEE
13 years 12 months ago
1987
IEEE
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...