Using argumentation logic for firewall policy specification and analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4269 LNCS, Issue , 2006, Pages 185-196

  Bandara, Arosha K ^a   Kakas, Antonis ^b   Lupu, Emil C ^a   Russo, Alessandra ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INFORMATION MANAGEMENT; INFORMATION TECHNOLOGY; SECURITY OF DATA; COMPUTER SYSTEM FIREWALLS; COMPUTER VIRUSES; MOBILE SECURITY; NETWORK PROTOCOLS; SPECIFICATIONS;

ARGUMENTATION REASONING; FIREWALL CONFIGURATION RULES; NETWORK ADMINISTRATORS; AUTOMATICALLY GENERATED; CONFIGURATION RULES; NETWORK ABSTRACTIONS; NETWORK ADMINISTRATOR; PERIMETER SECURITY; PREFERENCE REASONING; REASONING FRAMEWORK; SECURITY REQUIREMENTS;

COMPUTER SYSTEM FIREWALLS; NETWORK SECURITY;

EID: 33845242072     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11907466_16     Document Type: Conference Paper

References (12)

1. E. S. Al-Shaer and H. H. Homed. "Firewall Policy Advisor for Anomaly Doscovery and Rule Editing." In Proceedings of 8th IFIP/IEEE International Symposium on Integrated Network Management, Colorado Springs, CO, IEEE, Morch 2003.
2. Cisco. "Cisco PIX Firewall Configuration White Paper (DOCID: 68815), http://www.cisco.com/warp/public/707/ezvpn-asa-svr-871-rem.pdf", Cisco Inc, 2006.
3. E. S. Al-Shaer and H. H. Hamed. "Discovery of Policy Anomalies in Distributed Firewalls." In Proceedings of 23rd IEEE Communications Society Conference (INFOCOM), Hong Kong, IEEE, Morch 2004.
4. P. M. Dung (1995). "On the acceptability of orguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games." Artificial Intelligence(77): 321-357, 1995.
5. A. Bondorenko, P. M. Dung, R. A. Kowalski, and F. Toni (1997). "An abstract orgumentation theoretic approach to default reasoning." Artificial Intelligence 93: 63-101, 1997.
6. A. Kokas, P. Mancerella, and P. M. Dung. "The acceptability semantics for logic programs." In Proceedings of 11th International Conference on Logic Programming, Santa Morherita Ligure, Italy, 1994.
7. H. Prakken and G. Sartor. "A system for defeasible orgumentation, with defeasible priorities." In Proceedings of International Conference on Formal and Applied Practical Reasoning, Springer-Verlag, LNAI 1085, 1996.
8. Gorgias. "Argumentation and Abduction, http://www2.cs.ucy.ac.cy/ ~nkd/gorgias/",
9. Y. Dimopoulos, B. Nebel, and F. Toni (2002). "On the Computational Complexity of Assumption-based Argumentation for Default Reasoning." Artificial Intelligence 141: 57-78, 2002.
10. A. Mayer, A. Wool, and E. Ziskind (2006). "Offline firewall analysis." International Journal on Information Security 5(3): 125-144, 2006.
11. T. E. Uribe and S. Cheung. "Automatic Analysis of Firewall and Network Intrusion Detection System Configurations." In Proceedings of ACM Workshop on Formal Methods in Security Engineering, Washington, DC, ACM Press, October 2004.
12. L. Yuan, J. Mai, Z. Su, H. Chen, C.-N. Chuah, and P. Mohapatra. "FIREMAN: a toolkit for FIRE wall Modeling and ANalysis." In Proceedings of IEEE Symposium on Security and Privacy, Oakland, CA, May 2006.