QUIVIR Research Group
PubliSergio
Main.RecentChanges
Edit Page
Page Revisions
Contact Us
Search

Sections

News

Upcoming Events

Projects and Research

Publications

Facilities

People

Master Thesis

Downloads

Tools

Faculty Members

Rafael M. Gasca, PhD

Carmelo del Valle, PhD

María Teresa Gómez, PhD

Pablo Neira Ayuso, PhD

Sergio Pozo Hidalgo, PhD

Rafael Ceballos, PhD

Fernando de la Rosa, PhD

Miguel Toro, PhD

Irene Barba, PhD

Diana Borrego, PhD

Ángel Jesús Varela Vaca, PhD

Luisa Parody, PhD

Andrés Jiménez Ramírez

Projects

TDiaCO-BPMS (2010)

OPbus (2009)


Edit Menu

Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Selected International Journal Papers

  1. S. Pozo, R. M. Gasca, A. M. Reina, A. J. Varela-Vaca. "CONFIDDENT: A Model-Driven Consistent and Non-Redundant Layer-3 Firewall ACL Design, Development and Maintenance Framework". Journal of Systems and Software. Elsevier, 2011.
  2. A. J. Varela-Vaca, R. M. Gasca, D. Borrego, S. Pozo. "Fault Tolerance Framework using Model-Based Diagnosis: Towards Dependable Business Processes", International Journal on Advances in Security Vol. 4, No. 1, pp. 11-22, 2011.
  3. S. Pozo, R. Ceballos, R.M. Gasca. "A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets". Journal of Networks Vol. 4, No. 8, pp. 698-710. Academy Publisher, 2009.
  4. S. Pozo, R. Ceballos, R.M. Gasca. "Model Based Development of Firewall Rule Sets: Diagnosing Model Faults". Information and Software Technology Journal, No. 51, Issue 5, pp. 894-915. Elsevier, 2009.
  5. R. Ceballos, F. de la Rosa T., S. Pozo. "Diagnosis de Inconsistencia en Contratos usando el Diseño por Contrato". IEEE Latin American Transactions. IEEE Computer Society Press, 2005.
  6. F. de la Rosa T., S. Pozo, R.M. Gasca. "Análisis y Visualización de Comunidades Científicas con Información Extraída de la Web". IEEE Computer Society Press, 2005.

