252 search results - page 22 / 51 » Information-Flow Security for Interactive Programs |
227
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
137
click to vote
SP
2010
IEEE
15 years 11 days ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
120
Voted
ESORICS
2009
Springer
15 years 6 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
110
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
116
Voted
IJISEC
2008
15 years 2 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...