Windmüller, Stephan2013-03-262013-03-262013-03-26http://hdl.handle.net/2003/3011910.17877/DE290R-10348DiplomarbeitdeFirewallsSicherheit004Verifikation von Firewall-Regeln mit dem Java Application Building Centermaster thesis