软件包:cryptol(2.8.0-1 以及其他的) [debports]
domain-specific language of cryptography
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language.
其他与 cryptol 有关的软件包
|
|
|
|