Probabilistic Noninterference for Multi-threaded Programs (1999)

by Andrei Sabelfeld , David Sands
Venue:In Proc. IEEE Computer Security Foundations Workshop
Citations:123 - 23 self