Login / Signup
Some Experiences of Testing Protocol Implementations.
John R. Pavel
Dermot J. Dwyer
Published in:
PSTV (1984)
Keyphrases
</>
lightweight
formal analysis
case study
test cases
efficient implementation
network protocols
data sets
databases
cryptographic protocols
learning from experience