An Application of Defeasible Logic Programming for Firewall Verification and Reconfiguration.
Pritom RajkhowaShyamanta M. HazarikaGuillermo Ricardo SimariPublished in: QSHINE (2013)
Keyphrases
- defeasible logic programming
- java card
- model checking
- intrusion detection
- defeasible argumentation
- smart card
- intrusion detection system
- network security
- knowledge representation
- temporal logic
- relational databases
- logic programming
- artificial intelligence
- network traffic
- computational complexity
- packet filtering
- cooperative
- knowledge base