Action System Analysis of an Authentication Protocol (extended abstract)


Butler, M. J., (1997) Action System Analysis of an Authentication Protocol (extended abstract) Groves, L. and Reeves, S. (eds.) At Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. , pp. 287-288.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
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
ePrint ID: 250551
Date :
Date Event
1997Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250551

Actions (login required)

View Item View Item