Shop Mechanizing Proof Computing Risk And Trust 2001