Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.

Geoffrey M. Brown Lee Pike

Published in: TACAS (2006)

Keyphrases

cryptographic protocols
model checking
formal verification
verification method
database
machine learning
search engine
decision trees
face recognition
multiscale
search algorithm
signature verification
communication protocol
person identification
asynchronous circuits