Formally analysing a security protocol for replay attacks

by B.W. Long, C.J. Fidge

Published in Australian Software Engineering Conference by IEEE.

2006 p171-180

application/pdf 141.3 kB `file_s5ynrum6dreilclh5ytxccoa4y`	sky.fit.qut.edu.au (web) web.archive.org (webarchive)
application/pdf 300.6 kB `file_dkyi2bbtsrcvza5i3qvitas6la`	core.ac.uk (web) web.archive.org (webarchive) web.archive.org (webarchive) eprints.qut.edu.au (web) web.archive.org (webarchive) + 1 more URLs

Preserved and Accessible

Type paper-conference
Stage

published

Year 2006

DOI 10.1109/aswec.2006.30
dblp conf/aswec/LongF06

Container Metadata
Not in DOAJ
Not in Keepers Registry

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

Catalog Record
Revision: 1ff5b738-fed7-4d36-9711-438027cde901
API URL: JSON

Formally analysing a security protocol for replay attacks release_qonuwk2gnzchzhj4l4kd3vzfim