PAN: providing reliable storage in mobile ad hoc networks with probabilistic quorum systems