Security and Rewriting (Dagstuhl Seminar 11332)

Authors Hubert Comom-Lundh, Ralf Küsters, Catherine Meadows and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.1.8.53.pdf
  • Filesize: 0.68 MB
  • 14 pages

Document Identifiers

Author Details

Hubert Comom-Lundh
Ralf Küsters
Catherine Meadows
and all authors of the abstracts in this report

Cite AsGet BibTex

Hubert Comom-Lundh, Ralf Küsters, and Catherine Meadows. Security and Rewriting (Dagstuhl Seminar 11332). In Dagstuhl Reports, Volume 1, Issue 8, pp. 53-66, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/DagRep.1.8.53

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 11332 ``Security and Rewriting''.
Keywords
  • Rewriting
  • Security
  • Access Control
  • Protocol Verification

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads