2257 search results - page 154 / 452 » Secure program partitioning |
120
Voted
JLP
2010
14 years 9 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
WWW
2010
ACM
15 years 9 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
130
click to vote
NORDSEC
2009
Springer
15 years 9 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
113
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
119
click to vote
HPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses the problem of efficient execution of a batch of data-intensive tasks with batch-shared I/O behavior, on coupled storage and compute clusters. Two scheduling...