A Smart Card Based Distributed Identity Management Infrastructure for Mobile Ad Hoc Networks