Julio Setién

Learn More
of Spain under the proyect " A Multi-Agent System Architecture for the automatic and dynamic Implementation of security protocols (TIC2001-3376) " Abstract In this paper we present an automatic implementation system of security protocols based in Formal Description Techniques. A sufficiently complete and concise formal specification that has allowed us to(More)
  • 1