C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automatic implementation system of security protocols based on formal description techniques.
Luis Mengual
Nicolás Barcia
Ernesto Jiménez
Ernestina Menasalvas Ruiz
Julio Setién
Javier Yágüez
Published in:
ISCC (2002)
Keyphrases
</>
security protocols
automated design
multi agent systems
key management
authentication protocol