Action System Analysis of an Authentication Protocol (extended abstract)


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

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Additional Information: Address: Wellington, New Zealand
ISBNs: 981308331
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250551
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/250551

Actions (login required)

View Item View Item