95 search results - page 4 / 19 » The Complexity of Synchronous Notions of Information Flow Se... |
146
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
178
click to vote
CSFW
2011
IEEE
14 years 5 months ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
157
click to vote
ETRICS
2006
15 years 9 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
129
click to vote
IFIP
2009
Springer
16 years 3 days ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
156
Voted
JCS
2007
15 years 5 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...