Sciweavers

2814 search results - page 27 / 563
» Can We Make Operating Systems Reliable and Secure
Sort
View
SIGSOFT
2002
ACM
14 years 7 months ago
Secure systems development based on the common criteria: the PalME project
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
Monika Vetterling, Guido Wimmel, Alexander K. Wi&s...
EUROPAR
2004
Springer
14 years 4 days ago
Designing Parallel Operating Systems via Parallel Programming
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
Eitan Frachtenberg, Kei Davis, Fabrizio Petrini, J...
ARCS
2004
Springer
14 years 5 days ago
Finite-State Modeling, Analysis and Testing of System Vulnerabilities
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
Fevzi Belli, Christof J. Budnik, Nimal Nissanke
SIGOPS
2011
210views Hardware» more  SIGOPS 2011»
13 years 1 months ago
Small trusted primitives for dependable systems
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...
Petros Maniatis, Byung-Gon Chun
ICCAD
2009
IEEE
82views Hardware» more  ICCAD 2009»
13 years 4 months ago
Operating system scheduling for efficient online self-test in robust systems
Very thorough online self-test is essential for overcoming major reliability challenges such as early-life failures and transistor aging in advanced technologies. This paper demon...
Yanjing Li, Onur Mutlu, Subhasish Mitra