Protocols; Tools; Probabilistic logic; Cryptography; Computer security;
机译:RSA和公钥密码学密码学简介密码学:密码学的理论和实践椭圆曲线的密码学:密码学中的数论和密码学椭圆曲线现代密码学,概率证明和伪随机性基础密码学:基本工具Rijndael的设计: -应用密码学高级加密标准手册
机译:具有组成证明规则的实时密码协议分析的简单框架
机译:量子证明随机性提取器的模块化框架
机译:Coq中带有自动证明的基础程序验证
机译:密码学的基础证明框架。
机译:研究协议:EB-GIS4HEALTH UK –用于UK / NHS健康和医疗GIS应用的模块化可重用模型的基础证据库和基于本体的框架
机译:saT / smT解算器通过证明证人进行Coq模块化集成⋆
机译:密码学的基础证明框架。