TY  - CONF

T1  - Proving Concurrent Noninterference

UR  - http://dx.doi.org/10.1007/978-3-642-35308-6_11

PY  - 2012/11/27

AU  - Popescu A

AU  - Hölzl J

AU  - Nipkow T

ED  - 

DO  - DOI: 10.1007/978-3-642-35308-6_11

PB  - Springer Berlin Heidelberg

SN  - 9783642353079

SP  - 109

EP  - 125

Y2  - 2024/12/23

ER  -