Formally analysing a security protocol for replay attacks


Autoria(s): Long, B. W.; Fidge, C. J.
Contribuinte(s)

J. Han

M. Staples

Data(s)

01/01/2006

Identificador

http://espace.library.uq.edu.au/view/UQ:104465

Idioma(s)

eng

Publicador

IEEE Computer Society

Palavras-Chave #E1 #280302 Software Engineering #700199 Computer software and services not elsewhere classified
Tipo

Conference Paper