Network Security: Formal and Optimized Configuration. - Marfall N. Fall; Mohamed Mejri (SoMeT, 2010)