Confidential types in transaction systems
Networked Digital Library of Theses and Dissertations