• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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