![Mathematical logic / Science / Data security / Distributed firewall / Tbox / Firewall / Abox / Axiom / Description logic / Computer network security / Logic / Ontology Mathematical logic / Science / Data security / Distributed firewall / Tbox / Firewall / Abox / Axiom / Description logic / Computer network security / Logic / Ontology](https://www.pdfsearch.io/img/058fd35f0784beacab5876d9af60cdd5.jpg) Date: 2012-08-01 20:05:41Mathematical logic Science Data security Distributed firewall Tbox Firewall Abox Axiom Description logic Computer network security Logic Ontology | | Applied Artificial Intelligence, 23:758–788 Copyright © 2009 Taylor & Francis Group, LLC ISSN: printonline DOI: VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATIONAdd to Reading ListSource URL: www.csc.kth.seDownload Document from Source Website File Size: 2,20 MBShare Document on Facebook
|