RT Journal Article
T1 AVISPA in the Validation of Ambient Intelligence Scenarios.
A1 Muñoz-Gallego, Antonio Jesús
A1 Maña-Gómez, Antonio
A1 Serrano, Daniel
K1 Inteligencia ambiental
AB 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.
PB IEEE
YR 2009
FD 2009
LK https://hdl.handle.net/10630/33128
UL https://hdl.handle.net/10630/33128
LA eng
NO 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},
NO 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/
NO Unión Europea con los proyectos SERENITY (IST- 027587) y OKKAM (IST- 215032) y la Junta de Andalucía con el proyecto DESEOS
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 3 mar 2026