Safecomp '93: The 12th International Conference on Computer Safety, Reliability, and Security, Poznan, Poland, 27-29 October 1993