Antonios Gouglidis, Ioannis Mavridis, Vincent C. Hu. Verification of Secure Inter-operation Properties in Multi-domain RBAC Systems. In Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume. pages 35-44, IEEE, 2013. [doi]
Abstract is missing.