1  Cover

      2  Title Page

      3  Copyright

      4  Dedication

      5  List of Figures

      6  List of Tables

      7  Acknowledgments

      8  Preface

      9  References

      10  1 Introduction 1.1 Basic Concepts and Terminologies for Dependable Computing 1.2 Means to Achieve Dependability 1.3 System Security REFERENCES

      11  2 Logging and Checkpointing 2.1 System Model 2.2 Checkpoint-Based Protocols 2.3 Log Based Protocols REFERENCES

      12  3 Recovery-Oriented Computing 3.1 System Model 3.2 Fault Detection and Localization 3.3 Microreboot 3.4 Overcoming Operator Errors REFERENCES

      13  4 Data and Service Replication 4.1 Service Replication 4.2 Data Replication 4.3 Optimistic Replication 4.4 CAP Theorem REFERENCES

      14  5 Group Communication Systems 5.1 System Model 5.2 Sequencer Based Group Communication System 5.3 Sender Based Group Communication System 5.4 Vector Clock Based Group Communication System REFERENCES

      15  6 Consensus and the Paxos Algorithms 6.1 The Consensus Problem 6.2 The Paxos Algorithm 6.3 Multi-Paxos 6.4 Dynamic Paxos 6.5 Fast Paxos 6.6 Implementations of the Paxos Family Algorithms REFERENCES

      16  7 Byzantine Fault Tolerance 7.1 The Byzantine Generals Problem 7.2 Practical Byzantine Fault Tolerance 7.3 Fast Byzantine Agreement 7.4 Speculative Byzantine Fault Tolerance REFERENCES

      17  8 Cryptocurrency and Blockchain 8.1 History of Cryptocurrency 8.2 Bitcoin 8.3 Ethereum 8.4 Attacks on Blockchain References

      18  9 Consensus Algorithms for Blockchain 9.1 Model on Blockchain Consensus 9.2 Proof of Work 9.3 Proof of Resources 9.4 Virtual Mining References

      19  10 Blockchain Applications 10.1 The Value of Blockchain 10.2 Blockchain-Enabled Cyber-Physical Systems 10.3 On Blockchain Throughput 10.4 A Critical Look on Blockchain from Economy Perspective References

      20  Index

      21  Скачать книгу