Informační systém Uvádění výrobků na trh
Nacházíte se: Domů » Terminologická databáze » ČSN ISO/IEC 29128-1 - automatizovaný tester

ČSN ISO/IEC 29128-1 - Informační bezpečnost, kybernetická bezpečnost a ochrana soukromí - Ověřování kryptografických protokolů - Část 1: Rámec

Stáhnout normu: ČSN ISO/IEC 29128-1 (Zobrazit podrobnosti)
Datum vydání/vložení: 2025-03-01
Třidící znak: 369707
Obor: Identifikační karty a ochrana dat
ICS:
  • 35.030 - Bezpečnost IT
Stav: Platná
Nahlásit chybu

3.3 automatizovaný tester

nástroj použitý pro hodnocení bezpečnostních vlastností (3.9) modelu kryptografického protokolu (3.5)

3.3 automated prover


tool used for evaluating the security properties (3.9) of a cryptographic protocol model (3.5)

Využíváme soubory cookies, díky kterým Vám mužeme poskytovat lepší služby. Využíváním našich služeb s jejich využitím souhlasíte. Více zde Souhlasím