Specification-Based Testing of Firewalls
Authors:
- 18 December 2001
- book chapter
- Published by Springer Nature
- p. 308-316
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Firmato: a novel firewall management toolkit2003
- Traffic lights-an AutoFocus case study2002
- Tool supported specification and simulation of distributed systems2002
- Filtering postures: local enforcement for global policies2002
- Fang: a firewall analysis engine2002
- Using model checking to analyze network vulnerabilities2002
- Composability of SecrecyLecture Notes in Computer Science, 2001
- Secrecy-Preserving RefinementLecture Notes in Computer Science, 2001
- Specification based test sequence generation with propositional logicSoftware Testing, Verification and Reliability, 2000
- Security problems in the TCP/IP protocol suiteACM SIGCOMM Computer Communication Review, 1989