The austin protocol compiler - McGuire, Tommy M. (Advances in Information Security,, 2005)