Modeling and validating the clinical information systems policy using alloy

Authors:
Ramzi A. Haraty;Mirna Naous
Affiliations:
Department of Computer Science and Mathematics, Lebanese American University, Beirut, Lebanon;Department of Computer Science and Mathematics, Lebanese American University, Beirut, Lebanon
Venue:
HIS'13 Proceedings of the second international conference on Health Information Science
Year:
2013

Citing 4
Cited 0

Secure computing: threats and safeguards

Secure computing: threats and safeguards
C2 secure database management systems—a comparative study

Proceedings of the 1999 ACM symposium on Applied computing
A security domain model to assess software for exploitable covert channels

Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
A security policy model for clinical information systems

SP'96 Proceedings of the 1996 IEEE conference on Security and privacy

Quantified Score

Hi-index	0.00

Visualization

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.