@TechReport{	  sabelfeld:final:2003,
  author	= {Anindya Banerjee \and Heiko Mantel \and David Naumann \and
		  Andrei Sabelfeld},
  institution	= {Dagstuhl},
  language	= {USenglish},
  title		= {Final Report on Seminar 03411: Language-Based Security},
  year		= 2003,
  user		= {hmantel}
}