I.S. CEN TR 15300:2006
Current
The latest, up-to-date edition.
HEALTH INFORMATICS - FRAMEWORK FOR FORMAL MODELLING OF HEALTHCARE SECURITY POLICIES
Hardcopy , PDF
English
01-01-2006
Foreword
Introduction
1 Scope
2 Normative References
3 Terms and definitions
4 Symbols and abbreviations
5 Introduction to FM_HSP
6 Historical security policies
7 A generic formal modelling approach
8 Healthcare current needs & future trends
9 Healthcare applications of FM_HSP
Annex A Bell LaPadula's and Biba's models
Annex B Non-deduction/Non-inference models
Annex C HRU/Take-Grant/TAM-ATAM models
Annex D Chinese Wall model
Annex E Modal logic-based models
Annex F Deontic logic-based models
Bibliography
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.