The Austin protocol compiler - McGuire, Tommy M. (Advances in information security)