2079 search results - page 178 / 416 » Quantifying Information Flow |
IEEEINTERACT
2003
IEEE
14 years 2 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
IRAL
2000
ACM
14 years 1 months ago
2000
ACM
We propose a method to create process flow graphs automatically from textbooks for cooking programs. This is realized by understanding context by narrowing down the domain to cook...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
ASIAN
2006
Springer
14 years 29 days ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
Many cryptographic schemes have been designed to enforce information flow policies. However, enterprise security requirements are often better encoded, or can only be encoded, usin...