Antonio Maña

Antonio Muñoz, Javier Gonzalez, Antonio Maña: A Performance-Oriented Monitoring System for Security Properties in Cloud Computing Applications. Comput. J. 55(8): 979-994 (2012)

Antonio Maña, Hristo Koshutanski, Ernesto J. Pérez: A trust negotiation based security framework for service provisioning in load-balancing clusters. Computers & Security 31(1): 4-25 (2012)

Pablo Antón, Antonio Muñoz, Antonio Maña, Hristo Koshutanski: Security-enhanced ambient assisted living supporting school activities during hospitalisation. J. Ambient Intelligence and Humanized Computing 3(3): 177-192 (2012)

George Spanoudakis, Ernesto Damiani, Antonio Maña: Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. HASE 2012: 175-176

Pablo Antón, Antonio Muñoz, Antonio Maña: Authentication and Authorization in Ambient Assisting Living Applications: An Approach for UniversAAL. IWAAL 2012: 135-142

Jose Fran. Ruiz, Rajesh Harjani, Antonio Mana, Vasily Desnitsky, Igor Kotenko, Andrey Chechulin: A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components. PDP 2012: 261-268

Albert Levi, Mohamad Badra, Matteo Cesana, Mona Ghassemian, Özgür Gürbüz, Nafaâ Jabeur, Marek Klonowski, Antonio Maña, Susana Sargento, Sherali Zeadally (Eds.): 5th International Conference on New Technologies, Mobility and Security, Istanbul, Turkey, NTMS 2012, May 7-10, 2012. IEEE 2012, isbn 978-1-4673-0229-6

Antonio Muñoz, Pablo Antón, Antonio Maña: Multiagent Systems Protection. Adv. Software Engineering 2011 (2011)

Ernesto Damiani, Sigrid Gürgens, Antonio Maña, George Spanoudakis, Claudio Agostino Ardagna: Editorial. Journal of Systems Architecture - Embedded Systems Design 57(3): 229-230 (2011)

Antonio Muñoz, Antonio Maña: TPM-based protection for mobile agents. Security and Communication Networks 4(1): 45-60 (2011)

Antonio Muñoz, Antonio Maña: Facilitating the Use of TPM Technologies Using the Serenity Framework. ATC 2011: 164-174

Antonio Muñoz, Pablo Antón, Antonio Maña: Static Mutual Approach for Protecting Mobile Agent. DCAI 2011: 51-58

Antonio Maña, Jose Fran. Ruiz: A Security Modelling Framework for Systems of Embedded Components. HASE 2011: 176-177

Javier González, Antonio Muñoz, Antonio Maña: Multi-layer Monitoring for Cloud Computing. HASE 2011: 291-298

Pablo Antón, Antonio Maña, Antonio Muñoz, Hristo Koshutanski: Live Interactive Frame Technology Alleviating Children Stress and Isolation during Hospitalization. IWAAL 2011: 92-100

Antonio Mana, Gimena Pujol, Claudia Pandolfo: A Distributed Secure Ontology for Certified Services Oriented Applications. ICSC 2011: 522-529

Hristo Koshutanski, Antonio Maña: Interoperable semantic access control for highly dynamic coalitions. Security and Communication Networks 3(6): 565-594 (2010)

Zoltán Miklós, Nicolas Bonvin, Paolo Bouquet, Michele Catasta, Daniele Cordioli, Peter Fankhauser, Julien Gaugaz, Ekaterini Ioannou, Hristo Koshutanski, Antonio Maña: From Web Data to Entities and Back. CAiSE 2010: 302-316

Antonio Maña, Gimena Pujol: Verification of Security Policy of Service Oriented Systems. DMS 2010: 120-125

Antonio Muñoz, Antonio Maña, Pablo Antón: In the Track of the Agent Protection: A Solution Based on Cryptographic Hardware. MMM-ACNS 2010: 284-297

Antonio Muñoz, Antonio Maña, Pablo Antón: A Solution Based on Cryptographic Hardware to Protect Agents. NBiS 2010: 400-407

Marco Anisetti, Claudio Agostino Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis: ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops 2010: 38-40

Boris E. R. de Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Maña Gómez (Eds.): Ambient Intelligence - First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings. Lecture Notes in Computer Science 6439, Springer 2010, isbn 978-3-642-16916-8

