|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca |
Contract-based test generation for data flow of business processes using constraint programming. |
RCIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez |
A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models. |
RCIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
ruleset, management, diagnosis, detection, firewall, minimal, conflict, inconsistency, anomaly, acl |
| 1 | Angel Jesus Varela-Vaca, Rafael Martinez Gasca |
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. |
ICCSA |
2009 |
DBLP DOI BibTeX RDF |
ruleset, framework, language, firewall, acl |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")