Krzysztof Juszczyszyn. Verifying Enterprise s Mandatory Access Control Policies with Coloured Petri Nets. In 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria. pages 184-189, IEEE Computer Society, 2003. [doi]
Abstract is missing.