The Austin Protocol Compiler - Tommy M. McGuire, Mohamed G. Gouda ((Advances in Information Security))