144 search results - page 4 / 29 » Information Flow Security in Dynamic Contexts |
113
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
127
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
147
Voted
CCS
2010
ACM
15 years 2 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...
110
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
100
Voted
TCS
2010
15 years 5 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...