Listar por autor "Serrano, Daniel"

Mostrando ítems 1-3 de 3

AVISPA in the Validation of Ambient Intelligence Scenarios.

Muñoz-Gallego, Antonio Jesús; Maña-Gómez, Antonio; Serrano, Daniel (IEEE, 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 ...
Representation of Security and Dependability Solutions.

Sánchez-Cid, Francisco; Maña-Gómez, Antonio; Muñoz-Gallego, Antonio Jesús; Serrano, Daniel; Spanoudakis, George; Kloukinas, Christos[et al.] (Springer, 2009-01-01)

Las consideraciones sobre la Ambient Intelligence (AmI) nos llevan a argumentar que es esencial que los mecanismos de Seguridad y Fiabilidad (S&D) puedan adaptarse a las condiciones contextuales renovables para poder ...
Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence

Muñoz-Gallego, Antonio Jesús; Maña-Gómez, Antonio; Serrano, Daniel (Springer, 2007-07-11)

El trabajo presenta una revisión exhaustiva de la evolución de los sistemas multiagente y analiza por qué estos sistemas no han sido ampliamente adoptados fuera de escenarios de investigación, señalando que la falta de ...