Specification-based testing of firewalls

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

Volumn 2244 LNCS, Issue , 2001, Pages 308-316

  Jürjens, Jan ^a   Wimmel, Guido ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; COMPLEX NETWORKS; COMPUTER VIRUSES; INFORMATION SCIENCE;

CORPORATE NETWORKS; NETWORK INFRASTRUCTURE; SPECIFICATION BASED TESTING; TEST CASE;

COMPUTER SYSTEM FIREWALLS;

EID: 84891450004     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45575-2_31     Document Type: Conference Paper

References (18)

1. M. Abadi and Jan Jurjens. Formal eavesdropping and its computational interpretation. In Theoretical Aspects of Computer Software (TACS '01), LNCS. Springer, 2001.
2. S. Bellovin. Security problems in the TCP/IP protocol suite. Computer Communication Review, 19(2):32-48, 1989.
3. Y. Bartal, A. Mayer, K. Nissim, and A. Wool. Firmato: A novel firewall management toolkit. In Security and Privacy, 1999.
4. W. Cheswick and S. Bellovin. Firewalls and Internet Security: repelling the wily hacker. Addison-Wesley, 1994.
5. UK IT Security Evaluation and Certification Scheme. UK ITSEC Certification Report No. P117 - CyberGuard Firewall for UnixWare, 1999.
6. M. Freiss. Protecting Networks with SATAN. O'Reilly, 1998.
7. J. Guttman. Filtering postures: Local enforcement for global policies. In IEEE Symposium on Security and Privacy, 1997.
8. J. Guttman. Security goals: Packet trajectories and strand spaces. In R. Gorrieri and R. Focardi, editors, Foundations of Security Analysis and Design, LNCS. Springer, 2001. Forthcoming.
9. F. Huber, S. Molterer, A. Rausch, B. Schatz, M. Sihling, and O. Slotosch. Tool supported Specification and Simulation of Distributed Systems. In International Symposium on Software Engineering for Parallel and Distributed Systems, pages 155-164, 1998.
10. F. Huber, S. Molterer, B. Schatz, O. Slotosch, and A. Vilbig. Traffic Lights - An AutoFocus Case Study. In 1998 International Conference on Application of Concurrency to System Design, pages 282-294. IEEE Computer Society, 1998.
11. Jan Jurjens. Composability of secrecy. In International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS 2001), volume 2052 of LNCS, pages 28-38. Springer, 2001.
12. Jan Jurjens. Secrecy-preserving refinement. In Formal Methods Europe (International Symposium), volume 2021 of LNCS, pages 135-152. Springer, 2001.
13. H. Lotzbeyer and A. Pretschner. Testing concurrent reactive systems with constraint logic programming. In 2nd Workshop on Rule-Based Constraint Reasoning and Programming, Singapore, 2000.
14. A. Mayer, A. Wool, and E. Ziskind. Fang: A firewall analysis engine. In IEEE Symposium on Security and Privacy, 2000.
15. R. Ritchey and P. Ammann. Using model checking to analyze network vulnerabilities. In IEEE Symposium on Security and Privacy, 2000.
16. C. Schuba. On the Modeling, Design, and Implementation of Firewall Technology. PhD thesis, CERIAS, Purdue, 1997.
17. G. Wimmel. Specification Based Determination of Test Sequences in Embedded Systems. Master's thesis, Technische Universiẗat M̈unchen, 2000.
18. G. Wimmel, H. Lotzbeyer, A. Pretschner, and O. Slotosch. Specification Based Test Sequence Generation with Propositional Logic. Journal on Software Testing Verification and Reliability, 10, 2000.