Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. - María Teresa Gómez-López; Rafael Ceballos; Rafael M. Gasca; Sergio Pozo (IBERAMIA, 2004)

Securing Mobile Agent Based Tele-Assistance Systems. - Sergio Pozo; Rafael M. Gasca; María Teresa Gómez-López (TELECARE, 2004)

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. - Rafael Ceballos; Sergio Pozo; Carmelo Del Valle; Rafael M. Gasca (MICAI, 2005)

Distributed Model-Based Diagnosis using Object-Relational Constraint Databases. - María Teresa Gómez-López; Rafael M. Gasca; Carmelo Del Valle; Sergio Pozo (AINA (2), 2006)

CSP-Based Firewall Rule Set Diagnosis using Security Policies. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (ARES, 2007)

Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael Martinez Gasca (ARES, 2008)

AFPL, an Abstract Language Model for Firewall ACLs. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (ICCSA (2), 2008)

A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael Martinez Gasca (SECRYPT, 2008)

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael M. Gasca; Angel Jesus Varela-Vaca (SECURWARE, 2008)

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael M. Gasca; Angel Jesus Varela-Vaca (SECURWARE, 2008)

Firewall Rule Set Inconsistency Characterization by Clustering. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (WOSIS, 2008)

MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. - Sergio Pozo; Angel Jesus Varela-Vaca; Rafael M. Gasca (ICCSA (2), 2009)

Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates. - Sergio Pozo Hidalgo; Rafael M. Gasca; Fernando de la Rosa Troyano (ICEIS (3), 2009)

Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. - Sergio Pozo; Angel Jesus Varela-Vaca; Rafael M. Gasca; Rafael Ceballos (SECRYPT, 2009)

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. - Sergio Pozo Hidalgo; Rafael Ceballos; Rafael Martinez Gasca (Inf. Softw. Technol., 2009)

A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. - Sergio Pozo; Rafael Ceballos; Rafael M. Gasca (J. Networks, 2009)

A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. - Sergio Pozo; Angel Jesus Varela-Vaca; Rafael M. Gasca (AINA, 2010)

OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. - Angel Jesus Varela-Vaca; Rafael M. Gasca; Sergio Pozo (SECRYPT, 2011)

A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes. - Angel Jesus Varela-Vaca; Robert Warschofsky; Rafael M. Gasca; Sergio Pozo; Christoph Meinel (CISIS/ICEUTE/SOCO Special Sessions, 2012)

CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework. - Sergio Pozo; Rafael M. Gasca; Antonia M. Reina Quintero; Angel Jesus Varela-Vaca (J. Syst. Softw., 2012)