Proving concurrent noninterference (2012)

by A Popescu, J Hölzl, T Nipkow
Venue:In CPP