Open AccessFormal Security Analysis on dBFT Protocol of NEO
Author(s) -
Qin Wang,
Rujia Li,
Shiping Chen,
Yang Xiang
Publication year - 2022
Publication title -
deleted journal
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) , point (geometry) , theoretical computer science , model checking , distributed computing , fault tolerance , mathematics , algorithm , geography , medicine , statistics , alternative medicine , geometry , archaeology , pathology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom