Checking probabilistic noninterference using JOANA
Snelting, Gregor ; Giffhorn, Dennis ; Graf, Jürgen ; Hammer, Christian ; Hecker, Martin ; Mohr, Martin ; Wasserrab, Daniel
- Link zu diesem Datensatz
- https://d-nb.info/1362298018
- Titel
- Checking probabilistic noninterference using JOANA
- Art des Inhalts
- Teil eines Werks
- Autor(en)
-
- Snelting, Gregor
- Giffhorn, Dennis
- Graf, Jürgen
- Hammer, Christian
- Hecker, Martin
- Mohr, Martin
- Wasserrab, Daniel
- Zeitliche Einordnung
- Erscheinungsdatum: 2014
- Umfang/Format
- Online-Ressource
- DOI
- 10.1515/itit-2014-1051
- Online
- https://doi.org/10.1515/itit-2014-1051
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Information technology
- Enthalten in: Information technology
- Enthalten in: Information technology
- Stand
- 03.08.2025 08:25
- Im Katalog seit
- 07.03.2026