A Verifiable Secure Distributed System

Jim Alves-Foss
Idaho Center for Applied Logic
Department of Computer Science
University of Idaho
Moscow, ID 83843