Ukrainian Обчислювальна довіра Cited by user Alessot on 26 Feb 2023 В інформаційній безпеці обчислювальна довіра — це створення довірених уповноважених або довіри користувачів за допомогою криптографії.
Japanese ProVerif Cited by user Squirrel's tail on 08 Oct 2021 対称と非対称暗号、デジタル署名、ハッシュ関数、ビットコミットメント、知識の証明などの暗号化プリミティブがサポートされている。このツールは、到達可能性(reachability)、対応表明(correspondence assertions)、および観測等価性(observational equivalence)を評価することができる。これら…
English ProVerif Cited by user Mpdehnel on 18 Jan 2018 Support is provided for cryptographic primitives including: symmetric & asymmetric cryptography; digital signatures; hash functions; bit-commitment; and signature proofs…
English Computational trust Cited by user Trust reputation on 30 Sep 2012 In information security, computational trust is the generation of trusted authorities or user trust through cryptography.