ČSN ISO/IEC 15408-1 - Informační technologie – Bezpečnostní techniky – Kritéria pro hodnocení bezpečnosti IT –Část 1: Úvod a obecný model
| Stáhnout normu: | ČSN ISO/IEC 15408-1 (Zobrazit podrobnosti) |
| Datum vydání/vložení: | 2013-02-01 |
| Zdroj: | https://www.iso.org/obp/ui/#iso:std:iso-iec:15408:-1:ed-3:v2:en |
| Třidící znak: | 369789 |
| Obor: | Identifikační karty a ochrana dat |
| ICS: |
|
| Stav: | Platná |
‹
Nahlásit chybu
POZNÁMKA Vkaždém případě je to naprosto přesné. Obvykle se „dokázat“ používá, když existuje žádost ukázat soulad mezi dvěma vyjádřeními TSF svysokou přesností.
NOTE It is completely rigorous in all ways. Typically, “prove” is used when there is a desire to show correspondence between two TSF representations at a high level of rigour.
3.1.53 dokázat, prokázat
(prove) ukázat soulad formální analýzou vjeho matematickém významuPOZNÁMKA Vkaždém případě je to naprosto přesné. Obvykle se „dokázat“ používá, když existuje žádost ukázat soulad mezi dvěma vyjádřeními TSF svysokou přesností.
3.1.53 prove
show correspondence by formal analysis in its mathematical senseNOTE It is completely rigorous in all ways. Typically, “prove” is used when there is a desire to show correspondence between two TSF representations at a high level of rigour.