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 ...
Gimeno Balaguer, Adrián(Universitat Politècnica de València, 2018-09-19)
[ES] Este trabajo constituye un enfoque práctico a HTML5 y las WebAPI modernas, que
progresivamente ofrecen nuevas oportunidades de forma estandarizada. Así, se presta
especial atención a sus mecanismos de entrada y ...