Antonio Mana

27 papers A* 1A 2B 3C 3Misc 1Journal 3Unranked 13
YearRankTypeTitle / Venue / Authors
2017 J jnl
Towards Transparent and Trustworthy Cloud.
IEEE Cloud Comput.
Marco Anisetti, Claudio A. Ardagna, Ernesto Damiani, Antonio Mana, George Spanoudakis
2013 B conf
Bridging the GAP between Software Certification and Trusted Computing for Securing Cloud Computing.
SERVICES
Antonio Muñoz, Antonio Mana
2013 B conf
Improving Interoperability of Digital Certificates for Software & Services.
SERVICES
Marioli Montenegro, Antonio Mana
2013 B conf
Secure Engineering and Modelling of a Metering Devices System.
ARES
José Fran. Ruiz, Marcos Arjona, Antonio Mana, Niklas Carstens
2013 A conf
Security Assurance of Services through Digital Security Certificates.
ICWS
Samuel Paul Kaluvuri, Hristo Koshutanski, Francesco Di Cerbo, Antonio Mana
2012 C conf
A Methodology for the Analysis and Modeling of Security Threats and Attacks for Systems of Embedded Components.
PDP
José Fran. Ruiz, Rajesh Harjani, Antonio Mana, Vasily Desnitsky, Igor V. Kotenko, Andrey Chechulin
2011 — conf
A Distributed Secure Ontology for Certified Services Oriented Applications.
ICSC
Antonio Mana, Gimena Pujol, Claudia Pandolfo
2008 — conf
Entity Name System: The Back-Bone of an Open and Scalable Web of Data.
ICSC
Paolo Bouquet, Heiko Stoermer, Claudia Niederée, Antonio Mana
2007 — conf
Patterns for Automated Management of Security and Dependability Solutions.
DEXA Workshops
Francisco Sánchez-Cid, Antonio Mana
2006 — book
Developing ambient intelligence - proceedings of the first international conference on ambient intelligence developments.
Antonio Mana, Volkmar Lotz
2006 — conf
Protected computing vs. trusted computing.
COMSWARE
Antonio Mana, Antonio Muñoz
2005 A conf
Semantic Access Control Model: A Formal Specification.
ESORICS
Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana
2005 A* conf
Specification and automated processing of security requirements (SAPS'05).
ASE
Carsten Rudolph, Antonio Mana
2004 J jnl
A framework for secure execution of software.
Int. J. Inf. Sec.
Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya
2004 J jnl
PKI design based on the use of on-line certification authorities.
Int. J. Inf. Sec.
Javier López, Antonio Mana, José A. Montenegro, Juan J. Ortega
2004 — conf
Semantic Interoperability of Authorizations.
WOSIS
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Francisco Sánchez-Cid
2003 — conf
A business process-driven approach to security engineering.
DEXA Workshops
Antonio Mana, José A. Montenegro, Carsten Rudolph, José Luis Vivas
2003 — conf
Applying the Semantic Web Layers to Access Control.
DEXA Workshops
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, José M. Troya
2002 C conf
Access Control Infrastructure for Digital Objects.
ICICS
Javier López, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle
2002 — conf
Practical Mobile Digital Signatures.
EC-Web
Antonio Mana, Sonia Matamoros
2002 — conf
Secure Content Distribution for Digital Libraries.
ICADL
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, Ernesto Pimentel, José M. Troya
2002 — conf
Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations.
EGOV
Javier López, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya
2002 — conf
XML-Based Distributed Access Control System.
EC-Web
Javier López, Antonio Mana, Mariemma Inmaculada Yagüe del Valle
2001 Misc conf
An Efficient Software Protection Scheme.
SEC
Antonio Mana, Ernesto Pimentel
2000 — conf
Development of Secure Internet Applications for Governmental Environments.
DEXA Workshop
Jorge Dávila, Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
2000 C conf
Distributed Storage and Revocation in Digital Certificate Databases.
DEXA
Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
1999 — conf
Cert'eM: Certification System Based on Electronic Mail Service Structure.
CQRE
Javier López, Antonio Mana, Juan J. Ortega