A Security Verification Framework of Cryptographic Protocols Using Machine Learning.

Kentaro Ohno Misato Nakabayashi

Published in: CoRR (2023)

Keyphrases

cryptographic protocols
machine learning
security properties
authentication protocol
lightweight
security requirements
security protocols
encryption decryption
database systems
response time
access control
security analysis
formal verification