1985 boolean cryptography 1982 1981 1980 cryptology encryption 1986 cryptanalysis 1983 crypto prochess security spencer-brown laws of form