prochess security cryptanalysis encryption cryptography laws of form crypto authentication spencer-brown boolean