License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-1731
URL: http://drops.dagstuhl.de/opus/volltexte/2005/173/
Go to the corresponding Portal


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

03411 Abstracts Collection -- Language Based Security

pdf-format:
Document 1.pdf (189 KB)


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:DSP:2005:173,
  author =	{Anindya Banerjee and Heiko Mantel and David Naumann and Andrei Sabelfeld},
  title =	{03411 Abstracts Collection -- Language Based Security},
  booktitle =	{Language-Based Security},
  year =	{2005},
  editor =	{Anindya Banerjee and Heiko Mantel and David Naumann and Andrei Sabelfeld},
  number =	{03411},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/173},
  annote =	{Keywords: Access control , information flow , noninterference , downgrading}
}

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 Published by LZI