Design of a Secure and Decentralized Location Service for Agent Platforms