Creative Commons Attribution 4.0 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
URL: https://drops.dagstuhl.de/opus/volltexte/2005/173/
Banerjee, Anindya ; Mantel, Heiko ; Naumann, David ; Sabelfeld, Andrei
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 |
