Văn bản này: On the construction of digest functions for manual authentication protocols