Towards Effective Verification of Multi-Model Access Control Properties.

Bernhard J. Berger, Christian Maeder, Rodrigue Wete Nguempnang, Karsten Sohr, Carlos E. Rubio-Medrano

Browse the full SACMAT paper archive.