Spyros Kokolakis, Antonio Maña Gómez, George Spanoudakis (Eds.): Security and Dependability for Ambient Intelligence. Advances in Information Security 45, Springer 2009, isbn 978-0-387-88774-6

Antonio Muñoz, Antonio Maña, Daniel Serrano: Protecting agents from malicious hosts using TPM. IJCSA 6(5): 30-58 (2009)

Antonio Muñoz, Antonio Maña, Daniel Serrano: SecMiLiA: An Approach in the Agent Protection. ARES 2009: 341-348

Antonio Muñoz, Antonio Maña, Daniel Serrano: AVISPA in the Validation of Ambient Intelligence Scenarios. ARES 2009: 420-426

Antonio Muñoz, Antonio Maña, Rajesh Harjani, Marioli Montenegro: Agent Protection Based on the Use of Cryptographic Hardware. COMPSAC (2) 2009: 312-317

Álvaro Armenteros, Antonio Muñoz, Antonio Maña, Daniel Serrano: Security and Dependability in Ambient Intelligence Scenarios - The Communication Prototype. ICEIS (3) 2009: 49-56

Antonio Muñoz, Antonio Maña, Daniel Serrano: Trusted Computing: The Cornerstone in the Secure Migration Library for Agents. PAAMS 2009: 256-265

Antonio Maña, Antonio Muñoz, Daniel Serrano: Hardware Protection of Agents in Ubiquitous and Ambient Intelligence Environments. PAAMS 2009: 470-479

Antonio Maña, Antonio Muñoz, Daniel Serrano: Protected Computing Approach: Towards the Mutual Protection of Agent Computing. PAAMS 2009: 538-547

Antonio Muñoz, Antonio Maña, Daniel Serrano: The Role of Trusted Computing in the Secure Migration Library for Agents. RCIS 2009: 255-264

Beatriz Gallego-Nicasio, Antonio Muñoz, Antonio Maña, Daniel Serrano: Security Patterns, Towards a Further Level. SECRYPT 2009: 349-356

Ernesto Damiani, Antonio Maña: Toward WS-certificate. SWS 2009: 1-2

Antonio Maña, George Spanoudakis, Spyros Kokolakis: Introduction: The SERENITY vision. Security and Dependability for Ambient Intelligence 2009: 1-18

Francisco Sánchez-Cid, Antonio Maña, George Spanoudakis, Christos Kloukinas, Daniel Serrano, Antonio Muñoz: Representation of Security and Dependability Solutions. Security and Dependability for Ambient Intelligence 2009: 69-95

Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li: SERENITY Aware Development of Security and Dependability Solutions. Security and Dependability for Ambient Intelligence 2009: 127-141

Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li: SERENITY Aware System Development Process. Security and Dependability for Ambient Intelligence 2009: 165-179

Beatriz Gallego-Nicasio Crespo, Ana Piñuela, Pedro Soria-Rodriguez, Daniel Serrano, Antonio Maña: The SERENITY Runtime Framework. Security and Dependability for Ambient Intelligence 2009: 183-198

Beatriz Gallego-Nicasio Crespo, Ana Piñuela, Pedro Soria-Rodriguez, Daniel Serrano, Antonio Maña: Pattern Driven Selection and Configuration of S&D Mechanisms at Runtime. Security and Dependability for Ambient Intelligence 2009: 199-212

Álvaro Armenteros, Laura García, Antonio Muñoz, Antonio Maña: Realising the Potential of Serenity in Emerging AmI Ecosystems: Implications and Challenges. Security and Dependability for Ambient Intelligence 2009: 323-342

Antonio Maña, George Spanoudakis, Spyros Kokolakis: Future Directions. Security and Dependability for Ambient Intelligence 2009: 379-383

Antonio Maña, Gimena Pujol: Towards Formal Specification of Abstract Security Properties. ARES 2008: 80-87

Antonio Muñoz, Antonio Maña, Daniel Serrano: Model Cheking Ambient Intelligence with AVISPA. AMIF 2008: 182-193

Daniel Serrano, Antonio Maña, Athanasios-Dimitrios Sotirious: Towards Precise Security Patterns. DEXA Workshops 2008: 287-291

Francisco Sánchez-Cid, Antonio Maña: SERENITY Pattern-Based Software Development Life-Cycle. DEXA Workshops 2008: 305-309

Junaid Ahsenali Chaudhry, Themis Palpanas, Periklis Andritsos, Antonio Maña: Entity Lifecycle Management for OKKAM. IRSW 2008

Paolo Bouquet, Heiko Stoermer, Claudia Niederée, Antonio Mana: Entity Name System: The Back-Bone of an Open and Scalable Web of Data. ICSC 2008: 554-561

Hristo Koshutanski, Antonio Maña: A Semantic Approach to Access Control and Automated Credential Negotiation for Decentralized Online Repositories / An OKKAM Project Use Case. SWAP 2008

Francisco Sánchez-Cid, Antonio Mana: Patterns for Automated Management of Security and Dependability Solutions. DEXA Workshops 2007: 739-743

Sigrid Gürgens, Carsten Rudolph, Antonio Maña, Antonio Muñoz: Facilitating the Use of TPM Technologies through S&D Patterns. DEXA Workshops 2007: 765-769

Antonio Maña, Antonio Muñoz: Trusted Code Execution in JavaCard. TrustBus 2007: 269-279

Antonio Maña, Antonio Muñoz, Daniel Serrano: Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence. UIC 2007: 1201-1212

Antonio Mana, Volkmar Lotz: Developing ambient intelligence - proceedings of the first international conference on ambient intelligence developments. Springer 2006, isbn 978-2-287-47469-9, pp. I-X, 1-159

Antonio Mana, Antonio Muñoz: Protected computing vs. trusted computing. COMSWARE 2006

Antonio Maña, Francisco Sánchez-Cid, Daniel Serrano, Antonio Muñoz: Towards Secure Ambient Intelligence Scenarios. SEKE 2006: 386-391

Javier Lopez, Antonio Maña, Antonio Muñoz: A Secure and Auto-configurable Environment for Mobile Agents in Ubiquitous Computing Scenarios. UIC 2006: 977-987

Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier Lopez: A metadata-based access control model for web services. Internet Research 15(1): 99-116 (2005)

Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana: Semantic Access Control Model: A Formal Specification. ESORICS 2005: 24-43

Carsten Rudolph, Antonio Mana: Specification and automated processing of security requirements (SAPS'05). ASE 2005: 460

Javier Lopez, Antonio Mana, José A. Montenegro, Juan J. Ortega: PKI design based on the use of on-line certification authorities. Int. J. Inf. Sec. 2(2): 91-102 (2004)

Antonio Mana, Javier Lopez, Juan J. Ortega, Ernesto Pimentel, José M. Troya: A framework for secure execution of software. Int. J. Inf. Sec. 3(2): 99-112 (2004)

Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Francisco Sánchez-Cid: Semantic Interoperability of Authorizations. WOSIS 2004: 269-278

Javier Lopez, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle: Integrating PMI services in CORBA applications. Computer Standards & Interfaces 25(4): 391-409 (2003)

Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier Lopez, Ernesto Pimentel, José M. Troya: A secure solution for commercial digital libraries. Online Information Review 27(3): 147-159 (2003)

Antonio Mana, José A. Montenegro, Carsten Rudolph, José Luis Vivas: A business process-driven approach to security engineering. DEXA Workshops 2003: 477-481

Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, José M. Troya: Applying the Semantic Web Layers to Access Control. DEXA Workshops 2003: 622-626

Javier Lopez, Antonio Mana, Mariemma Inmaculada Yagüe del Valle: XML-Based Distributed Access Control System. EC-Web 2002: 203-213

Antonio Mana, Sonia Matamoros: Practical Mobile Digital Signatures. EC-Web 2002: 224-233

Javier Lopez, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya: Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. EGOV 2002: 211-214

Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, Ernesto Pimentel, José M. Troya: Secure Content Distribution for Digital Libraries. ICADL 2002: 483-494

Javier Lopez, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle: Access Control Infrastructure for Digital Objects. ICICS 2002: 399-410

Antonio Mana, Ernesto Pimentel: An Efficient Software Protection Scheme. SEC 2001: 385-402

Javier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya: Distributed Storage and Revocation in Digital Certificate Databases. DEXA 2000: 929-938

Jorge Davila, Javier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya: Development of Secure Internet Applications for Governmental Environments. DEXA Workshop 2000: 362-368

Javier Lopez, Antonio Mana, Juan J. Ortega: Cert'eM: Certification System Based on Electronic Mail Service Structure. CQRE 1999: 109-118

Antonio Maña Gómez, F. Villalba-Sánchez, Javier López: Secure Examinations through the Internet. Teleteaching 1998: 695-704