Title: Taking the mystery out of protocol analysis
Subjects: Computer network protocols