Skip to main content
Tagasi

CEN/TR 15300:2006

Health informatics - Framework for formal modelling of healthcare security policies

Üldinfo

Kehtiv alates 08.12.2006
Alusdokumendid
CEN/TR 15300:2006
Direktiivid või määrused
puuduvad

Standardi ajalugu

Staatus
Kuupäev
Tüüp
Nimetus
08.12.2006
Põhitekst
This CEN Technical report specifies the starting point for working on some formalising tools that could be used by the healthcare actors to express, compare and validate local and/or network security policies. Defining and validating a correct security policy encompass different activities such as expressing correctly (i.e. without any ambiguity), formulating correctly (i.e. without any misinterpretation) and proving the correctness (i.e. without known failures or major lack) of the [to be formally modelled] security policy. This CEN Technical report does NOT intend at all to specify a UNIQUE or UNIVERSAL formal model that need to be used by the European healthcare community: it only indicates, as a first working step, some ways that could be followed to help that healthcare community to correctly and fruitfully manipulate the security policy concept(s) and the formal modelling techniques.

Nõutud väljad on tähistatud *

*
*
*
PDF
24,40 € koos KM-ga
Paber
24,40 € koos KM-ga
Sirvi standardit alates 2,44 € koos KM-ga
Standardi monitooring

Teised on ostnud veel

Põhitekst

CEN/TS 14796:2004

Health Informatics - Data Types
Uusim versioon Kehtetu alates 06.09.2011
Põhitekst

CEN/TS 14822-4:2005

Health informatics - General purpose information components - Part 4: Message headers
Uusim versioon Kehtiv alates 10.08.2005
Põhitekst

CEN/TS 15211:2006

Health informatics - Mapping of hierarchical message descriptions to XML
Uusim versioon Kehtetu alates 06.09.2011