302 search results - page 3 / 61 » An approach to synthesise safe systems |
SCS
2003
13 years 7 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
OOPSLA
2000
Springer
13 years 9 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...
KI
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
SOSP
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
NDSS
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...