2257 search results - page 24 / 452 » Secure program partitioning |
ECOOPW
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...