Selected Refereed International Conference Publications

  1. A.J. Varela-Vaca, Rafael M. Gasca, S. Pozo. "OPBUS: Risk-aware framework for the conformance of security-quality requirements in business processes". International Conference on Security and Cryptography (SECRYPT). Seville, Spain, INSTICC Press, 2011.
  2. A.J. Varela-Vaca, R.M. Gasca, D. Borrego, S. Pozo."Towards Dependable Business Processes with Fault-Tolerance Approach". 3rd International Conference on Dependability (DEPEND). Venice, Italy. IEEE Computer Society Press, 2010. Acceptance rate: 29%. Best paper award.
  3. S. Pozo, A.J. Varela-Vaca, R.M. Gasca. "A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs". Advanced Information Networking and Applications (AINA). Perth, Australia, IEEE Computer Society Press, 2010. Acceptance rate: 25%.
  4. S. Pozo, A.J. Varela-Vaca, R.M. Gasca, R. Ceballos. "Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs". 4th International Conference on Security and Cryptography (SECRYPT). Milan, Italy. INSTICC Press, 2009. Acceptance rate (full papers): 11%.
  5. S. Pozo, A.J. Varela-Vaca, R.M. Gasca. "MDA-based Framework for Automatic Generation of Consistent Firewall ACLs with NAT". 9th International Conference on Computational Science and Its Applications (ICCSA). Yongin, Korea. Springer-Verlag, Lecture Notes in Computer Science (LNCS), Volume 5593, 2009. Acceptance rate: 30%.
  6. S. Pozo, A.J. Varela-Vaca, R.M. Gasca. "AFPL2, An Abstract Language for Firewall ACLs with NAT support". 2nd International Conference on Dependability and Security in Complex and Critical Information Systems (DEPEND). Athens, Greece. IEEE Computer Society Press, 2009. Acceptance rate: 29%. AFPL2 syntax is available on my downdoadable content page.
  7. S. Pozo, R.M. Gasca, F. de la Rosa T. "Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates". 11th International Conference on Enterprise Information Systems (ICEIS). Milan, Italy. INSTICC Press, 2009. Acceptance rate: 12%
  8. S. Pozo, R. Ceballos, R.M. Gasca, A.J. Varela-Vaca. "Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets". 2nd International Conference on Emerging Security Information Systems and Technologies (SECURWARE). Cap Esterel, Agay, France. IEEE Computer Society Press, 2008. Acceptance rate: 29%. This is an extended version of WOSIS'08 paper.
  9. S. Pozo, R. Ceballos, R.M. Gasca, A.J. Varela-Vaca. "Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates". 1st International Workshop on Dependability and Security in Complex and Critical Information Systems (DEPEND). Cap Esterel, Agay, France. IEEE Computer Society Press, 2008. This is an extended version of IADIS AC'08 paper. Acceptance rate: 28%.
  10. S. Pozo, R. Ceballos, R.M. Gasca. "A Heuristic Polynomial Algorithm for Local Inconsistecy Diagnosis in Firewall Rule Sets". 3rd International Conference on Security and Cryptography (SECRYPT). Porto, Portugal. INSTICC Press, 2008. Acceptance rate: 17%
  11. S. Pozo, R. Ceballos, R.M. Gasca. "AFPL, An Abstract Language Model for Firewall ACLs". 8th International Conference on Computational Science and Its Applications (ICCSA). Perugia, Italy. Springer-Verlag, Lecture Notes in Computer Science (LNCS) Volume 5073, Part 2, 2008. Acceptance rate: 29%
  12. S. Pozo, R. Ceballos, R.M. Gasca. "Firewall Rule Set Inconsistency Characterization by Clustering". 6th International Workshop on Security in Information Systems (WOSIS), in 10th International Conference on Enterprise Information Systems (ICEIS). Barcelona, Spain. INSTICC Press, 2008.
  13. S. Pozo, R. Ceballos, R.M. Gasca. "A Real Time Algorithm for Firewall ACL Inconsistency Detection in Ad Hoc Networks." IADIS International Conference on Applied Computing. Algarve, Portugal. IADIS Press, 2008.
  14. S. Pozo, R. Ceballos, R.M. Gasca. "Fast Algorithms for Consistency-Based Diagnosis of Firewalls Rule Sets". 3rd International Conference on Availability, Reliability and Security (ARES). Barcelona, Spain. IEEE Computer Society Press, 2008. Acceptance rate: 21%
  15. S. Pozo, R. Ceballos, R. M. Gasca. "CSP-based Rule Set Diagnosis using Security Policies". International Symposium on Frontiers in Availability, Reliability and Security (FARES), in 2nd International Conference on Availability, Reliability and Security (ARES). Vienna, Austria. IEEE Computer Society Press, 2007. Acceptance rate: 28%
  16. M.T. Gómez-López, R.M. Gasca, C. del Valle, S. Pozo. "Distributed Model-Based Diagnosis using Object-Relational Constraint Databases". 20th International Conference on Advanced Information Networking and Applications (AINA). Vienna, Austria. IEEE Computer Society Press, 2006. Acceptance rate: 29%
  17. S. Pozo, R.M. Gasca, R. Reballos. "Behavioral Pattern Analysis of Secure Migration and Communications in eCommerce using Cryptographic Protocols on a Mobile MAS Platform". 2nd IEEE International Workshop on Mobile Commerce and Services (WMCS). Munich, Germany. IEEE Computer Society Press, 2005
  18. R. Ceballos, S. Pozo, C. del Valle, R.M. Gasca. "An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way". 4th Mexican Conference on Artificial Intelligence (MICAI). Lecture Notes in Computer Science, LNCS Volume 3789, 2005
  19. R. Ceballos, M.T. Gómez-López, R. M. Gasca, S. Pozo. "Determination of Possible Minimal Conflict Sets Using Components Clusters and Grobner Bases". International Workshop on Principles of Diagnosis (DX). Carcassonne, France, 2004
  20. M.T. Gómez-López, R. Ceballos, R. M. Gasca, S. Pozo. "Determination of Possible Minimal Conflict Sets using Constraint Databases Technology and Clustering". 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA). Lecture Notes in Computer Science, LNCS Volume 3315, 2004
  21. S. Pozo, R.M. Gasca, M.T. Gómez-López. "Secure Tunnels for Mobile Multi-Agent Systems". Iberoamerican Workshop on Multi-Agent Systems (IBERAGENTS). Puebla, Mexico, 2004

Please, if you cite any of my papers, I would like you to tell me as I might also be interested in your work.
Edit Page - Page Revisions - RecentChanges

Send comments and suggestions to: gasca@lsi.us.es
Page last modified on September 30, 2011, at 10:38 AM