López Pimentel, Juan Carlos

• Vol. 12, No. 1 (2008) - Articles
  Formal Support to Security Protocol Development: A Survey
  Details  PDF