Monroy, Raúl

• Vol. 12, No. 1 (2008) - Articles
  Formal Support to Security Protocol Development: A Survey
  Details  PDF
• Vol. 7, No. 4 (2004) - Articles
  On Modelling an Immune System
  Details  PDF