{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T19:35:25Z","timestamp":1758396925801,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_31","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:30:22Z","timestamp":1180575022000},"page":"308-316","source":"Crossref","is-referenced-by-count":24,"title":["Specification-Based Testing of Firewalls"],"prefix":"10.1007","author":[{"given":"Jan","family":"J\u00fcrjens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Wimmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"31_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Theoretical Aspects of Computer Software (TACS\u201901)","author":"M. Abadi","year":"2001","unstructured":"M. Abadi and Jan J\u00fcrjens. Formal eavesdropping and its computational interpretation. In Theoretical Aspects of Computer Software (TACS\u201901), LNCS. Springer, 2001."},{"issue":"2","key":"31_CR2","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/378444.378449","volume":"19","author":"S. Bellovin","year":"1989","unstructured":"S. Bellovin. Security problems in the TCP\/IP protocol suite. Computer Communication Review, 19(2):32\u201348, 1989.","journal-title":"Computer Communication Review"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Y. Bartal, A. Mayer, K. Nissim, and A. Wool. Firmato: A novel firewall management toolkit. In Security and Privacy, 1999.","DOI":"10.1109\/SECPRI.1999.766714"},{"key":"31_CR4","unstructured":"W. Cheswick and S. Bellovin. Firewalls and Internet Security: repelling the wily hacker. Addison-Wesley, 1994."},{"key":"31_CR5","unstructured":"M. Freiss. Protecting Networks with SATAN. O\u2019Reilly, 1998."},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"J. Guttman. Filtering postures: Local enforcement for global policies. In IEEE Symposium on Security and Privacy, 1997.","DOI":"10.1109\/SECPRI.1997.601327"},{"key":"31_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of Security Analysis and Design","author":"J. Guttman","year":"2001","unstructured":"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."},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"F. Huber, S. Molterer, A. Rausch, B. Sch\u00e4tz, 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\u2013164, 1998.","DOI":"10.1109\/PDSE.1998.668174"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"F. Huber, S. Molterer, B. Sch\u00e4tz, O. Slotosch, and A. Vilbig. Trafic Lights-An AutoFocus Case Study. In 1998 International Conference on Application of Concurrency to System Design, pages 282\u2013294. IEEE Computer Society, 1998.","DOI":"10.1109\/CSD.1998.657559"},{"key":"31_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/3-540-45116-1_6","volume-title":"Composability of secrecy","author":"J. J\u00fcrjens","year":"2001","unstructured":"Jan J\u00fcrjens. 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\u201338. Springer, 2001."},{"key":"31_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/3-540-45251-6_8","volume-title":"Secrecy-preserving refinement","author":"J. J\u00fcrjens","year":"2001","unstructured":"Jan J\u00fcrjens. Secrecy-preserving refinement. In Formal Methods Europe (International Symposium), volume 2021 of LNCS, pages 135\u2013152. Springer, 2001."},{"key":"31_CR12","unstructured":"H. L\u00f6tzbeyer and A. Pretschner. Testing concurrent reactive systems with constraint logic programming. In 2nd Workshop on Rule-Based Constraint Reasoning and Programming, Singapore, 2000."},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"A. Mayer, A. Wool, and E. Ziskind. Fang: A firewall analysis engine. In IEEE Symposium on Security and Privacy, 2000.","DOI":"10.1109\/SECPRI.2000.848455"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"R. Ritchey and P. Ammann. Using model checking to analyze network vulnerabilities. In IEEE Symposium on Security and Privacy, 2000.","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"31_CR15","unstructured":"C. Schuba. On the Modeling, Design, and Implementation of Firewall Technology. PhD thesis, CERIAS, Purdue, 1997."},{"key":"31_CR16","unstructured":"G. Wimmel. Specification Based Determination of Test Sequences in Embedded Systems. Master\u2019s thesis, Technische Universit\u00e4t M\u00fcnchen, 2000."},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"G. Wimmel, H. L\u00f6tzbeyer, A. Pretschner, and O. Slotosch. Specification Based Test Sequence Generation with Propositional Logic. Journal on Software Testing Verification and Reliability, 10, 2000.","DOI":"10.1002\/1099-1689(200012)10:4<229::AID-STVR213>3.0.CO;2-O"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:13:09Z","timestamp":1737058389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}