722 search results - page 12 / 145 » Information Theory and Security: Quantitative Information Fl... |
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
ENTCS
2007
13 years 8 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
TCS
2010
13 years 6 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
ESORICS
2006
Springer
14 years 4 days ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...