Sergio Pozo

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Model Driven Architecture

Business Processes

Top Venues

J. Syst. Softw.

CISIS/ICEUTE/SOCO Special Sessions

Publications

Sergio Pozo, Rafael M. Gasca, Antonia M. Reina Quintero, Angel Jesus Varela-Vaca
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework. J. Syst. Softw. 85 (2) (2012)
Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, Christoph Meinel
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes. CISIS/ICEUTE/SOCO Special Sessions (2012)
Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. SECRYPT (2011)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. AINA (2010)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. ICCSA (2) (2009)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. J. Networks 4 (8) (2009)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. SECRYPT (2009)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS (2008)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) (2008)
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES (2007)
María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Sergio Pozo
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases. AINA (2) (2006)
Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, Rafael M. Gasca
An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. MICAI (2005)
Sergio Pozo, Rafael M. Gasca, María Teresa Gómez López
Securing Mobile Agent Based Tele-Assistance Systems. TELECARE (2004)
María Teresa Gómez López, Rafael Ceballos, Rafael M. Gasca, Sergio Pozo
Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. IBERAMIA (2004)