ACM Transactions on Computer Systems (TOCS)
AAA and Network Security for Mobile Access: Radius, Diameter, EAP, PKI and IP Mobility
AAA and Network Security for Mobile Access: Radius, Diameter, EAP, PKI and IP Mobility
Extending BAN Logic for Reasoning with Modern PKI-Based Protocols
NPC '08 Proceedings of the 2008 IFIP International Conference on Network and Parallel Computing
Hi-index | 0.00 |
In PMIPv6, it is possible to support mobility for IPv6 nodes without software stack to exchange the signaling messages to control its movement. EAP-TLS supports for certificate-based mutual authentication, utilizing the protected ciphersuite negotiation, mutual authentication and key management capabilities of the TLS protocol. In this paper, we describe a certificate-based public key authentication mechanism for Proxy Mobile IPv6 environments. The certificate-based authentication mechanism is based on EAP-TLS that supports the mutual authentication during its ciphersuit negotiation. The proposed certificate-based authentication mechanism that involves initial authentication and handoff authentication is analyzed by BAN logic.