Constructing and reasoning about security protocols using invariants

A.J. Mooij

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
    Originele taal-2Engels
    TitelProceedings 12th BCS-FACS Refinement Workshop (REFINE 2007, Oxford, UK, July 2, 2007)
    RedacteurenE. Boiten, J. Derrick, G. Smith
    Pagina's99-126
    DOI's
    StatusGepubliceerd - 2008

    Publicatie series

    NaamElectronic Notes in Theoretical Computer Science
    Volume201
    ISSN van geprinte versie1571-0061

    Citeer dit