• Capítulo de Libro
      Icon

      ELEna: An interdisciplinary research 

      Jiménez Palmero, Diego; Pro Martín, José Luis; Salguero Lamillar, Francisco J.; Quesada Moreno, José Francisco (John Benjamins, 2020)
      This paper focuses on the description of the controversies that arise from the interdisciplinary work necessary for the ...
    • Artículo
      Icon

      Semantics for incident identification and resolution reports 

      Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Oxford Academic, 2016)
      In order to achieve a safe and systematic treatment of security protocols, organizations release a number of technical briefings ...
    • Ponencia
      Icon

      Specifying and Verifying Meta-Security by Means of Semantic Web Methods 

      Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Springer, 2014)
      In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ...