AVISPA in the Validation of Ambient Intelligence Scenarios.
Loading...
Files
Description: Artículo principal
Identifiers
Publication date
Reading date
Collaborators
Advisors
Tutors
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE
Share
Center
Department/Institute
Keywords
Abstract
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.
Description
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/
Bibliographic citation
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},
Collections
Endorsement
Review
Supplemented By
Referenced by
Creative Commons license
Except where otherwised noted, this item's license is described as Attribution-NonCommercial-NoDerivatives 4.0 Internacional