page 1  (9 pages)
2to next section

A Verifiable Secure Distributed System

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