J. D. Tygar, Carnegie Mellon University