> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Compositional and Scheduler-Independent Information Flow Security Weitere Titel: Kompositionale und Scheduler-unabhängige Informationsflusssicherheit Beteiligte: Sudbrock, Henning [Verfasser]; Mantel, Heiko [Akademischer Betreuer]; Schmitt, Peter H. [Akademischer Betreuer] Erschienen: Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2013 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: information flow security ; compositionality ; scheduler-independence ; security type system ; language-based security ; program dependence graph ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Darmstadt, Technische Universität Darmstadt, 2013 Anmerkungen: Zugangsstatus: Freier Zugang