<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-08-01 20:05:41Mathematical logic Science Data security Distributed firewall Tbox Firewall Abox Axiom Description logic Computer network security Logic Ontology |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-08-01 20:05:41Mathematical logic Science Data security Distributed firewall Tbox Firewall Abox Axiom Description logic Computer network security Logic Ontology |
Add to Reading List |
Applied Artificial Intelligence, 23:758–788 Copyright © 2009 Taylor & Francis Group, LLC ISSN: printonline DOI: VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION
