.png){kind=icon}
.png){kind=icon}
Return
Authentication primitives for secure protocol specifications
.png){kind=icon}
PRE
AI
DOI：10.1016/j.future.2004.05.004.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
We use two authentication primitives proposed recently as a linguistic support for enforcing authentication. They offer a way of abstracting from various specifications of authentication and of obtaining idealized protocols secure by construction. Consequently, they help in proving that a cryptographic protocol correctly implements its corresponding abstract version; when the implementation is incorrect, suggestions on how to fix it may come from reasoning on the abstract specification. (c) 2004 Elsevier B.V All rights reserved.
Keywords:
cryptographic process calculi
security
authentication
Journal
F
IF:
6.1
Papers:
6.8K
Citations:
2.3W
Organization
No organization information available