Proof and Evaluation of a 1CS Middleware Data Replication Protocol Based on O2PL | Publicación