On message recognition protocols: recoverability and explicit confirmation. (31st January 2011)