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

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. Electronic Notes in Theoretical Computer Science, 121:117-142, 2005. [doi]

Authors

Romain Laborde

This author has not been identified. Look up 'Romain Laborde' in Google

Bassem Nasser

This author has not been identified. Look up 'Bassem Nasser' in Google

Frédéric Grasset

This author has not been identified. Look up 'Frédéric Grasset' in Google

François Barrère

This author has not been identified. Look up 'François Barrère' in Google

Abdelmalek Benzekri

This author has not been identified. Look up 'Abdelmalek Benzekri' in Google