| |
PUBLICACIONES
Capitulos en libros
|
Daniel Serrano, Antonio Maña, Rafael
Llarena, Beatriz Gallego-Nicasio Crespo, and Keqin Li. In book:
Security and dependability for Ambient Intelligence, chapter:
"SERENITY-aware development of security solutions".
Springer, 2009. (Por aparecer) |
|
Francisco Sánchez-Cid, Antonio Maña,
George Spanoudakis, Christos Kloukinas, Daniel Serrano, and Antonio
Muñoz. In book: Security and dependability for Ambient
Intelligence, chapter: "Representation of Security
and Dependability Solutions". Springer, 2008. (Por
aparecer) |
|
Beatriz Gallego-Nicasio Crespo, Ana Piñuela,
Pedro Soria-Rodríguez, Daniel Serrano, and Antonio Maña.
In book: Security and dependability for Ambient Intelligence,
chapter: "The SERENITY runtime framework".
Springer, 2008. (Por aparecer) |
|
Daniel Serrano, Antonio Maña, Rafael
Llarena, Beatriz Gallego-Nicasio Crespo, and Keqin Li. In book:
Security and dependability for Ambient Intelligence, chapter:
"SERENITY-aware system development process".
Springer, 2008. (Por aparecer) |
|
Beatriz Gallego-Nicasio Crespo, Ana Piñuela,
Pedro Soria-Rodríguez, Daniel Serrano, and Antonio Maña.
In book: Security and dependability for Ambient Intelligence,
chapter: "Pattern-driven selection and conguration
of S&D mechanisms at run-time". Springer, 2008.
(Por aparecer) |
| |
Aljosa Pasic, Daniel Serrano, Pedro
Soria-Rodriguez, James Clarke, Pedro Carvalho, and Antonio Maña.
In book: At your service: Service Engineering in the Information
Society Technologies Program, chapter: "Security
and Dependability in the evolving service-centric architectures".
(MIT Press, USA, 2008. ISBN: 978-0-262-04253-6). |
| |
Daniel Serrano, Antonio Maña, Gimena
Pujol, David Donnan, Joseph Latanicki In book: Integrated E-bussines
Models for Government Solutions. Chapter: "Security
aware development of e-Government systems". IGI
Press, 2008. |
Publicaciones Internacionales
|
Antonio Muñoz, Antonio Maña, Daniel
Serrano. "Trusted Computing: The Cornerstone In The
Secure Migration Library For Agents". Proceedings
of 7th International Conference on Practical Applications of Agents
and Multi-Agent Systems (PAAMS 2009). Salamanca, Spain. March 2009.
(Springer to appear) |
|
Antonio Muñoz, Antonio Maña and
Daniel Serrano. "AVISPA in the validation of Ambient
Intelligence Scenarios". In proceedings of The
Forth International Conference on Availability, Reliability and Security
(AReS 2009). Fukuoka, Japan. March 2009. (IEEE to appear) |
|
Antonio Muñoz, Antonio Maña and
Daniel Serrano. "SecMiLiA: An Approach in the Agent
Protection". In proceedings of The Forth International
Conference on Availability, Reliability and Security (AReS 2009).
Fukuoka, Japan. March 2009. (IEEE to appear) |
|
Antonio Muñoz, Antonio Muñoz and
Daniel Serrano. "Model cheking ambient intelligence
with avispa". In IOS Press Publisher, editor, Proceedings
of Ambient Intelligence Forum 2008, Ambient Intelligence and Smart
Environments, 2008. (Por aparecer) |
|
Daniel Serrano, Antonio Maña, Pedro
Soria-Rodriguez, Ana Piñuela, and Athanasios-Dimitrios Sotirious.
"An architecture for secure ambient intelligence
environments". In José Bravo Juan M. Corchado,
Dante I. Tapia, editor, 3rd Symposium of Ubiquituos Computing and
Ambient Intelligence, number 51 in Advances in Soft Computing, pages
21-29, Salamanca, Spain, Octubre 2008. University of Salamanca (Springer.
ISBN: 978-3-540-85866-9). |
|
Daniel Serrano, Antonio Maña, Athanasios-Dimitrios
Sotirious. "Towards Precise and Certified Security
Patterns". In proceedings of 2nd International
Workshop on Secure systems methodologies using patterns (Spattern
2008). Turin, Italy, September 2008 (IEEE Computer Society, ISBN
978-0-7695-3299-8) |
|
Antonio Muñoz, Daniel Serrano, Antonio
Maña. "Secure Profiling as a Cornerstone in
Emerging Ambient Intelligence Scenarios". Ambient
Intelligence Developments Conference and Demos 2007 (AmID 2007). Sophia-Antipolis
(Riviera Francesa). Septiembre 2007. (Springer-Verlag, ISBN: 978-2-287-78543-6)
|
|
Antonio Maña, Antonio Muñoz, Daniel
Serrano. "Towards Secure Agent Computing for Ubiquitous
Computing and Ambient Intelligence". The 4th International
Conference on Ubiquitous Intelligence and Computing (UIC'07), Hong
Kong, China, July 11-13, 2007. (LNCS vol. 4611. Springer-Verlag,
ISBN: 978-3-540-73548-9) |
|
Antonio Maña, Francisco
Sánchez, Daniel Serrano, Antonio Muñoz. "Building
Secure Ambient Intelligence Scenarios". Eighteenth
International Conference on Software Engineering and Knowledge Engineering
(SEKE'06), San Francisco (USA), 2006. (KSI, ISBN: 1-891706-16-0)
|
|
Francisco Sanchez-Cid, Antonio
Muñoz, Daniel Serrano, M.C. Gago. "Software
Engineering Techniques Applied to AmI: Security Patterns".
Ambient Intelligence Developments Conference, 20-22 Septiembre, 2006.
Sophia Antipolis – Riviera Francesa (Francia). (Springer-Verlag,
ISBN: 2-287-47469-2) |
Publicaciones Nacionales
|
Daniel Serrano, Antonio Maña "IMPRESS, Desarrollo de Aplicaciones Seguras Basado en MDA.". X Reunión
Española sobre Criptología y Seguridad de la Información,
Salamanca, September 2008. (Por aparecer)
|
|
Antonio Muñoz, Antonio Maña, Daniel Serrano"Computación Segura de Sistemas Multiagentes Aplicada a Ambientes Inteligentes.". X Reunión
Española sobre Criptología y Seguridad de la Información,
Salamanca, September 2008. (Por aparecer)
|
|
Daniel Serrano, Beatriz Gallego-Nicasio Crespo, Antonio Muñoz, Antonio Maña "Componentes Ejecutables, un Paso más allá en los Patrones de Seguridad". X Reunión
Española sobre Criptología y Seguridad de la Información,
Salamanca, September 2008. (Por aparecer)
|
|
|
Antonio Maña, Antonio Muñoz,
Daniel Serrano. "Computación Confiable frente
a Computación Protegida". IX Reunión
Española sobre Criptología y Seguridad de la Información,
Barcelona, Septiembre 2006. (UOC Press, ISBN: 84-9788-502-3)
|
|
Antonio Maña, Antonio Muñoz,
Daniel Serrano, Francisco Sánchez. "Seguridad
Dinámica en Ambientes Inteligentes". IX
Reunión Española sobre Criptología y Seguridad
de la Información, Barcelona, September 2006. (UOC Press,
ISBN: 84-9788-502-3) |
Informes Técnicos
|
Daniel Serrano, Antonio Maña
"Towards Secure System Development Based on MDA".
Universidad de Málaga. ITI-07-03. |
|
|
|
|