1268 search results - page 4 / 254 » Verifying distributed systems: the operational approach |
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
USS
2008
14 years 12 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
117
click to vote
CBSE
2011
Springer
13 years 9 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
73
Voted
SIGOPSE
2004
ACM
15 years 3 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...