Gimeno Balaguer, Adrián(Universitat Politècnica de València, 2019-10-28)
[ES] El desarrollo de este proyecto tiene como objetivo la elaboración una Interfaz Gráfica para la herramienta Maude-NPA. Maude-NPA es una herramienta que permite el análisis de protocolos criptográficos y que ha sido ...