83 search results - page 2 / 17 » Verified enforcement of stateful information release policie... |
120
Voted
APLAS
2011
ACM
14 years 12 days ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...
108
Voted
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
100
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
216
Voted
POPL
2005
ACM
16 years 22 days ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
182
click to vote
CSFW
2011
IEEE
14 years 6 days ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...