[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.02-2010.05.02)] Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems - SESS '10 - Towards formal specification and verification of a role-based authorization engine using JML
Mustafa, Tanveer, Drouineaud, Michael, Sohr, KarstenYear:
2010
Language:
english
DOI:
10.1145/1809100.1809108
File:
PDF, 197 KB
english, 2010