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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 250551 |
| Date Deposited: | 14 Jun 1999 |
| Last Modified: | 02 Mar 2012 11:37 |
| Contributors: | Butler, M. J. (Author) Groves, L. (Editor) Reeves, S. (Editor) |
| Date: | 1997 |
| Additional Information: | Address: Wellington, New Zealand |
| Status: | Published |
| Publisher: | Springer-Verlag, Berlin |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/250551 |
Actions (login required)
 |
View Item |
