Login / Signup

An enhanced state-aware model learning approach for security analysis in lightweight protocol implementations.

Jiaxing GuoDongliang ZhaoChunxiang GuXi ChenXieli ZhangMengcheng Ju
Published in: J. Cloud Comput. (2024)
Keyphrases
  • lightweight
  • security analysis
  • security model
  • authentication protocol
  • web services
  • public key