Login / Signup

A Framework for the Analysis of Security Protocols.

Michele BorealeMaria Grazia Buscemi
Published in: CONCUR (2002)
Keyphrases
  • security protocols
  • data analysis
  • artificial intelligence
  • case study
  • source code