Static confidentiality enforcement for distributed programs (2002)

by Andrei Sabelfeld, Heiko Mantel
Venue:In Proceedings of the 9th International Static Analysis Symposium, volume 2477 of LNCS