On the construction of digest functions for manual authentication protocols - Nguyen, L; Roscoe, A (Under preparation, 2011)