Computer security and industrial cryptography state of the art and evolution ; ESAT course, Leuven, Belgium, May 21 - 23, 1991 (Springer, 1993)