Sergio Pozo Hidalgo

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. Inf. Softw. Technol. 51 (5) (2009)
Sergio Pozo Hidalgo, Rafael M. Gasca, F. T. de la Rosa
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates. ICEIS (3) (2009)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. SECURWARE (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. SECURWARE (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES (2008)