9 search results - page 1 / 2 » csfw 2011 |
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
—We present a statistical test for detecting information leaks in systems with continuous outputs. We use continuous mutual information to detect the information leakage from tri...
CSFW
2011
IEEE
12 years 4 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...
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...