Checking probabilistic noninterference using JOANA

Snelting, Gregor and Giffhorn, Dennis and Graf, Jürgen and Hammer, Christian and Hecker, Martin and Mohr, Martin and Wasserrab, Daniel
(2014) Checking probabilistic noninterference using JOANA.
it - Information Technology, 56 (6). pp. 280-287.

Full text not available from this repository.
Item Type: Article
Additional Information: pub_id: 1371 Bibtex: DBLP:journals/it/SneltingGG0HMW14 URL date: None
Divisions: Unspecified
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:28
Last Modified: 18 Jul 2019 12:12
Primary Research Area: NRA5: Empirical & Behavioral Security
URI: https://publications.cispa.saarland/id/eprint/220

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.