slides

Embedding CSP in PVS: An Application to Authentication Protocols

Authors
Publication date
2 December 2013
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Supporting member

    Queen Mary Research Online

    redirect
    oaioai:qmro.qmul.ac.uk:123456789/...
    Last time updated on 05/04/2016