493 search results - page 3 / 99 » A Type-Based Approach to Program Security |
SPC
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
ACSAC
2003
IEEE
14 years 21 days ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
CC
2005
Springer
14 years 28 days ago
2005
Springer
OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...