欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Encryption, 加密, 加密术, 加密算法
CryptoAPI架构
安全级别和对应的安全强度位数
密钥交换算法