@InCollection{	  brucker.ea:model-based:2008,
  abstract	= {Firewalls are a cornerstone of todays security
		  infrastructure for networks. Their configuration,
		  implementing a firewall policy, is inherently complex, hard
		  to understand, and difficult to validate. We present a
		  substantial case study performed with the model-based
		  testing tool HOL-TestGen. Based on a formal model of
		  firewalls and their policies in HOL, we first present a
		  derived theory for simplifying policies. We discuss
		  different test plans for test specifications. Finally, we
		  show how to integrate these issues to a domain-specific
		  firewall testing tool HOL-TestGen/FW.},
  address	= {Tokyo, Japan},
  author	= {Achim D. Brucker and Lukas Br{\"u}gger and Burkhart Wolff},
  booktitle	= {Testcom/FATES 2008},
  copyright	= {\copyright Springer-Verlag},
  copyrighturl	= {http://www.springerlink.com/content/5v5167t1216vlw7v/},
  editor	= {Kenji Suzuki and Teruo Higashino},
  isbn		= {0302-9743 (Print) 1611-3349 (Online)},
  language	= {USenglish},
  pages		= {103--118},
  pdf		= {papers/2008/2008-testcom-fw-test.pdf},
  publisher	= {Springer-Verlag},
  series	= {LNCS 5047},
  title		= {Model-based Firewall Conformance Testing},
  url		= {http://www.springerlink.com/content/5v5167t1216vlw7v/},
  year		= 2008,
  user		= {lukasbru}
}