Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 813-823 |
| Number of pages | 11 |
| Journal | Computer Communications |
| Volume | 19 |
| Issue number | 9-10 |
| Publication status | Published - Aug 1996 |
| Externally published | Yes |
Keywords
- Formal analysis
- Key management
- Network security
- Protocol