Andrei Sabelfeld. Confidentiality for Multithreaded Programs via Bisimulation. In Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Volume 2890 of Lecture Notes in Computer Science, pages 260-274, Springer, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.