@InProceedings{KuestersTruderungBeckertEA2013,
author = {Ralf K{\"u}sters and Tomasz Truderung and Bernhard Beckert
and Daniel Bruns and J{\"u}rgen Graf and Christoph Scheben},
title = {A Hybrid Approach for Proving Noninterference and
Applications to the Cryptographic Verification of {Java}
Programs},
booktitle = {Grande Region Security and Reliability Day (GRSRD 2013)},
url = {http://grsrd.uni.lu/2013/papers/grsrd2013_submission_2.pdf},
year = 2013,
month = apr,
editor = {Christian Hammer and Sjouke Mauw},
address = {Luxembourg},
language = {english},
note = {Extended Abstract}
}
A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs
| Autor(en): | Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Jürgen Graf und Christoph Scheben |
|---|---|
| In: | Grande Region Security and Reliability Day (GRSRD 2013) |
| Jahr: | 2013 |
| URL: | http://grsrd.uni.lu/2013/papers/grsrd2013_submission_2.pdf |
Anmerkung
Extended Abstract