License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.03411.2
URN: urn:nbn:de:0030-drops-1731
Go to the corresponding Portal

Banerjee, Anindya ; Mantel, Heiko ; Naumann, David ; Sabelfeld, Andrei

03411 Abstracts Collection -- Language Based Security

03411_AbstractCollection_173.pdf (0.2 MB)


From October 5th to 10th 2003,the Dagstuhl Seminar 03411
``Language Based security'' was held
in the International Conference and Research Center (IBFI), Schloss Dagstuhl.

During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar are put together in this paper.

BibTeX - Entry

  author =	{Banerjee, Anindya and Mantel, Heiko and Naumann, David and Sabelfeld, Andrei},
  title =	{{03411 Abstracts Collection – Language Based Security}},
  booktitle =	{Language-Based Security},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{3411},
  editor =	{Anindya Banerjee and Heiko Mantel and David Naumann and Andrei Sabelfeld},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-1731},
  doi =		{10.4230/DagSemProc.03411.2},
  annote =	{Keywords: Access control , information flow , noninterference , downgrading protocol analysis}

Keywords: Access control , information flow , noninterference , downgrading
Freie Schlagwörter (englisch): protocol analysis
Collection: 03411 - Language-Based Security
Issue Date: 2005
Date of publication: 19.04.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI