Nacházíte se: Domů » Terminologická databáze » ČSN ISO/IEC 15408-1 - formální

Č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) Zákazníci, kteří mají na svém počítači sjednanou od České agentury pro standardizaci (ČAS) službu ČSN on-line pro elektronický přístup do plných textů norem v pdf (verzi pro firmy nebo pro jednotlivce), mohou zde přímo otevírat citované ČSN.
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:	35.040 - Soubory znaků a kódování informací
Stav:	Platná

Terminologie normy

‹

Nahlásit chybu

3.1.35 formální

(formal) vyjádřený vohraničené syntaxi jazyka sdefinovanou sémantikou, založeného na správně ustavených matematických pojetích

expressed in a restricted syntax language with defined semantics based on well-established mathematical concepts