Portuguese Trusted Platform Module Cited by user Skiperd on 19 Apr 2026 miniaturadaimagem|Imagem ilustrativa Trusted Platform Module (TPM, também conhecido como ISO/IEC 11889111) é um padrão internacional para um processador criptográfico…
English Trusted Platform Module Cited by user Chris Capoccia on 23 Dec 2025 A Trusted Platform Module (TPM) is a secure cryptoprocessor that implements the ISO/IEC 11889 standard.
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…