Tanveer Mustafa
Tanveer Mustafa
Bestätigte E-Mail-Adresse bei tzi.de
Titel
Zitiert von
Zitiert von
Jahr
Enforcing role-based access control policies in web services with UML and OCL
K Sohr, T Mustafa, X Bao, GJ Ahn
2008 Annual Computer Security Applications Conference (ACSAC), 257-266, 2008
322008
Software security aspects of Java-based mobile phones
K Sohr, T Mustafa, A Nowak
Proceedings of the 2011 ACM Symposium on Applied Computing, 1494-1501, 2011
142011
Understanding the implemented access control policy of Android system services with slicing and extended static checking
T Mustafa, K Sohr
International Journal of Information Security 14 (4), 347-366, 2015
122015
Secure mobile business information processing
N Kuntze, R Rieke, G Diederich, R Sethmann, K Sohr, T Mustafa, ...
2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing …, 2010
62010
Towards formal specification and verification of a role-based authorization engine using JML
T Mustafa, M Drouineaud, K Sohr
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure …, 2010
42010
Implementing advanced RBAC administration functionality with USE
T Mustafa, K Sohr, DH Dang, M Drouineaud, S Kowski
Electronic Communications of the EASST 15, 2008
42008
Towards Security Program Comprehension with Design by Contract and Slicing
K Sohr, T Mustafa, M Gulmann, P Gerken
Technical Report TZI-Bericht-2016-80, Universität Bremen, Germany, 2016
12016
Static Security Analysis of Java Applications with an Approach Based on Design by Contract
T Mustafa
2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8