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.
