B. Weiss: "Authenticated Consensus"; Supervisor, Reviewer: U. Schmid; Institut für Rechnergestützte Automation, 2002.