От: | ShaggyOwl | http://www.rsdn.org | |
Дата: | 09.01.09 12:32 | ||
Оценка: | 3 (2) |
http://www.galois.com/technology/communications_security/cryptolCryptol is a domain specific language for the design, implementation and verification of cryptographic algorithms