Modeling and Validating the Clinical Information Systems Policy Using Alloy

Haraty, Ramzi A.; Naous, Mirna

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