Timed models for protocol security - Heintze, Nevin; Tygar, J. D. (Carnegie Mellon University, 1992)