ENDL: A logical framework for verifying secure transaction protocols

Springer London Ltd
Publication Type:
Journal Article
Knowledge And Information Systems, 2005, 7 (1), pp. 84 - 109
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2005000878.pdf1.54 MB
Adobe PDF
This paper proposes a new logic for verifying secure transaction protocols. We have named this logic the ENDL (extension of non-monotonic dynamic logic). In this logic, timestamps and signed certificates are used for protecting against replays of old key
Please use this identifier to cite or link to this item: