Proving Properties of Incremental Merkle Trees (2008)
Mizuhito Ogawa, Eiichi Horita, Satoshi Ono
Abstract. This paper proves two basic properties of the model of a single attack point-free event ordering system, developed by NTT. This model is based on an incremental construction of Merkle...