AVISPA in the Validation of Ambient Intelligence Scenarios.
| dc.centro | E.T.S.I. Informática | es_ES |
| dc.contributor.author | Muñoz-Gallego, Antonio Jesús | |
| dc.contributor.author | Maña-Gómez, Antonio | |
| dc.contributor.author | Serrano, Daniel | |
| dc.date.accessioned | 2024-09-25T06:57:30Z | |
| dc.date.available | 2024-09-25T06:57:30Z | |
| dc.date.issued | 2009 | |
| dc.departamento | Instituto de Tecnología e Ingeniería del Software de la Universidad de Málaga | |
| dc.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/ | es_ES |
| dc.description.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. | es_ES |
| dc.description.sponsorship | Unión Europea con los proyectos SERENITY (IST- 027587) y OKKAM (IST- 215032) y la Junta de Andalucía con el proyecto DESEOS | es_ES |
| dc.identifier.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}, | es_ES |
| dc.identifier.doi | 10.1109/ARES.2009.80 | |
| dc.identifier.uri | https://hdl.handle.net/10630/33128 | |
| dc.language.iso | eng | es_ES |
| dc.publisher | IEEE | es_ES |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
| dc.rights.accessRights | open access | es_ES |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | Inteligencia ambiental | es_ES |
| dc.subject.other | AVISPA | es_ES |
| dc.subject.other | Security protocol | es_ES |
| dc.subject.other | Formal validation | es_ES |
| dc.subject.other | Ambient intelligence | es_ES |
| dc.title | AVISPA in the Validation of Ambient Intelligence Scenarios. | es_ES |
| dc.type | journal article | es_ES |
| dc.type.hasVersion | AM | es_ES |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 8f1a37f8-6ea7-4fcf-9ed7-edd9c5c80dca | |
| relation.isAuthorOfPublication | 3c48ae9d-1e7e-4454-8571-6b7964a6116b | |
| relation.isAuthorOfPublication.latestForDiscovery | 8f1a37f8-6ea7-4fcf-9ed7-edd9c5c80dca |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- ARES 2009 AVISPA (Core B) (GII-GRIN-CONFERENCE-RATING 3).pdf
- Size:
- 245.9 KB
- Format:
- Adobe Portable Document Format
- Description:
- Artículo principal
Description: Artículo principal