Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri. Network Security Management: A Formal Evaluation Tool Based on RBAC Policies. In Dominique Gaïti, Sebastià Galmés, Ramón Puigjaner, editors, Network Control and Engineering for QoS, Security and Mobility, III - IFIP TC6 / WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain. Volume 165 of IFIP, pages 69-80, Springer, 2004. [doi]
Abstract is missing.