@inproceedings{DBLP:conf/dagstuhl/BanerjeeMNS03a,
  author    = {Anindya Banerjee and
               Heiko Mantel and
               David A. Naumann and
               Andrei Sabelfeld},
  title     = {03411 Abstracts Collection - Language Based Security},
  booktitle = {Language Based Security},
  year      = {2003},
  ee        = {http://drops.dagstuhl.de/opus/volltexte/2005/173},
  crossref  = {DBLP:conf/dagstuhl/2003P3411},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dagstuhl/2003P3411,
  editor    = {Anindya Banerjee and
               Heiko Mantel and
               David A. Naumann and
               Andrei Sabelfeld},
  title     = {Language-Based Security, 5.-10. October 2003},
  booktitle = {Language-Based Security},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
               Informatik (IBFI), Schloss Dagstuhl, Germany IBFI, Schloss Dagstuhl, Germany},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {03411},
  year      = {2005},
  ee        = {http://drops.dagstuhl.de/portals/03411/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}