141 search results - page 19 / 29 » Composition and integrity preservation of secure reactive sy... |
183
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
156
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Prefix hijacking, a misbehavior in which a misconfigured or malicious BGP router originates a route to an IP prefix it does not own, is becoming an increasingly serious security p...
165
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Patching, upgrading, and maintaining operating system software is a growing management complexity problem that can result in unacceptable system downtime. We introduce AutoPod, a ...
156
click to vote
COMPSEC
2010
15 years 4 months ago
2010
Making backup is so cumbersome and expensive that individuals hardly ever backup their data and companies usually duplicate their data into a secondary server. This paper proposes...
160
click to vote
STORAGESS
2006
ACM
16 years 2 hour ago
2006
ACM
Archival storage systems are designed for a write-once, read-maybe usage model which places an emphasis on the long-term preservation of their data contents. In contrast to tradit...