A key management system for a secure interconnected local area network (LAN) is considered. The paper first briefly describes the design of a secure LAN and a Switched Multimegabit Data Service (SMDS) interconnected LAN system. A key management protocol for the system is then given. Finally, a formal analysis of the protocol is carried out using an extended form of BAN logic.
|Number of pages||11|
|Publication status||Published - Aug 1996|
- Formal analysis
- Key management
- Network security