Towards formal security analysis of GTRBAC using timed automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri. Towards formal security analysis of GTRBAC using timed automata. In Barbara Carminati, James Joshi, editors, SACMAT 2009, 14th ACM Symposium on Access Control Models and Technologies, Stresa, Italy, June 3-5, 2009, Proceedings. pages 33-42, ACM, 2009. [doi]

This author has not been identified. Look up 'Samrat Mondal' in GoogleThis author has not been identified. Look up 'Shamik Sural' in GoogleThis author has not been identified. Look up 'Vijayalakshmi Atluri' in Google

runs on WebDSL