Login / Signup

Enhanced Strand Space for Secure Protocol Analysis.

Jie YangYu-ren Zhou
Published in: SSME (2009)
Keyphrases
  • lightweight
  • data analysis
  • formal analysis
  • neural network
  • image analysis