Formal Representation of Polynomial-Time Algorithms and Security Bruce Kapron University of Victoria June 9, 2004.