Formal Validation of OFEPSP+ with AVISPA | Publicación