Quantitative Evaluation of BFT Protocols.

Raluca Halalai Thomas A. Henzinger Vasu Singh

Published in: QEST (2011)

Keyphrases

keywords
quantitative evaluation
ground truth
ground truth data
state machine
qualitative evaluation
semantic information
quality assessment
error measure
brain mr images
multi party
communication protocols
databases
high level
security protocols