Conferencia: AUTOMATIC TOOLS FOR SECURITY PROTOCOL ANALYSIS 9 abril 2013
El próximo viernes 12 de Abril 2013 tendrá lugar, en la Sala de Grados de la Facultad de Ciencias a las 11:30h, la conferencia titulada AUTOMATIC TOOLS FOR SECURITY PROTOCOL ANALYSIS, que será impartida por el Prof. Dr. Dr. Jozef Jirasek, Faculty of Science, Institute of Computer Science, Pavol Jozef Safarik University in Kosice (Eslovaquia).