publication venue for Strong Dynamic Consensus in Byzantine Faulty Systems with Churn 2013 Using covert channels to evaluate the effectiveness of flow confidentiality measures 2005