Abstract
An authentication protocol with security imbedded into it is reported. It is based on a combination of the private-key and the public-key encryption systems. A Petri-net model of the protocol is presented to verify that the protocol is correct and deadlock-free.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings - IEEE INFOCOM |
| Publisher | IEEE |
| Pages | 1105-1109 |
| Number of pages | 5 |
| ISBN (Print) | 0818608331 |
| State | Published - 1988 |
Publication series
| Name | Proceedings - IEEE INFOCOM |
|---|---|
| ISSN (Print) | 0743-166X |
ASJC Scopus subject areas
- General Computer Science
- Electrical and Electronic Engineering