Correct Web Service Transactions in the Presence of Malicious and Misbehaving Transactions Ph.D. Dissertation by John Ravan