Oracle-based Protocol Testing with Eywa.

Siva Kesava Reddy Kakarla Ryan Beckett

Published in: CoRR (2023)

Keyphrases

database
oracle database
lightweight
security protocols
communication protocol
communication protocols
real time
test set
authentication protocol
databases
test cases
formal analysis
database security