Verifying Mutual Authentication for the DLK Protocol Using ProVerif Tool
Saved in:
Published in | International Journal for Information Security Research Vol. 3; no. 1; pp. 256 - 265 |
---|---|
Main Authors | , , , |
Format | Journal Article |
Language | English |
Published |
01.03.2013
|
Online Access | Get full text |
Cover
Loading…
ISSN: | 2042-4639 2042-4639 |
---|---|
DOI: | 10.20533/ijisr.2042.4639.2013.0031 |