Norm

NPR-CEN/TR 15300:2006 en

Medische informatica - Raamwerk voor formele modellen van gezondheidveiligheidsbeleid

61,30

Over deze norm

Status Definitief
Aantal pagina's 33
Commissie Informatievoorziening in de zorg
Gepubliceerd op 01-11-2006
Taal Engels
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. This CEN Technical report does NOT intend to indicate an EXHAUSTIVE spectrum of all the published formal security policy models: it only gives a readable and understandable flavour of the most well-known formal models and also of the [maybe] most interesting ones from the healthcare activity and needs point of view.

Details

ICS-code 35.240.80
Nederlandse titel Medische informatica - Raamwerk voor formele modellen van gezondheidveiligheidsbeleid
Engelse titel Health Informatics - Framework for formal modelling of healthcare security policies

Winkelwagen

Subtotaal:

Ga naar winkelwagen