Model-Based Firewall Conformance Testing-Reference-Cited by-同舟云学术

Model-Based Firewall Conformance Testing

Published:2008 Issue: Volume: Page:103-118
ISSN:0302-9743
Container-title:Testing of Software and Communicating Systems
language:
Short-container-title:

Author:

Brucker Achim D.,Brügger Lukas,Wolff Burkhart

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68524-1_9

Reference13 articles.

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-T estG en 1.0.0 user guide. Technical Report 482, eth Zurich, April (2005a)

4. Lecture Notes in Computer Science;A.D. Brucker,2005

5. Lecture Notes in Computer Science;A.D. Brucker,2007

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines;Testing Software and Systems;2019

2. Verified iptables Firewall Analysis and Verification;Journal of Automated Reasoning;2018-01-03

3. Automated policy generation for testing access control software;Information Security Journal: A Global Perspective;2017-01-02

4. Model-based security testing: a taxonomy and systematic classification;Software Testing, Verification and Reliability;2015-07-24

5. Modeling Firewalls for Behavior Analysis;Procedia Computer Science;2015