Verwandte Artikel zu Security Analysis and Formal Verification on Blockchain...
Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends® in Computer Science) - Softcover
Inhaltsangabe
At its core, blockchain is a distributed database that maintains a continuously growing list of records, called blocks, which are securely linked using cryptographic techniques. Each block contains a cryptographic hash of the previous block, a timestamp, and transaction data, making it virtually tamper-proof and resistant to modification. This structure ensures that once a block is added to the chain, the information it contains is immutable and can be trusted by all participants in the network. Blockchains have become an integrated part of our financial infrastructures. Being monetary yet fully automated, blockchain and its applications are unanimously deemed impracticable before undergoing necessary verification.
This monograph reviews the previous attempts at verifying two fundamental properties of blockchains: correctness and security. First, it summarizes and categorizes the correctness and security flaws encountered by real-world blockchains. Second, it systematizes the development of formal verification to address the flaws in blockchains, covering the aspects of models, specifications, and techniques. Third, it unveils the progress of security analysis for mitigating the flaws, unveiling the analysis principles being followed, the flaw oracles being devised, and the detection methods being used. Finally, the monograph summarizes the remaining challenges and visions of the trend in the near future.
Throughout this monograph, future blockchain verification advances are identified, especially in expanding its applicability, making specification generation easier, and discovering previously unknown vulnerabilities. By identifying gaps such as missing tools for infrastructure-level components and the difficulty of writing formal specifications, this monograph aims to motivate the development of more automated, intelligent, and practical verification frameworks.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 85,28
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Security Analysis and Formal Verification on Blockchain...
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends(r) in Computer Science)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9781638285687
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications
Print-on-DemandAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 197. Bestandsnummer des Verkäufers C9781638285687
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications (Paperback)
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. At its core, blockchain is a distributed database that maintains a continuously growing list of records, called blocks, which are securely linked using cryptographic techniques. Each block contains a cryptographic hash of the previous block, a timestamp, and transaction data, making it virtually tamper-proof and resistant to modification. This structure ensures that once a block is added to the chain, the information it contains is immutable and can be trusted by all participants in the network. Blockchains have become an integrated part of our financial infrastructures. Being monetary yet fully automated, blockchain and its applications are unanimously deemed impracticable before undergoing necessary verification.This monograph reviews the previous attempts at verifying two fundamental properties of blockchains: correctness and security. First, it summarizes and categorizes the correctness and security flaws encountered by real-world blockchains. Second, it systematizes the development of formal verification to address the flaws in blockchains, covering the aspects of models, specifications, and techniques. Third, it unveils the progress of security analysis for mitigating the flaws, unveiling the analysis principles being followed, the flaw oracles being devised, and the detection methods being used. Finally, the monograph summarizes the remaining challenges and visions of the trend in the near future.Throughout this monograph, future blockchain verification advances are identified, especially in expanding its applicability, making specification generation easier, and discovering previously unknown vulnerabilities. By identifying gaps such as missing tools for infrastructure-level components and the difficulty of writing formal specifications, this monograph aims to motivate the development of more automated, intelligent, and practical verification frameworks. This work reviews previous attempts at verifying two fundamental properties of blockchains: correctness and security. It categorizes the correctness and security flaws encountered by real-world blockchains. Then, it systematizes formal verification to address the flaws in blockchains, covering aspects of models, specifications, and techniques. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Bestandsnummer des Verkäufers 9781638285687
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends(r) in Computer Science)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 26404448710
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications (Paperback)
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. At its core, blockchain is a distributed database that maintains a continuously growing list of records, called blocks, which are securely linked using cryptographic techniques. Each block contains a cryptographic hash of the previous block, a timestamp, and transaction data, making it virtually tamper-proof and resistant to modification. This structure ensures that once a block is added to the chain, the information it contains is immutable and can be trusted by all participants in the network. Blockchains have become an integrated part of our financial infrastructures. Being monetary yet fully automated, blockchain and its applications are unanimously deemed impracticable before undergoing necessary verification.This monograph reviews the previous attempts at verifying two fundamental properties of blockchains: correctness and security. First, it summarizes and categorizes the correctness and security flaws encountered by real-world blockchains. Second, it systematizes the development of formal verification to address the flaws in blockchains, covering the aspects of models, specifications, and techniques. Third, it unveils the progress of security analysis for mitigating the flaws, unveiling the analysis principles being followed, the flaw oracles being devised, and the detection methods being used. Finally, the monograph summarizes the remaining challenges and visions of the trend in the near future.Throughout this monograph, future blockchain verification advances are identified, especially in expanding its applicability, making specification generation easier, and discovering previously unknown vulnerabilities. By identifying gaps such as missing tools for infrastructure-level components and the difficulty of writing formal specifications, this monograph aims to motivate the development of more automated, intelligent, and practical verification frameworks. This work reviews previous attempts at verifying two fundamental properties of blockchains: correctness and security. It categorizes the correctness and security flaws encountered by real-world blockchains. Then, it systematizes formal verification to address the flaws in blockchains, covering aspects of models, specifications, and techniques. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9781638285687
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends® in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 132 pages. 6.14x0.28x9.21 inches. In Stock. Bestandsnummer des Verkäufers x-1638285683
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends(r) in Computer Science)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 409786905
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Security Analysis and Formal Verification on Blockchain and its Applications (Foundations and Trends(r) in Computer Science)
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 18404448716
Anzahl: 4 verfügbar
Foto des Verkäufers
Security Analysis and Formal Verification on Blockchain and its Applications
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This work reviews previous attempts at verifying two fundamental properties of blockchains: correctness and security. It categorizes the correctness and security flaws encountered by real-world blockchains. Then, it systematizes formal verification to address the flaws in blockchains, covering aspects of models, specifications, and techniques. Bestandsnummer des Verkäufers 9781638285687
Anzahl: 2 verfügbar