An algebraic approach to the verification of a class of Diffie-Hellman protocols

Journal article

Open access

Peer reviewed

R Delicata and S Schneider

INT J INF SECUR, Vol.6(2-3), pp.183-196

03/2007

Abstract

protocol verification

Diffie-Hellman

pdf

ijis07123.51 kBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1007/s10207-007-0013-2View

Published (Version of record)

521 File views/ downloads

20 Record Views

Title: An algebraic approach to the verification of a class of Diffie-Hellman protocols
Creators: R Delicata
S Schneider
Publication Details: INT J INF SECUR, Vol.6(2-3), pp.183-196
Publisher: SPRINGER
Date published: 03/2007
Date submitted: 21/08/2011
Identifiers: 99511741202346
Academic Unit: Department of Computer Science
Language: English
Resource Type: Journal article