Cryptographic protocol conformance testing based on domain-specific state machine.

Sergey Prokopev

Published in: J. Comput. Virol. Hacking Tech. (2024)

Keyphrases

state machine
domain specific
cryptographic protocols
state machines
fault tolerant
general purpose
finite state machines
standard model
query processing
hidden markov models
image compression
lightweight
test cases
authentication protocol
formal verification