Confidentiality for Multithreaded Programs via Bisimulation (2003)

by A Sabelfeld
Venue:In Proceedings of Andrei Ershov 5th International Conference on Perspectives of System Informatics, number 2890 in LNCS