2026-05-30T08:44:49Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/331282026-02-03T11:10:23Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Muñoz-Gallego, Antonio Jesús author Maña-Gómez, Antonio author Serrano, Daniel author 2009 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. 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 Inteligencia ambiental AVISPA in the Validation of Ambient Intelligence Scenarios.