Security through Analysis and Verification (Dagstuhl Seminar 00501)

Degano, Pierpaolo; Gorrieri, Roberto; Hankin, Chris; Nielson, Flemming; Riis Nielson, Hanne

doi:10.4230/DagSemRep.294

Document

Security through Analysis and Verification (Dagstuhl Seminar 00501)

Authors Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, Hanne Riis Nielson

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2001-03-07

PDF

File

DagSemRep.294.pdf

Filesize: 175 kB
15 pages

Document Identifiers

DOI: 10.4230/DagSemRep.294
URN: urn:nbn:de:0030-drops-151781

Author Details

Pierpaolo Degano

Roberto Gorrieri

Chris Hankin

Flemming Nielson

Hanne Riis Nielson

Cite AsGet BibTex

Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, and Hanne Riis Nielson. Security through Analysis and Verification (Dagstuhl Seminar 00501). Dagstuhl Seminar Report 294, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)
https://doi.org/10.4230/DagSemRep.294

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