Foundations of secure computation - Demillo, Richard A (Academic Press, 1978)