PD Dr. Karsten Sohr
with Slicing and Extended Static Checking , International Journal of Information Security, Springer, Berlin, 2014. Supersedes technical report . S. Bartsch, B. J. Berger, E. Bodden, A. D. Brucker, J. Heider [...] Schäfer, K. Sohr. RFID-Authentisierung in der Lieferkette der Automobilindustrie , D-A-CH Security, Berlin, 2008. K. Sohr, M. Drouineaud, G.-J. Ahn, M. Gogolla. Analyzing and Managing Role-Based Access Control