Search by keyword: "logic programming language PROLOG"
Automation of Verification of Incorrectness for Firewall Configurations
| Authors: Devyatkov V.V., Myo Than Tun | Published: 08.02.2015 |
| Published in issue: #1(100)/2015 | |
| DOI: 10.18698/0236-3933-2015-1-100-110 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Computing Systems and their Elements | |
| Keywords: firewall, process, modal logic, logic programming language PROLOG | |