1484 search results - page 93 / 297 » Security policies for downgrading |
184
click to vote
CSFW
2008
IEEE
16 years 26 days ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
161
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
170
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
146
click to vote
IPMU
2010
Springer
15 years 4 months ago
2010
Springer
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
162
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...