Protocol Analysis, Second Edition by Kenneth Reed