Modelling and analysis of rule-based network security middleboxes. - Khaled Salah 001; Aslam Chaudary (IET Inf. Secur., 2015)