@Proceedings{ banerjee.ea:final:2003, editor = {Anindya Banerjee and Heiko Mantel and David Naumann and Andrei Sabelfeld}, publisher = {Dagstuhl}, title = {Final Report on Seminar 03411: Language-Based Security}, year = 2003 }