Butler, M. J. (1997) Action System Analysis of an Authentication Protocol (extended abstract). Groves, L. and Reeves, S. (eds.) Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 287-288 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1997
Additional Information:
Address: Wellington, New Zealand
Venue - Dates:
Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science, 1997-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250551
URI: http://eprints.soton.ac.uk/id/eprint/250551
ISBN: ISBN 981-3083-31-X
PURE UUID: a0e2eedd-dc7c-4b6e-b724-e4a94ad101dc
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 11 Dec 2021 03:09
Export record
Contributors
Author:
M. J. Butler
Editor:
L. Groves
Editor:
S. Reeves
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.