Modeling and Validating the Clinical Information Systems Policy Using Alloy

LAUR Repository

Show simple item record

dc.contributor.author Haraty, Ramzi A.
dc.contributor.author Naous, Mirna
dc.contributor.editor Huang, Guangyan
dc.date.accessioned 2018-01-31T14:35:58Z
dc.date.available 2018-01-31T14:35:58Z
dc.date.copyright 2013 en_US
dc.date.issued 2018-01-31
dc.identifier.isbn 9783642378980 en_US
dc.identifier.uri http://hdl.handle.net/10725/7009
dc.description.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. en_US
dc.language.iso en en_US
dc.publisher Springer en_US
dc.subject Medical informatics -- Congresses en_US
dc.subject Medical records -- Data processing -- Congresses en_US
dc.subject Medical records -- Access control -- Congresses en_US
dc.title Modeling and Validating the Clinical Information Systems Policy Using Alloy en_US
dc.type Conference Paper / Proceeding en_US
dc.author.school SAS en_US
dc.author.idnumber 199729410 en_US
dc.author.department Computer Science and Mathematics en_US
dc.description.embargo N/A en_US
dc.description.physdesc xiii, 280 pages : illustrations en_US
dc.publication.place Heidelberg en_US
dc.keywords Clinical Information Systems Model en_US
dc.keywords Consistency en_US
dc.keywords Integrity en_US
dc.description.bibliographiccitations Includes bibliographical references en_US
dc.identifier.ctation 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. en_US
dc.author.email rharaty@lau.edu.lb en_US
dc.conference.date March 25-27, 2013 en_US
dc.conference.pages 1-17 en_US
dc.conference.place London, UK en_US
dc.conference.subtitle second International Conference, HIS 2013, London, UK, March 25-27, 2013: proceedings en_US
dc.conference.title Health information science en_US
dc.identifier.tou http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php en_US
dc.identifier.url https://link.springer.com/chapter/10.1007/978-3-642-37899-7_1#enumeration en_US
dc.orcid.id https://orcid.org/0000-0002-6978-3627 en_US
dc.publication.date 2013 en_US
dc.author.affiliation Lebanese American University en_US
dc.relation.numberofseries 7798 en_US
dc.title.volume Lecture notes in computer science en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search LAUR

Advanced Search


My Account