713 search results - page 4 / 143 » An Integrated Framework for Security and Dependability |
ACSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
—MapReduce has become increasingly popular as a powerful parallel data processing model. To deploy MapReduce as a data processing service over open systems such as service orient...
IEEEARES
2006
IEEE
14 years 23 days ago
2006
IEEE
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...
CCS
2007
ACM
14 years 27 days ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
ARCS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
SAFECOMP
2007
Springer
14 years 25 days ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...