120 search results - page 12 / 24 » Refactoring programs to secure information flows |
107
Voted
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
192
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
113
click to vote
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...