Inferring authentication tags. - Riccardo Focardi; Matteo Maffei; Francesco Placella (WITS, 2005)