- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author
Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author "Matos Arana, Virginia"
Now showing items 1-1 of 1
-
Presentation
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 ...