Modeling and Validating the Clinical Information Systems Policy Using Alloy

Haraty, Ramzi A.; Naous, Mirna

Modeling and Validating the Clinical Information Systems Policy Using Alloy

Haraty, Ramzi A.; Naous, Mirna

URL: https://link.springer.com/chapter/10.1007/978-3-642-37899-7_1#enumeration

Date: 2018-01-31

Terms of Use: This item is made available under the terms and conditions applicable to " Conference Paper / Proceeding ", as set forth at: http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php

Abstract:

Information systems security defines three properties of information: confidentiality, integrity, and availability. These characteristics remain major concerns throughout the commercial and military industry. In this work, we focus on the integrity aspect of commercial security applications by exploring the nature and scope of the famous integrity policy - the Clinical Information Systems Policy. We model it and check its consistency using the Alloy Analyzer.

Citation:

Haraty, R. A., & Naous, M. (2013, March). Modeling and validating the clinical information systems policy using alloy. In International Conference on Health Information Science (pp. 1-17). Springer, Berlin, Heidelberg.