Secure P2P programming on top of tuple spaces