KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Postprint
DOI: 10.5445/IR/1000081922
Veröffentlicht am 22.08.2018

Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen = Certified data security for Android applications based on static program analyses

Sohr, Karsten; Bartsch, Steffen; Volkamer, Melanie; Berger, Bernhard; Bodden, Eric; Brucker, Achim; Maseberg, Sönke; Kus, Mehmet; Heider, Jens



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Deutsch
Identifikator ISBN: 978-3-88579-622-0
ISSN: 1617-5468
URN: urn:nbn:de:swb:90-819229
KITopen ID: 1000081922
Erschienen in Sicherheit 2014 - Sicherheit, Schutz und Zuverlässigkeit - Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik - 7th Annual Conference of the German Informatics Society; Wien; Austria; 19 - 21 March 2014. Hrsg.: S. Katzenbeisser
Verlag Gesellschaft für Informatik, Bonn
Seiten 283–291
Serie Lecture Notes in Informatics ; P-228
URLs https://subs.emis.de/LNI/Proceedings/Proceedings228/283.pdf
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page