8 search results - page 2 / 2 » Building trust in peer-to-peer systems: a review |
SIGOPS
2011
13 years 8 days ago
2011
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...
SIGADA
2005
Springer
13 years 10 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
HOLOMAS
2007
Springer
13 years 11 months ago
2007
Springer
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...