Propuesta de un Servicio de Delegación de Identidad en Sistemas Distribuidos. - Nicolás Barcia (1989)

Automatic implementation system of security protocols based on formal description techniques. - Luis Mengual; Nicolás Barcia; Ernesto Jiménez; Ernestina Menasalvas Ruiz; Julio Setién; Javier Yágüez (ISCC, 2002)