Sergio Pozo Hidalgo

Antonia M. Reina Quintero

J. Syst. Softw., 2012

A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference CISIS'12-ICEUTE'12-SOCO'12 Special Sessions, 2012

2011

OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes.

[BibT_eX]

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

2010

A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009

A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets.

[BibT_eX]

[DOI]

J. Networks, 2009

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies.

[BibT_eX]

[DOI]

Rafael Martinez Gasca

Inf. Softw. Technol., 2009

Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.

[BibT_eX]

Proceedings of the SECRYPT 2009, 2009

Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates.

[BibT_eX]

Fernando de la Rosa Troyano

Proceedings of the ICEIS 2009, 2009

MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2009

2008

Firewall Rule Set Inconsistency Characterization by Clustering.

[BibT_eX]

Proceedings of the Security in Information Systems, 2008

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Emerging Security Information, 2008

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Emerging Security Information, 2008

A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets.

[BibT_eX]

Rafael Martinez Gasca

Proceedings of the SECRYPT 2008, 2008

AFPL, an Abstract Language Model for Firewall ACLs.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30, 2008

Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.

[BibT_eX]

[DOI]

Rafael Martinez Gasca

Proceedings of the The Third International Conference on Availability, 2008

2007

CSP-Based Firewall Rule Set Diagnosis using Security Policies.

[BibT_eX]

[DOI]

Proceedings of the The Second International Conference on Availability, 2007

2006

Distributed Model-Based Diagnosis using Object-Relational Constraint Databases.

[BibT_eX]

[DOI]

María Teresa Gómez-López

Carmelo Del Valle

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

2004

Securing Mobile Agent Based Tele-Assistance Systems.

[BibT_eX]

María Teresa Gómez-López

Proceedings of the Tele-Care and Collaborative Virtual Communities in Elderly Care, 2004

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering.

[BibT_eX]

[DOI]

María Teresa Gómez-López