Security Analysis and Formal Verification on Blockchain and its Applications

Name: Security Analysis and Formal Verification on Blockchain and its Applications
Brand: Now Publishers Inc
Availability: OutOfStock
Rating: 5 (1 reviews)

By Kang Li

0 - Default Title

Description

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.

Product details

Binding:

Paperback

Number of Pages:

132

Release Date:

2025-06-04

Publication Date:

2025-06-04

Publisher:

Now Publishers Inc

Languages:

Original: English

ISBN10:

1638285683

ISBN13:

9781638285687

GPSR Manufacturer Reference:

[email protected]

Weight:

213 g

Height:

156 cm

Width:

234 cm

Thickness:

7 cm

Buy on Amazon

Currently sold out