Login / Signup

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis.

David A. BasinGrit Denker
Published in: WRLA (2000)
Keyphrases
  • security protocols
  • data analysis
  • data streams
  • artificial immune algorithm