Towards formal specification and verification of a role-based authorization engine using JML.

Tanveer Mustafa, Michael Drouineaud, Karsten Sohr

Browse the full ICSE paper archive.