DINAS: a DIstributed NAming Service for All-IP Wireless Sensor Networks