Automatic implementation system of security protocols based on formal description techniques.

Luis Mengual, Nicols Barcia, Ernesto Jimnez, Ernestina Menasalvas Ruiz, Julio Setin, Javier Ygez

Browse the full ISCC paper archive.