Verification of Link-Level Protocols.

Donald E. Knuth

Published in: BIT (1981)

Keyphrases

higher level
decision trees
levels of abstraction
application level
cryptographic protocols
artificial intelligence
image sequences
security protocols