Open AccessFormal Security Analysis on dBFT Protocol of NEO
Author(s) -
Qin Wang,
Rujia Li,
Shiping Chen,
Yang Xiang
Publication year - 2023
Language(s) - English
Resource type - Journals
ISSN - 2769-6472
DOI - 10.1145/3568314
Subject(s) - liveness , byzantine fault tolerance , computer science , computer security , protocol (science) , state (computer science) , byzantine architecture , replication (statistics) , model checking , point (geometry) , theoretical computer science , distributed computing , fault tolerance , mathematics , algorithm , geography , medicine , statistics , alternative medicine , geometry , archaeology , pathology