I wanted to bring to your attention Ben Laurie's "Stupid: A Metalanguage For Cryptography". Despite the name it actually is helpful for abstracting the design of cryptographic algorithms.
http://www.links.org/?p=864 Monty _______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
