Committable: A Decentralised and Trustless Open-Source Protocol.

Han Liu Huafeng Zhang Bangdao Chen A. W. Roscoe

Published in: ICBC (2022)

Keyphrases

open source
open source software
source code
lightweight
multi agent systems
conflict resolution

formal analysis
case study
communication protocol
discrete event systems
communication protocols
network protocols

authentication protocol
tcp ip
cryptographic protocols
security protocols
rfid systems

smart card
ip address
network simulator
file transfer
max sum algorithm