> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis Beteiligte: Mues, Malte [Verfasser]; Howar, Falk [Akademischer Betreuer]; Beyer, Dirk [Gutachter] Erschienen: Dortmund: Universitätsbibliothek Dortmund, 2023 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Symbolische Ausführung ; Verifikation ; Schwachstellenanalyse ; Dynamic symbolic execution ; Formal verification of Java ; Taint analysis Entstehung: Hochschulschrift: Dissertation, Dortmund, Technische Universität, 2023 Anmerkungen: Zugangsstatus: Freier Zugang