Formal Support to Security Protocol Development: A Survey

Juan Carlos López Pimentel, Raúl Monroy

Full Text: PDF