Language-Based Security Anindya Banerjee Heiko Mantel David A. Naumann Andrei Sabelfeld Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 03411 2005 Dagstuhl Seminar Proceedings IBFI, Schloss Dagstuhl, Germany db/conf/dagstuhl/P3411.html http://drops.dagstuhl.de/portals/03411/