Action system analysis of an authentication protocol (extended abstract) (Q4370271)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1104389
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Action system analysis of an authentication protocol (extended abstract) |
scientific article; zbMATH DE number 1104389 |
Statements
3 May 1998
0 references
abstract specification
0 references
0 references
0.85789955
0 references
Action system analysis of an authentication protocol (extended abstract) (English)
0 references
We present an abstract specification of a simple authenticated communications service and then refine it in such a way that the communication and authentication of messages is achieved using the fixed version of the Needham-Schroeder authentication protocol. Three stages of development are presented: 1) The abstract system, which is a simple description of a service that allows agents to exchange authenticated messages. 2) The first refinement of the abstract system, which implements the exchange of each individual message using the protocol. 3) The second refinement, which introduces an explicit model of how a spy could fake and replay messages to attempt to violate the authentication. For the entire collection see [Zbl 0877.00014].
0 references
