Antonio Mana

Publication Activity (10 Years)

Years Active: 1999-2017
Publications (10 Years): 1

Top Topics

Remote Attestation

Trusted Computing

Security Threats

Top Venues

IEEE Cloud Comput.

Publications

Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani, Antonio Mana, George Spanoudakis
Towards Transparent and Trustworthy Cloud. IEEE Cloud Comput. 4 (3) (2017)
Marioli Montenegro, Antonio Mana
Improving Interoperability of Digital Certificates for Software & Services. SERVICES (2013)
Samuel Paul Kaluvuri, Hristo Koshutanski, Francesco Di Cerbo, Antonio Mana
Security Assurance of Services through Digital Security Certificates. ICWS (2013)
Antonio Muñoz, Antonio Mana
Bridging the GAP between Software Certification and Trusted Computing for Securing Cloud Computing. SERVICES (2013)
Jose Fran. Ruiz, Marcos Arjona, Antonio Mana, Niklas Carstens
Secure Engineering and Modelling of a Metering Devices System. ARES (2013)
Jose Fran. Ruiz, Rajesh Harjani, Antonio Mana, Vasily Desnitsky, Igor V. Kotenko, Andrey Chechulin
A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components. PDP (2012)
Antonio Mana, Gimena Pujol, Claudia Pandolfo
A Distributed Secure Ontology for Certified Services Oriented Applications. ICSC (2011)
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)
Francisco Sánchez-Cid, Antonio Mana
Patterns for Automated Management of Security and Dependability Solutions. DEXA Workshops (2007)
Antonio Mana, Antonio Muñoz
Protected computing vs. trusted computing. COMSWARE (2006)
Carsten Rudolph, Antonio Mana
Specification and automated processing of security requirements (SAPS'05). ASE (2005)
Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana
Semantic Access Control Model: A Formal Specification. ESORICS (2005)
Javier López, 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) (2004)
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Francisco Sánchez-Cid
Semantic Interoperability of Authorizations. WOSIS (2004)
Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya
A framework for secure execution of software. Int. J. Inf. Sec. 3 (2) (2004)
Antonio Mana, José A. Montenegro, Carsten Rudolph, José Luis Vivas
A business process-driven approach to security engineering. DEXA Workshops (2003)
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, José M. Troya
Applying the Semantic Web Layers to Access Control. DEXA Workshops (2003)
Antonio Mana, Sonia Matamoros
Practical Mobile Digital Signatures. EC-Web (2002)
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, Ernesto Pimentel, José M. Troya
Secure Content Distribution for Digital Libraries. ICADL (2002)
Javier López, 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)
Javier López, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle
Access Control Infrastructure for Digital Objects. ICICS (2002)
Javier López, Antonio Mana, Mariemma Inmaculada Yagüe del Valle
XML-Based Distributed Access Control System. EC-Web (2002)
Antonio Mana, Ernesto Pimentel
An Efficient Software Protection Scheme. SEC (2001)
Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
Distributed Storage and Revocation in Digital Certificate Databases. DEXA (2000)
Jorge Dávila, Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
Development of Secure Internet Applications for Governmental Environments. DEXA Workshop (2000)
Javier López, Antonio Mana, Juan J. Ortega
Cert'eM: Certification System Based on Electronic Mail Service Structure. CQRE (1999)