Antonio Mana
List of publications from the DBLP Bibliography Server - FAQ
| 2009 | ||
|---|---|---|
| 37 | Antonio Muñoz, Antonio Maña, Daniel Serrano: SecMiLiA: An Approach in the Agent Protection. ARES 2009: 341-348 | |
| 36 | Antonio Muñoz, Antonio Maña, Daniel Serrano: AVISPA in the Validation of Ambient Intelligence Scenarios. ARES 2009: 420-426 | |
| 35 | Alvaro Armenteros, Antonio Muñoz, Antonio Maña, Daniel Serrano: Security and Dependability in Ambient Intelligence Scenarios - The Communication Prototype. ICEIS (3) 2009: 49-56 | |
| 34 | Beatriz Gallego-Nicasio, Antonio Muñoz, Antonio Maña, Daniel Serrano: Security Patterns, Towards a Further Level. SECRYPT 2009: 349-356 | |
| 33 | Ernesto Damiani, Antonio Maña: Toward WS-certificate. SWS 2009: 1-2 | |
| 2008 | ||
| 32 | Antonio Maña, Gimena Pujol: Towards Formal Specification of Abstract Security Properties. ARES 2008: 80-87 | |
| 31 | Daniel Serrano, Antonio Maña, Athanasios-Dimitrios Sotirious: Towards Precise Security Patterns. DEXA Workshops 2008: 287-291 | |
| 30 | Francisco Sanchez-Cid, Antonio Maña: SERENITY Pattern-Based Software Development Life-Cycle. DEXA Workshops 2008: 305-309 | |
| 29 | 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 | |
| 28 | Junaid Ahsenali Chaudhry, Themis Palpanas, Periklis Andritsos, Antonio Maña: Entity Lifecycle Management for OKKAM. IRSW 2008 | |
| 27 | 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 | ||
| 26 | Francisco Sanchez-Cid, Antonio Mana: Patterns for Automated Management of Security and Dependability Solutions. DEXA Workshops 2007: 739-743 | |
| 25 | 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 | |
| 24 | Antonio Maña, Antonio Muñoz: Trusted Code Execution in JavaCard. TrustBus 2007: 269-279 | |
| 23 | Antonio Maña, Antonio Muñoz, Daniel Serrano: Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence. UIC 2007: 1201-1212 | |
| 2006 | ||
| 22 | Antonio Mana, Antonio Muñoz: Protected computing vs. trusted computing. COMSWARE 2006 | |
| 21 | Antonio Maña, Francisco Sanchez, Daniel Serrano, Antonio Muñoz: Towards Secure Ambient Intelligence Scenarios. SEKE 2006: 386-391 | |
| 20 | 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 | ||
| 19 | Carsten Rudolph, Antonio Mana: Specification and automated processing of security requirements (SAPS'05). ASE 2005: 460 | |
| 18 | Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana: Semantic Access Control Model: A Formal Specification. ESORICS 2005: 24-43 | |
| 17 | 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) | |
| 2004 | ||
| 16 | Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Francisco Sanchez: Semantic Interoperability of Authorizations. WOSIS 2004: 269-278 | |
| 15 | 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) | |
| 14 | 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 | ||
| 13 | Antonio Mana, José A. Montenegro, Carsten Rudolph, José Luis Vivas: A business process-driven approach to security engineering. DEXA Workshops 2003: 477-481 | |
| 12 | 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 | |
| 11 | 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) | |
| 10 | Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier López, Ernesto Pimentel, José M. Troya: A secure solution for commercial digital libraries. Online Information Review 27(3): 147-159 (2003) | |
| 2002 | ||
| 9 | Javier Lopez, Antonio Mana, Mariemma Inmaculada Yagüe del Valle: XML-Based Distributed Access Control System. EC-Web 2002: 203-213 | |
| 8 | Antonio Mana, Sonia Matamoros: Practical Mobile Digital Signatures. EC-Web 2002: 224-233 | |
| 7 | 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 | 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 | 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 | Javier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya: Distributed Storage and Revocation in Digital Certificate Databases. DEXA 2000: 929-938 | |
| 2 | 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 | Javier Lopez, Antonio Mana, Juan J. Ortega: Cert'eM: Certification System Based on Electronic Mail Service Structure. CQRE 1999: 109-118 | |