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

Published in: J. Cloud Comput. (2024)

Keyphrases