Anindya Banerjee Heiko Mantel David A. Naumann Andrei Sabelfeld 03411 Final Report - Language Based Security. 2003 conf/dagstuhl/2003P3411 Language Based Security http://drops.dagstuhl.de/opus/volltexte/2005/172 db/conf/dagstuhl/P3411.html#BanerjeeMNS03