Demanda(n°220): To Protection of Logic ref. Demand 219; Advances in Cryptology - 5 ASIACRYPT 2005; Errors in Computational COMPLEXITY PROOFS FOR PROTOCOLS - Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock 624