Journals

TPM-based Protection for Mobile Agents
Antonio Muñoz and Antonio Maña Gomez
In the International Journal of Security and Communications Networks
The Role of Trusted Computing in the Secure Agent Migration
Antonio Muñoz, Antonio Maña and Daniel Serrano
In International Journal of Computer Science & Applications. ISSN 0972-9038,

Conferencias internacionales

“ A Secure and Auto-configurable Environment for Mobile Agents in Ubiquitous Computing Scenarios ”
Javier Lopez, Antonio Maña and Antonio Muñoz
Third International Conference, Ubiquitous Intelligence and Computing Wuhan, China, September 2006.
UIC'06 in proceedings pp. 977-987. Published by springer.
“ Mutual Protection for Multiagent Systems ”
Antonio Maña and Antonio Muñoz
Proceedings of the Third International Workshop on Safety and Security in Multiagent Systems (SASEMAS '06). 2006.
AAMAS '06r, Hakodate, Japan, May 2006
“ Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence. ”
Antonio Maña, Antonio Muñoz and Daniel Serrano.
Fourth International Conference, Ubiquitous Intelligence and Computing.
UIC'07. ISSN 0302-9743. ISBN 978-3-540-73548-9. LNCS, Springer Verlag. Hong Kong (China) 2007.
“ Facilitating the Use of TPM Technologies through S&D Patterns. ”
Antonio Maña and Antonio Muñoz.
In DEXA Proceedings. IEEE.
SPatterns '07. Regensburg (Germany).
“ Trusted Code Execution in JavaCard. ”
Antonio Maña and Antonio Muñoz.
In Proceedings Springer-Verlag, LNCS.
Trustbus '07. Regensburg (Germany).
“ Agent Paradigm for Engineering AmI. ”
Amed Raian, Amir Sameh, Paolo Giorgini, Antonio Maña and Antonio Muñoz.
In Proceedingsin 2nd edition Ambient Intelligence Conference 2007. ISBN 978-2-287-78543-6.
AMID'07 Springer-Verlag proceedings in Sophia Antipolis, (France).
“ A Hardware based Infrastructure for Agent Protection. ”
Antonio Muñoz and Antonio Maña
In Proceedings of 3rd Symposium of Ubiquitous Computing and Ambient Intelligence 2008. Springer Verlag
UCAMI'08. ISSN 16-15-3871. ISBN 978-3-540-85866-9. Springer-Verlag. University of Salamanca, Spain (22-24th October, 2008)University of Salamanca, Spain (22-24th October, 2008)
“ Model Checking Ambient Intelligence Scenarios with AVISPA. ”
Antonio Muñoz, Daniel Serrano, Antonio Maña.
ARES 2009 The International Dependability Conference in March, 16th - 19th 2009 in Fukuoka Institute of Technology (FIT) Fukuoka, Japan. Published by IEEE
“ SecMiLiA: An Approach in the Agent Protection. ”
Antonio Muñoz, Antonio Maña and Daniel Serrano.
To appear in the proceedings of the Fourth International Conference on Availability, Reliability and Security
ARES 2009 The International Dependability Conference in March, 16th - 19th 2009 in Fukuoka Institute of Technology (FIT).Fukuoka, Japan. Published by IEEE
“ Protected Computing Approach: Towards the Mutual Protection of Agent Computing. ”
Antonio Maña, Antonio Muñoz, Daniel Serrano.
In proc. of the International Conference on Practical Applications of Agents and Multiagent Systems in Salamanca (Spain)
PAAMS´09. ISSN 1867-5662. ISBN 978-3-642-00486-5. Springer-Verlag proceedings.
“ Agent Protection based on the use of cryptographic hardware. ”
Antonio Muñoz, Antonio Maña, Rajesh Harjani and Marioli Montenegro.
To appear in the proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference.
COMPSAC´09 to be held in Seattle,Washington, July 20 - July 24, 2009. Published by IEEE.