@InProceedings{Bruns15a,
author = {Daniel Bruns},
title = {A Theorem Proving Approach to Secure Information Flow in
Concurrent Programs (extended abstract)},
booktitle = {Workshop on Foundations of Computer Security (FCS 2015)},
editor = {Deepak Garg and Boris K{\"o}pf},
language = {english},
year = 2015,
month = jul
}
A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (extended abstract)
| Autor(en): | Daniel Bruns |
|---|---|
| In: | Workshop on Foundations of Computer Security (FCS 2015) |
| Jahr: | 2015 |