Toggle Main Menu Toggle Search

Open Access padlockePrints

Mechanical Verification of the full Needham-Schroeder Public Key Protocol

Lookup NU author(s): Dr Jeremy Bryans


Full text is not currently available for this publication.

Publication metadata

Author(s): Bryans J, Schneider S

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1997

Report Number: 97-11

Institution: Royal Holloway and Bedford New College

Place Published: London, UK