Antonio Maña

73 papers A 1B 6C 9Misc 4Journal 18Unranked 25
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Secure Auditable Remote Registry Pattern for IoT Systems.
Future Internet
Antonio Maña, Francisco J. Jaime, Francisco L. Gutiérrez
2019 J jnl
Special issue on "Recent advances in ambient intelligence towards a smart and human-centered internet of things".
J. Ambient Intell. Humaniz. Comput.
Antonio Maña, Hristo Koshutanski
2017 — ed.
Ambient Intelligence - 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings
AmI
Andreas Braun, Reiner Wichert, Antonio Maña
2017 J jnl
Interdisciplinarity in practice: Challenges and benefits for privacy research.
Comput. Law Secur. Rev.
Daniel Le Métayer, Mathias Bossuet, Fanny Coudert, Claire Gayrel, Francisco J. Jaime, Christophe Jouvray, Antonio Kung, Zhendong Ma, Antonio Maña
2017 J jnl
Security knowledge representation artifacts for creating secure IT systems.
Comput. Secur.
José Fran. Ruiz, Marcos Arjona, Antonio Maña, Carsten Rudolph
2015 J jnl
An Integrated Security and Systems Engineering Process and Modelling Framework.
Comput. J.
José Fran. Ruiz, Antonio Maña, Carsten Rudolph
2015 J jnl
An immersive view approach by secure interactive multimedia proof-of-concept implementation.
Multim. Tools Appl.
Pablo Antón, Antonio Maña, Antonio Muñoz, Hristo Koshutanski
2015 C conf
Building a Privacy Accountable Surveillance System.
MODELSWARD
Francisco J. Jaime, Antonio Maña, Zhendong Ma, Christian Wagner, Daniel Hovie, Mathias Bossuet
2014 — conf
A security engineering process for systems of systems using security patterns.
SysCon
José Fran. Ruiz, Carsten Rudolph, Antonio Maña, Marcos Arjona
2014 J jnl
A special issue of ad hoc networks on "Smart solutions for mobility supported distributed and embedded systems".
Ad Hoc Networks
Albert Levi, Özgür Gürbüz, Antonio Maña, Marek Klonowski, Matteo Cesana, Mona Ghassemian, Susana Sargento
2014 C conf
Software and Hardware Certification Techniques in a Combined Certification Model.
SECRYPT
Antonio Muñoz, Antonio Maña
2014 — conf
Towards a Multidisciplinary Framework to Include Privacy in the Design of Video Surveillance Systems.
APF
Zhendong Ma, Denis Butin, Francisco J. Jaime, Fanny Coudert, Antonio Kung, Claire Gayrel, Antonio Maña, Christophe Jouvray, Nathalie Trussart, Nathalie Grandjean, Víctor Manuel Hidalgo, Mathias Bossuet, Fernando Casado, M. Carmen Hidalgo
2014 — conf
Validation of a Security Metamodel for the Development of Cloud Applications.
OCL@MoDELS
Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña
2013 C conf
Emergency Systems Modelling using a Security Engineering Process.
SIMULTECH
José Fran. Ruiz, Antonio Maña, Marcos Arjona, Janne Paatero
2013 — conf
Improving Security Assurance of Services through Certificate Profiles.
ESOCC Workshops
Marioli Montenegro, Antonio Maña, Hristo Koshutanski
2013 B conf
Workflow Operational Assurance Platform for Security-by-Design Certified Service-Based Coalitions.
SERVICES
Javier Espinar, Antonio Maña, Hristo Koshutanski
2012 — ed.
5th International Conference on New Technologies, Mobility and Security, Istanbul, Turkey, NTMS 2012, May 7-10, 2012
NTMS
Albert Levi, Mohamad Badra, Matteo Cesana, Mona Ghassemian, Özgür Gürbüz, Nafaâ Jabeur, Marek Klonowski, Antonio Maña, Susana Sargento, Sherali Zeadally
2012 J jnl
A Performance-Oriented Monitoring System for Security Properties in Cloud Computing Applications.
Comput. J.
Antonio Muñoz, Javier Gonzalez, Antonio Maña
2012 J jnl
A trust negotiation based security framework for service provisioning in load-balancing clusters.
Comput. Secur.
Antonio Maña, Hristo Koshutanski, Ernesto J. Pérez
2012 — conf
Authentication and Authorization in Ambient Assisting Living Applications: An Approach for UniversAAL.
IWAAL
Pablo Antón, Antonio Muñoz, Antonio Maña
2012 — conf
Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach.
HASE
George Spanoudakis, Ernesto Damiani, Antonio Maña
2012 C conf
ConTur: An Intelligent Content Management System for the Tourism Sector.
ENTER
Germán Herrero Cárcel, Aida Campo, Maria Gil, Ana Garcia, David Martin, Ion Zugasti, Sonia Bilbao, Amalia Perez, Hristo Koshutanski, Antonio Maña, Iñaki Perez De Albeniz
2012 J jnl
Security-enhanced ambient assisted living supporting school activities during hospitalisation.
J. Ambient Intell. Humaniz. Comput.
Pablo Antón, Antonio Muñoz, Antonio Maña, Hristo Koshutanski
2011 — conf
A Security Modelling Framework for Systems of Embedded Components.
HASE
Antonio Maña, José Fran. Ruiz
2011 — conf
Dynamic Security Monitoring and Accounting for Virtualized Environments.
STA Workshops
Antonio Muñoz, Rajesh Harjani, Antonio Maña, Rodrigo Díaz
2011 J jnl
Editorial.
J. Syst. Archit.
Ernesto Damiani, Sigrid Gürgens, Antonio Maña, George Spanoudakis, Claudio A. Ardagna
2011 C conf
Facilitating the Use of TPM Technologies Using the Serenity Framework.
ATC
Antonio Muñoz, Antonio Maña
2011 — conf
Live Interactive Frame Technology Alleviating Children Stress and Isolation during Hospitalization.
IWAAL
Pablo Antón, Antonio Maña, Antonio Muñoz, Hristo Koshutanski
2011 — conf
Multi-layer Monitoring for Cloud Computing.
HASE
Javier González, Antonio Muñoz, Antonio Maña
2011 J jnl
Multiagent Systems Protection.
Adv. Softw. Eng.
Antonio Muñoz, Pablo Antón, Antonio Maña
2011 — conf
Policy Based Management for Security in Cloud Computing.
STA Workshops
Adrian Waller, Ian Sandy, Eamonn Power, Efthimia Aivaloglou, Charalambos Skianis, Antonio Muñoz, Antonio Maña
2011 Misc conf
Static Mutual Approach for Protecting Mobile Agent.
DCAI
Antonio Muñoz, Pablo Antón, Antonio Maña
2011 J jnl
TPM-based protection for mobile agents.
Secur. Commun. Networks
Antonio Muñoz, Antonio Maña
2010 — conf
A Solution Based on Cryptographic Hardware to Protect Agents.
NBiS
Antonio Muñoz, Antonio Maña, Pablo Antón
2010 — conf
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications.
OTM Workshops
Marco Anisetti, Claudio A. Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis
2010 — conf
Advanced Security Service cERTificate for SOA: Certified Services go Digital.
ISSE
Jean-Christophe R. Pazzaglia, Volkmar Lotz, V. Campos Cerda, Ernesto Damiani, Claudio A. Ardagna, Sigrid Gürgens, Antonio Maña, Claudia Pandolfo, George Spanoudakis, Franco Guida, Renato Menicocci
2010 A conf
From Web Data to Entities and Back.
CAiSE
Zoltán Miklós, Nicolas Bonvin, Paolo Bouquet, Michele Catasta, Daniele Cordioli, Peter Fankhauser, Julien Gaugaz, Ekaterini Ioannou, Hristo Koshutanski, Antonio Maña
2010 — conf
In the Track of the Agent Protection: A Solution Based on Cryptographic Hardware.
MMM-ACNS
Antonio Muñoz, Antonio Maña, Pablo Antón
2010 J jnl
Interoperable semantic access control for highly dynamic coalitions.
Secur. Commun. Networks
Hristo Koshutanski, Antonio Maña
2010 — conf
Verification of Security Policy of Service Oriented Systems.
DMS
Antonio Maña, Gimena Pujol
2009 B conf
AVISPA in the Validation of Ambient Intelligence Scenarios.
ARES
Antonio Muñoz, Antonio Maña, Daniel Serrano
2009 — conf
Agent Protection Based on the Use of Cryptographic Hardware.
COMPSAC (2)
Antonio Muñoz, Antonio Maña, Rajesh Harjani, Marioli Montenegro
2009 — ch.
Future Directions.
Security and Dependability for Ambient Intelligence
Antonio Maña, George Spanoudakis, Spyros Kokolakis
2009 Misc conf
Hardware Protection of Agents in Ubiquitous and Ambient Intelligence Environments.
PAAMS
Antonio Maña, Antonio Muñoz, Daniel Serrano
2009 — ch.
Introduction: The SERENITY vision.
Security and Dependability for Ambient Intelligence
Antonio Maña, George Spanoudakis, Spyros Kokolakis
2009 — ch.
Pattern Driven Selection and Configuration of S&D Mechanisms at Runtime.
Security and Dependability for Ambient Intelligence
Beatriz Gallego-Nicasio Crespo, Ana Piñuela, Pedro Soria-Rodriguez, Daniel Serrano, Antonio Maña
2009 Misc conf
Protected Computing Approach: Towards the Mutual Protection of Agent Computing.
PAAMS
Antonio Maña, Antonio Muñoz, Daniel Serrano
2009 J jnl
Protecting agents from malicious hosts using TPM.
Int. J. Comput. Sci. Appl.
Antonio Muñoz, Antonio Maña, Daniel Serrano
2009 — ch.
Realising the Potential of Serenity in Emerging AmI Ecosystems: Implications and Challenges.
Security and Dependability for Ambient Intelligence
Álvaro Armenteros, Laura García, Antonio Muñoz, Antonio Maña
2009 — ch.
Representation of Security and Dependability Solutions.
Security and Dependability for Ambient Intelligence
Francisco Sánchez-Cid, Antonio Maña, George Spanoudakis, Christos Kloukinas, Daniel Serrano, Antonio Muñoz
2009 — ch.
SERENITY Aware Development of Security and Dependability Solutions.
Security and Dependability for Ambient Intelligence
Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li
2009 — ch.
SERENITY Aware System Development Process.
Security and Dependability for Ambient Intelligence
Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li
2009 B conf
SecMiLiA: An Approach in the Agent Protection.
ARES
Antonio Muñoz, Antonio Maña, Daniel Serrano
2009 C conf
Security Patterns, Towards a Further Level.
SECRYPT
Beatriz Gallego-Nicasio, Antonio Muñoz, Antonio Maña, Daniel Serrano
2009 — conf
Security and Dependability in Ambient Intelligence Scenarios - The Communication Prototype.
ICEIS (3)
Álvaro Armenteros, Antonio Muñoz, Antonio Maña, Daniel Serrano
2009 B conf
The Role of Trusted Computing in the Secure Migration Library for Agents.
RCIS
Antonio Muñoz, Antonio Maña, Daniel Serrano
2009 — ch.
The SERENITY Runtime Framework.
Security and Dependability for Ambient Intelligence
Beatriz Gallego-Nicasio Crespo, Ana Piñuela, Pedro Soria-Rodriguez, Daniel Serrano, Antonio Maña
2009 — conf
Toward WS-certificate.
SWS
Ernesto Damiani, Antonio Maña
2009 Misc conf
Trusted Computing: The Cornerstone in the Secure Migration Library for Agents.
PAAMS
Antonio Muñoz, Antonio Maña, Daniel Serrano
2008 — conf
A Semantic Approach to Access Control and Automated Credential Negotiation for Decentralized Online Repositories / An OKKAM Project Use Case.
SWAP
Hristo Koshutanski, Antonio Maña
2008 — conf
Entity Lifecycle Management for OKKAM.
IRSW
Junaid Ahsenali Chaudhry, Themis Palpanas, Periklis Andritsos, Antonio Maña
2008 — conf
Model Cheking Ambient Intelligence with AVISPA.
AMIF
Antonio Muñoz, Antonio Maña, Daniel Serrano
2008 — conf
SERENITY Pattern-Based Software Development Life-Cycle.
DEXA Workshops
Francisco Sánchez-Cid, Antonio Maña
2008 B conf
Towards Formal Specification of Abstract Security Properties.
ARES
Antonio Maña, Gimena Pujol
2008 — conf
Towards Precise Security Patterns.
DEXA Workshops
Daniel Serrano, Antonio Maña, Athanasios-Dimitrios Sotirious
2007 — conf
Facilitating the Use of TPM Technologies through S&D Patterns.
DEXA Workshops
Sigrid Gürgens, Carsten Rudolph, Antonio Maña, Antonio Muñoz
2007 C conf
Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence.
UIC
Antonio Maña, Antonio Muñoz, Daniel Serrano
2007 B conf
Trusted Code Execution in JavaCard.
TrustBus
Antonio Maña, Antonio Muñoz
2006 C conf
A Secure and Auto-configurable Environment for Mobile Agents in Ubiquitous Computing Scenarios.
UIC
Javier López, Antonio Maña, Antonio Muñoz
2006 C conf
Towards Secure Ambient Intelligence Scenarios.
SEKE
Antonio Maña, Francisco Sánchez-Cid, Daniel Serrano, Antonio Muñoz
2005 J jnl
A metadata-based access control model for web services.
Internet Res.
Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier López
2003 J jnl
A secure solution for commercial digital libraries.
Online Inf. Rev.
Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier López, Ernesto Pimentel, José M. Troya
2003 J jnl
Integrating PMI services in CORBA applications.
Comput. Stand. Interfaces
Javier López, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle