publication venue for Round Complexity of Authenticated Broadcast with a Dishonest Majority 2007 On-line maintenance of the four-connected components of a graph 1991