2008 |
29 | EE | Antonio Maña,
Gimena Pujol:
Towards Formal Specification of Abstract Security Properties.
ARES 2008: 80-87 |
28 | EE | Daniel Serrano,
Antonio Maña,
Athanasios-Dimitrios Sotirious:
Towards Precise Security Patterns.
DEXA Workshops 2008: 287-291 |
27 | EE | Francisco Sanchez-Cid,
Antonio Maña:
SERENITY Pattern-Based Software Development Life-Cycle.
DEXA Workshops 2008: 305-309 |
26 | EE | 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 |
25 | EE | Junaid Ahsenali Chaudhry,
Themis Palpanas,
Periklis Andritsos,
Antonio Maña:
Entity Lifecycle Management for OKKAM.
IRSW 2008 |
24 | EE | 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 |
2007 |
23 | EE | Francisco Sanchez-Cid,
Antonio Mana:
Patterns for Automated Management of Security and Dependability Solutions.
DEXA Workshops 2007: 739-743 |
22 | EE | 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 |
21 | EE | Antonio Maña,
Antonio Muñoz:
Trusted Code Execution in JavaCard.
TrustBus 2007: 269-279 |
20 | EE | Antonio Maña,
Antonio Muñoz,
Daniel Serrano:
Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence.
UIC 2007: 1201-1212 |
2006 |
19 | | Antonio Mana,
Antonio Muñoz:
Protected computing vs. trusted computing.
COMSWARE 2006 |
18 | | Antonio Maña,
Francisco Sanchez,
Daniel Serrano,
Antonio Muñoz:
Towards Secure Ambient Intelligence Scenarios.
SEKE 2006: 386-391 |
17 | EE | 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 |
2005 |
16 | EE | Carsten Rudolph,
Antonio Mana:
Specification and automated processing of security requirements (SAPS'05).
ASE 2005: 460 |
15 | EE | Mariemma Inmaculada Yagüe del Valle,
María-del-Mar Gallardo,
Antonio Mana:
Semantic Access Control Model: A Formal Specification.
ESORICS 2005: 24-43 |
2004 |
14 | | Mariemma Inmaculada Yagüe del Valle,
Antonio Mana,
Francisco Sanchez:
Semantic Interoperability of Authorizations.
WOSIS 2004: 269-278 |
13 | EE | 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) |
12 | EE | 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) |
2003 |
11 | EE | Antonio Mana,
José A. Montenegro,
Carsten Rudolph,
José Luis Vivas:
A business process-driven approach to security engineering.
DEXA Workshops 2003: 477-481 |
10 | EE | 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 |
2002 |
9 | EE | Javier Lopez,
Antonio Mana,
Mariemma Inmaculada Yagüe del Valle:
XML-Based Distributed Access Control System.
EC-Web 2002: 203-213 |
8 | EE | Antonio Mana,
Sonia Matamoros:
Practical Mobile Digital Signatures.
EC-Web 2002: 224-233 |
7 | EE | 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 |
6 | EE | 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 |
5 | EE | 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 |
2001 |
4 | | Antonio Mana,
Ernesto Pimentel:
An Efficient Software Protection Scheme.
SEC 2001: 385-402 |
2000 |
3 | EE | Javier Lopez,
Antonio Mana,
Juan J. Ortega,
José M. Troya:
Distributed Storage and Revocation in Digital Certificate Databases.
DEXA 2000: 929-938 |
2 | EE | 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 |
1999 |
1 | EE | Javier Lopez,
Antonio Mana,
Juan J. Ortega:
Cert'eM: Certification System Based on Electronic Mail Service Structure.
CQRE 1999: 109-118 |