Towards formal security analysis of GTRBAC using timed automata.

Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri

Browse the full SACMAT paper archive.