Model-based firewall conformance testing

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

Volumn 5047 LNCS, Issue , 2008, Pages 103-118

  Brucker, Achim D ^a   Brügger, Lukas ^b   Wolff, Burkhart ^c  

^a SAP RESEARCH   (Germany)

^b ETH ZURICH   (Switzerland)

^c SAARLAND UNIVERSITY   (Germany)

Author keywords

Conformance Testing; Firewall; Model based Testing; Security Testing

Indexed keywords

MODEL CHECKING; COMPLEX NETWORKS; COMPUTER VIRUSES; FORMAL LOGIC; MOBILE SECURITY;

CONFORMANCE TESTING; FIREWALL; HIGHER ORDER LOGIC; MODEL BASED TESTING; MODEL-BASED TESTING TOOL; SECURITY INFRASTRUCTURE; SECURITY TESTING; TEST SPECIFICATIONS;

SOFTWARE TESTING;

EID: 84871236007     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68524-1_9     Document Type: Conference Paper

References (13)

1. Andrews, P.B.: Introduction to Mathematical Logic and Type Theory: To Truth through Proof, 2nd edn. Kluwer Academic Publishers, Dordrecht (2002)
2. Bishop, S., Fairbairn, M., Norrish, M., Sewell, P., Smith, M., Wansbrough, K.: Engineering with logic: HOL specification and symbolic-evaluation testing for Tcp implementations. In: Gregory Morrisett, J., Peyton Jones, S.L. (eds.) POPL, pp. 55-66. ACM Press, New York (2006)
3. Brucker, A.D., Wolff, B.: hol-TestGen 1.0.0 user guide. Technical Report 482, eth Zurich, April (2005a)
4. Brucker, A.D., Wolff, B.: Symbolic test case generation for primitive recursive functions. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 16-32. Springer, Heidelberg (2005)
5. Brucker, A.D., Wolff, B.: Test-sequence generation with hol-TestGen. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 149-168. Springer, Heidelberg (2007)
6. Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic 5(2), 56-68 (1940)
7. El-Atawy, A., Ibrahim, K., Hamed, H., Al-Shaer, E.: Policy segmentation for intelligent firewall testing. In: NPSec 2005, pp. 67-72. IEEE Computer Society, Los Alamitos (2005)
8. El-Atawy, A., Samak, T., Wali, Z., Al-Shaer, E., Lin, F., Pham, C., Li, S.: An automated framework for validating firewall policy enforcement. In: policy 2007, pp. 151-160. IEEE Computer Society, Los Alamitos (2007)
9. Jürjens, J., Wimmel, G.: Specification-based testing of firewalls. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol. 2244, pp. 308-316. Springer, Heidelberg (2001)
10. Marmorstein, R., Kearns, P.: Firewall analysis with policy-based host classification. In: lisa 2006, pp. 4-4. usenix Association (2006)
11. Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL. LNCS, vol. 2283. Springer, Heidelberg (2002)
12. Senn, D., Basin, D., Caronni, G.: Firewall conformance testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 226-241. Springer, Heidelberg (2005)
13. von Bidder, D.: Specification-based Firewall Testing. Ph.D. Thesis, eth Zurich, eth Diss. No. 17172. Diana von Bidder's maiden name is Diana Senn (2007)