Skip Nav Destination
Inside Technology
Mechanizing Proof: Computing, Risk, and Trust
By
Donald MacKenzie
Donald MacKenzie
Donald MacKenzie is Professor of Sociology (Personal Chair) at the University of Edinburgh. His books include
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262278829
Publication date:
2001
Citation
2001. "Covert Channels", Mechanizing Proof: Computing, Risk, and Trust, Donald MacKenzie
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.