315 search results - page 6 / 63 » Arrows for secure information flow |
ACSC
2006
IEEE
15 years 1 months ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
SP
1998
IEEE
15 years 1 months 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...
91
Voted
ACMSE
2006
ACM
15 years 3 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...
64
Voted
SFM
2010
Springer
15 years 1 months ago
2010
Springer
107
click to vote
CCS
2010
ACM
14 years 9 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...