A hierarchy of authentication specifications
The work
| Authors | Gavin Lowe |
|---|---|
| Editors | |
| Type | misc |
| Year | 1997 |
| Also known as | lowe2002hierarchy |
| Citekey | lowe1997hierarchy |
Where it appeared
| Published in | IEEE Computer Security Foundations Workshop (CSFW) |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 31--43 |
Identifiers
| DOI | 10.1109/csfw.1997.596782 |
|---|---|
| OpenAlex | W2145415641 |
Access
| Landing page | https://doi.org/10.1109/csfw.1997.596782 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Many security protocols have the aim of authenticating one agent to another. Yet there is no clear consensus in the academic literature about precisely what "authentication" means. We suggest that the appropriate authentication requirement will depend upon the use to which the protocol is put, and identify several possible definitions of "authentication". We formalize each definition using the process algebra CSP, use this formalism to study their relative strengths, and show how the model checker FDR can be used to test whether a system running the protocol meets such a specification.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-28 22:51 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{lowe1997hierarchy,
title = {A hierarchy of authentication specifications},
author = {Gavin Lowe},
year = {1997},
journal = {IEEE Computer Security Foundations Workshop (CSFW)},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {31--43},
doi = {10.1109/csfw.1997.596782},
}
This record lives at https://refs.drheap.org/lowe1997hierarchy/ and will keep
doing so. It used to be called lowe2002hierarchy, and those addresses still resolve to this one.