Sabbatical leave to carry out research on the "Automated Correction of Faulty Security Protocols" ( Monroy-Borja, Raúl - 2005) uri icon