429 search results - page 8 / 86 » Compositionality of Secure Information Flow |
SP
1998
IEEE
14 years 6 days ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
ASIAN
2006
Springer
13 years 11 months 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...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
SFM
2010
Springer
13 years 12 months ago
2010
Springer
CCS
2010
ACM
13 years 8 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...