2026-05-28T09:12:28Zhttps://riuma.uma.es/rest/oai/requestoai:riuma.uma.es:10630/331282026-02-03T11:10:23Zcom_10630_2254col_10630_37953
AVISPA in the Validation of Ambient Intelligence Scenarios.
Muñoz-Gallego, Antonio Jesús
Maña-Gómez, Antonio
Serrano, Daniel
Inteligencia ambiental
Política de acceso abierto tomada de: https://journals.ieeeauthorcenter.ieee.org/become-an-ieee-journal-author/publishing-ethics/guidelines-and-policies/post-publication-policies/
El artículo presenta una investigación centrada en la validación de escenarios de inteligencia ambiental (AmI) utilizando AVISPA, una herramienta de modelado y verificación automática de protocolos de seguridad. Los entornos AmI, caracterizados por su sensibilidad, adaptabilidad y heterogeneidad, presentan importantes desafíos en términos de seguridad debido a la gran cantidad de dispositivos conectados y la naturaleza dinámica de las redes. El objetivo principal del estudio es evaluar la aplicabilidad de AVISPA en la validación de protocolos de seguridad en estos entornos y proporcionar un enfoque inicial para el uso de técnicas de descripción formal en dichos sistemas.
2024-09-25T06:57:30Z
2024-09-25T06:57:30Z
2009
journal article
A. Muñoz, A. Maña and D. Serrano, "AVISPA in the Validation of Ambient Intelligence Scenarios," 2009 International Conference on Availability, Reliability and Security, Fukuoka, Japan, 2009, pp. 420-426, doi: 10.1109/ARES.2009.80. keywords: {Ambient intelligence;Protocols;Application software;Communication system security;Humans;Pervasive computing;Power system security;Internet;Context;Ecosystems;Validation;Ambient Intelligent;AVISPA},
https://hdl.handle.net/10630/33128
10.1109/ARES.2009.80
eng
http://creativecommons.org/licenses/by-nc-nd/4.0/
open access
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
IEEE