Hicham El Khoury, Romain Laborde, François Barrère, Abdelmalek Benzekri, Maroun Chamoun. A specification method for analyzing fine grained network security mechanism configurations. In IEEE Conference on Communications and Network Security, CNS 2013, National Harbor, MD, USA, October 14-16, 2013. pages 483-487, IEEE, 2013. [doi]
Abstract is missing.