 | 2009 |
| 4 |  | Sergio Pozo,
A. J. Varela-Vaca,
Rafael M. Gasca:
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.
ICCSA (2) 2009: 130-144 |
| 3 |  | Sergio Pozo,
A. J. Varela-Vaca,
Rafael M. Gasca,
Rafael Ceballos:
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.
SECRYPT 2009: 42-53 |
| 2008 |
| 2 |  | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
A. J. Varela-Vaca:
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
SECURWARE 2008: 381-390 |
| 1 |  | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
A. J. Varela-Vaca:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
SECURWARE 2008: 53-61 |