2814 search results - page 1 / 563 » Can We Make Operating Systems Reliable and Secure |
COMPUTER
2006
13 years 4 months ago
2006
CTW
2002
13 years 4 months ago
2002
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
USS
2008
13 years 6 months ago
2008
Administrative verifiability gives election officials the means to protect against certain kinds of errors and fraud. This is typically accomplished with tools like paper audit tr...
MIDDLEWARE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Enterprise-system upgrades are unreliable and often produce downtime or data-loss. Errors in the upgrade procedure, such as broken dependencies, constitute the leading ca...
EH
2002
IEEE
13 years 9 months ago
2002
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...