A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies.

Thu, 01 Jan 2004 00:00:00 +0100

Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri:
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies. WISP@ICATPN 2004: 117-142