8503 search results - page 61 / 1701 » Secure Software Architectures |
AGENTS
2000
Springer
14 years 13 days ago
2000
Springer
SP
2010
IEEE
13 years 7 months ago
2010
IEEE
SP
1990
IEEE
14 years 25 days ago
1990
IEEE
This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware,...
TSE
2002
13 years 8 months ago
2002
SAFECOMP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...