 | 2012 |
|---|
| 19 |       | 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.
Journal of Systems and Software 85(2): 425-457 (2012) |
| 2011 |
|---|
| 18 |  | 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: 370-374 |
| 2010 |
|---|
| 17 | | Sergio Pozo,
Angel Jesus Varela-Vaca,
Rafael M. Gasca:
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs.
AINA 2010: 1037-1046 |
| 2009 |
|---|
| 16 | | Sergio Pozo,
Angel Jesus Varela-Vaca,
Rafael M. Gasca:
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.
ICCSA (2) 2009: 130-144 |
| 15 | | 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: 176-181 |
| 14 | | 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: 42-53 |
| 13 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael Martinez Gasca:
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies.
Information & Software Technology 51(5): 894-915 (2009) |
| 12 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets.
JNW 4(8): 698-710 (2009) |
| 2008 |
|---|
| 11 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael Martinez Gasca:
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.
ARES 2008: 229-236 |
| 10 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
AFPL, an Abstract Language Model for Firewall ACLs.
ICCSA (2) 2008: 468-483 |
| 9 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael Martinez Gasca:
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets.
SECRYPT 2008: 430-441 |
| 8 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
Angel Jesus Varela-Vaca:
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
SECURWARE 2008: 381-390 |
| 7 | | Sergio Pozo Hidalgo,
Rafael Ceballos,
Rafael M. Gasca,
Angel Jesus Varela-Vaca:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
SECURWARE 2008: 53-61 |
| 6 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
Firewall Rule Set Inconsistency Characterization by Clustering.
WOSIS 2008: 138-144 |
| 2007 |
|---|
| 5 | | Sergio Pozo,
Rafael Ceballos,
Rafael M. Gasca:
CSP-Based Firewall Rule Set Diagnosis using Security Policies.
ARES 2007: 723-729 |
| 2006 |
|---|
| 4 | | 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: 866-870 |
| 2005 |
|---|
| 3 | | 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: 1082-1092 |
| 2004 |
|---|
| 2 | | 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: 942-952 |
| 1 | | Sergio Pozo,
Rafael M. Gasca,
María Teresa Gómez López:
Securing Mobile Agent Based Tele-Assistance Systems.
TELECARE 2004: 63-72 |
Data released under the ODC-BY 1.0 license — See also our legal information page