Author:
Brucker Achim D.,Brügger Lukas,Wolff Burkhart
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. von Bidder, D.: Specification-based firewall testing. Ph.d. thesis, ETH Zurich, ETH Dissertation No. 17172. Diana von Bidder’s maiden name is Diana Senn (2007)
2. Brucker, A.D., Brügger, L., Kearney, P., Wolff, B.: Verified firewall policy transformations for test-case generation. In: Third International Conference on Software Testing, Verification, and Validation (ICST) , pp. 345–354. IEEE Computer Society (2010), doi:10.1109/ICST.2010.50
3. Brucker, A.D., Brügger, L., Kearney, P., Wolff, B.: An approach to modular and testable security models of real-world health-care applications. In: ACM Symposium on Access Control Models and Technologies (SACMAT), pp. 133–142. ACM Press (2011), doi:10.1145/1998441.1998461
4. Brucker, A.D., Brügger, L., Wolff, B.: Formal firewall testing: An exercise in test and proof. Submitted for publication (2013)
5. Lecture Notes in Computer Science;A.D. Brucker,2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated repair by example for firewalls;Formal Methods in System Design;2020-09-30
2. Checking Cloud Contracts in Microsoft Azure;Distributed Computing and Internet Technology;2015