Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools

Hind Rakkay, Hanifa Boucheneb. Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools. Transactions on Computational Science, 4:149-176, 2009. [doi]

Abstract

Abstract is missing.