@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.},
  editor	= {Kenji Suzuki and Teruo Higashino},
  location	= {Tokyo, Japan},
  author	= {Achim D. Brucker and Lukas Br{\"u}gger and Burkhart Wolff},
  booktitle	= {Testcom/FATES 2008},
  language	= {USenglish},
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  series	= {Lecture Notes in Computer Science},
  number	= {5047},
  doi		= {10.1007/978-3-540-68524-1_9},
  pages		= {103--118},
  title		= {Model-based Firewall Conformance Testing},
  categories	= {holtestgen},
  classification= {conference},
  areas		= {security, formal methods},
  keywords	= {Security Testing, Model-based Testing, Firewall,
		  Conformance Testing},
  year		= {2008},
  pdf		= {http://www.brucker.ch/bibliography/download/2008/brucker.ea-model-based-2008.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-model-based-2008}
		  
}