{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:02:19Z","timestamp":1742943739907,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_9","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T04:34:48Z","timestamp":1212640488000},"page":"103-118","source":"Crossref","is-referenced-by-count":15,"title":["Model-Based Firewall Conformance Testing"],"prefix":"10.1007","author":[{"given":"Achim D.","family":"Brucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Br\u00fcgger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Burkhart","family":"Wolff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9934-4","volume-title":"Introduction to Mathematical Logic and Type Theory: To Truth through Proof","author":"P.B. Andrews","year":"2002","unstructured":"Andrews, P.B.: Introduction to Mathematical Logic and Type Theory: To Truth through Proof, 2nd edn. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"},{"key":"9_CR2","first-page":"55","volume-title":"POPL","author":"S. Bishop","year":"2006","unstructured":"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\u201366. ACM Press, New York (2006)"},{"key":"9_CR3","unstructured":"Brucker, A.D., Wolff, B.: hol-T\n                  estG\n                  en 1.0.0 user guide. Technical Report 482, \n                  eth Zurich, April (2005a)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-31848-4_2","volume-title":"Formal Approaches to Software Testing","author":"A.D. Brucker","year":"2005","unstructured":"Brucker, A.D., Wolff, B.: Symbolic test case generation for primitive recursive functions. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 16\u201332. Springer, Heidelberg (2005)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-73770-4_9","volume-title":"Tests and Proofs","author":"A.D. Brucker","year":"2007","unstructured":"Brucker, A.D., Wolff, B.: Test-sequence generation with hol-T\n                  estG\n                  en. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol.\u00a04454, pp. 149\u2013168. Springer, Heidelberg (2007)"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic\u00a05(2), 56\u201368 (1940)","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR7","first-page":"67","volume-title":"NPSec 2005","author":"A. El-Atawy","year":"2005","unstructured":"El-Atawy, A., Ibrahim, K., Hamed, H., Al-Shaer, E.: Policy segmentation for intelligent firewall testing. In: NPSec 2005, pp. 67\u201372. IEEE Computer Society, Los Alamitos (2005)"},{"key":"9_CR8","first-page":"151","volume-title":"policy 2007","author":"A. El-Atawy","year":"2007","unstructured":"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\u2013160. IEEE Computer Society, Los Alamitos (2007)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/3-540-45575-2_31","volume-title":"Perspectives of System Informatics","author":"J. J\u00fcrjens","year":"2001","unstructured":"J\u00fcrjens, J., Wimmel, G.: Specification-based testing of firewalls. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, pp. 308\u2013316. Springer, Heidelberg (2001)"},{"key":"9_CR10","unstructured":"Marmorstein, R., Kearns, P.: Firewall analysis with policy-based host classification. In: lisa 2006, pp. 4\u20134. \n                  usenix Association (2006)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11430230_16","volume-title":"Testing of Communicating Systems","author":"D. Senn","year":"2005","unstructured":"Senn, D., Basin, D., Caronni, G.: Firewall conformance testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 226\u2013241. Springer, Heidelberg (2005)"},{"key":"9_CR13","unstructured":"von Bidder, D.: Specification-based Firewall Testing. Ph.D. Thesis, eth Zurich, eth Diss. No. 17172. Diana von Bidder\u2019s maiden name is Diana Senn (2007)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:36:59Z","timestamp":1558265819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}