REDMAN: an Optimistic Replication Middleware for Read-only Resources in Dense MANETs