03411 Abstracts Collection – Language Based Security

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

doi:10.4230/DagSemProc.03411.2

Document

03411 Abstracts Collection – Language Based Security

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 3411
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2005-04-19

PDF

File

PDF

DagSemProc.03411.2.pdf

Filesize: 189 kB
20 pages

Document Identifiers

DOI: 10.4230/DagSemProc.03411.2
URN: urn:nbn:de:0030-drops-1731

Subject Classification

Keywords

Access control
information flow
noninterference
downgrading protocol analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Anindya Banerjee, Heiko Mantel, David Naumann, and Andrei Sabelfeld. 03411 Abstracts Collection – Language Based Security. In Language-Based Security. Dagstuhl Seminar Proceedings, Volume 3411, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005) https://doi.org/10.4230/DagSemProc.03411.2

Author Details

Anindya Banerjee

Heiko Mantel

David Naumann

Andrei Sabelfeld

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail