Towards Secure and Reliable Firewall Systems based on MINIX3. - Rüdiger Weis; Brian Schüler; Stefan A. Flemming (Sicherheit, 2010)