发送短信: On the construction of digest functions for manual authentication protocols