Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Banerjee, Anindya; Mantel, Heiko; Naumann, David; Sabelfeld, Andrei License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-1731
URL:

; ; ;

03411 Abstracts Collection -- Language Based Security

pdf-format:


Abstract

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

@InProceedings{banerjee_et_al:DagSemProc.03411.2,
  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 =		{https://drops.dagstuhl.de/opus/volltexte/2005/173},
  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
Seminar: 03411 - Language-Based Security
Issue date: 2005
Date of publication: 19.04.2005


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