120 search results - page 16 / 24 » Refactoring programs to secure information flows |
110
click to vote
CJ
2010
14 years 9 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
106
click to vote
WWW
2004
ACM
16 years 14 days ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
196
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
109
click to vote
SP
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...