Login / Signup

Experimenting with STA, a tool for automatic analysis of security protocols.

Michele BorealeMaria Grazia Buscemi
Published in: SAC (2002)
Keyphrases
  • automatic analysis
  • security protocols
  • automated design
  • cryptographic algorithms
  • artificial immune algorithm
  • security services