Hmmm... A simple handshake protocol? I listned to the talk of Frank Pfenning yesterday (over video-conferencing), at CMU they use smart phone to open doors, buy stuff from vending machines, etc. He was presenting the logical verification system for that - to make sure that people don't access stuff they aren't supposed to.