Tanveer Mustafa, Michael Drouineaud, Karsten Sohr. Towards formal specification and verification of a role-based authorization engine using JML. In Seok-Won Lee, Mattia Monga, Jan Jürjens, editors, ICSE Workshop on Software Engineering for Secure Systems, SESS 2010, May 2, 2010, Cape Town, South Africa. pages 50-57, ACM, 2010. [doi]
Abstract is missing.