Dagstuhl Seminar Proceedings 07421

Formal Protocol Verification Applied

L. Chen, S. Kremer, M. D. Ryan (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 07421, 14.10. - 19.10.2007
Additional Information
Seminar Homepage
License
Search Publication Server

Support
  • Microsoft Research, Cambridge, UK


  • Authors
  • Backes, Michael
  • Chen, Liqun
  • Cremers, Cas
  • Kremer, Steve
  • Maffei, Matteo
  • Ryan, Mark D.
  • Unruh, Dominique

  •   
    07421 Abstracts Collection -- Formal Protocol Verification Applied
    Authors: Chen, Liqun ; Kremer, Steve ; Ryan, Mark D.

    Abstract | Document (170 KB) | BibTeX

    07421 Executive Summary -- Formal Protocol Verification Applied
    Authors: Chen, Liqun ; Kremer, Steve ; Ryan, Mark D.

    Abstract | Document (68 KB) | BibTeX

    Complete Characterization of Security Protocols by Pattern Refinement
    Authors: Cremers, Cas

    Abstract | Document (192 KB) | BibTeX

    Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
    Authors: Backes, Michael ; Maffei, Matteo ; Unruh, Dominique

    Abstract | Document (343 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI