Login / Signup

Automatic implementation system of security protocols based on formal description techniques.

Luis MengualNicolás BarciaErnesto JiménezErnestina Menasalvas RuizJulio SetiénJavier Yágüez
Published in: ISCC (2002)
Keyphrases
  • security protocols
  • automated design
  • multi agent systems
  • key management
  • authentication protocol