LWSBFT: Leaderless weakly synchronous BFT protocol.

Kaiwen Huang Ronghui Hou Yingming Zeng

Published in: Comput. Networks (2022)

Keyphrases

state machine
lightweight
formal analysis
cryptographic protocols
coloured petri nets
communication protocol
tcp ip
security protocols
real time
asynchronous communication
network protocols
database systems
security analysis
network simulator