Security and Rewriting (Dagstuhl Seminar 11332)

Comom-Lundh, Hubert; Küsters, Ralf; Meadows, Catherine

doi:10.4230/DagRep.1.8.53

Document

Security and Rewriting (Dagstuhl Seminar 11332)

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

Part of: Issue: Dagstuhl Reports, Volume 1, Issue 8
Part of: Volume: Dagstuhl Reports, Volume 1
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2011-12-06

PDF

File

DagRep.1.8.53.pdf

Filesize: 0.68 MB
14 pages

Document Identifiers

DOI: 10.4230/DagRep.1.8.53
URN: urn:nbn:de:0030-drops-33111

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

0

Metadata Views

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