University of Tasmania
Browse

MR2146569 (2006d:94047) Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 'Abstraction and resolution modulo AC: how to verify Diffie-Hellman-like protocols automatically

journal contribution
posted on 2023-05-23, 00:42 authored by Kelarev, AV
No description available

Funding

Australian Research Council

History

Publication title

Mathematical Review (MR)

Issue

2006

Pagination

ej

Department/School

School of Information and Communication Technology

Place of publication

United States

Repository Status

  • Restricted

Socio-economic Objectives

Voice and data equipment

Usage metrics

    University Of Tasmania

    Categories

    Keywords

    No keyword provided

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC