Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets.

Krzysztof Juszczyszyn

Browse the full WETICE paper archive.