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