Document Open Access Logo

03411 Final Report – Language Based Security

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



PDF
Thumbnail PDF

File

DagSemProc.03411.1.pdf
  • Filesize: 315 kB
  • 5 pages

Document Identifiers

Author Details

Anindya Banerjee
Heiko Mantel
David Naumann
Andrei Sabelfeld

Cite AsGet BibTex

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

Abstract

This paper summarizes the objectives and structure of a seminar with the same title, held from October 5th to 10th 2003 at Schloss Dagstuhl, Germany.
Keywords
  • Access control
  • information flow
  • noninterference
  • downgrading protocol analysis

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail