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|
|Number of pages||5|
|Publication status||Published - 1988|
ASJC Scopus subject areas
- Hardware and Architecture
- Electrical and Electronic Engineering