Modeling and Validating the Clinical Information Systems Policy Using Alloy
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 explo...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | conferenceObject |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10725/7009 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://link.springer.com/chapter/10.1007/978-3-642-37899-7_1#enumeration |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513481362898944 |
|---|---|
| author | Haraty, Ramzi A. |
| author2 | Naous, Mirna |
| author2_role | author |
| author_facet | Haraty, Ramzi A. Naous, Mirna |
| author_role | author |
| dc.contributor.none.fl_str_mv | Huang, Guangyan |
| dc.creator.none.fl_str_mv | Haraty, Ramzi A. Naous, Mirna |
| dc.date.none.fl_str_mv | 2013 2018-01-31T14:35:58Z 2018-01-31T14:35:58Z 2018-01-31 |
| dc.identifier.none.fl_str_mv | 9783642378980 http://hdl.handle.net/10725/7009 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. http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://link.springer.com/chapter/10.1007/978-3-642-37899-7_1#enumeration |
| dc.language.none.fl_str_mv | en |
| dc.publisher.none.fl_str_mv | Springer |
| dc.relation.none.fl_str_mv | 7798 |
| dc.rights.*.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.subject.none.fl_str_mv | Medical informatics -- Congresses Medical records -- Data processing -- Congresses Medical records -- Access control -- Congresses |
| dc.title.none.fl_str_mv | Modeling and Validating the Clinical Information Systems Policy Using Alloy Lecture notes in computer science |
| dc.type.none.fl_str_mv | Conference Paper / Proceeding info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/conferenceObject |
| description | 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. |
| eu_rights_str_mv | openAccess |
| format | conferenceObject |
| id | LAURepo_7a4e105b60fc53347b3ad31385cab513 |
| identifier_str_mv | 9783642378980 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. |
| language_invalid_str_mv | en |
| network_acronym_str | LAURepo |
| network_name_str | Lebanese American University repository |
| oai_identifier_str | oai:laur.lau.edu.lb:10725/7009 |
| publishDate | 2013 |
| publisher.none.fl_str_mv | Springer |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | Modeling and Validating the Clinical Information Systems Policy Using AlloyLecture notes in computer scienceHaraty, Ramzi A.Naous, MirnaMedical informatics -- CongressesMedical records -- Data processing -- CongressesMedical records -- Access control -- CongressesInformation 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.N/Axiii, 280 pages : illustrationsIncludes bibliographical referencesSpringerHuang, Guangyan2018-01-31T14:35:58Z2018-01-31T14:35:58Z20132018-01-31Conference Paper / Proceedinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObject9783642378980http://hdl.handle.net/10725/7009Haraty, 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.http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.phphttps://link.springer.com/chapter/10.1007/978-3-642-37899-7_1#enumerationen7798info:eu-repo/semantics/openAccessoai:laur.lau.edu.lb:10725/70092021-03-19T10:43:19Z |
| spellingShingle | Modeling and Validating the Clinical Information Systems Policy Using Alloy Haraty, Ramzi A. Medical informatics -- Congresses Medical records -- Data processing -- Congresses Medical records -- Access control -- Congresses |
| status_str | publishedVersion |
| title | Modeling and Validating the Clinical Information Systems Policy Using Alloy |
| title_full | Modeling and Validating the Clinical Information Systems Policy Using Alloy |
| title_fullStr | Modeling and Validating the Clinical Information Systems Policy Using Alloy |
| title_full_unstemmed | Modeling and Validating the Clinical Information Systems Policy Using Alloy |
| title_short | Modeling and Validating the Clinical Information Systems Policy Using Alloy |
| title_sort | Modeling and Validating the Clinical Information Systems Policy Using Alloy |
| topic | Medical informatics -- Congresses Medical records -- Data processing -- Congresses Medical records -- Access control -- Congresses |
| url | http://hdl.handle.net/10725/7009 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://link.springer.com/chapter/10.1007/978-3-642-37899-7_1#enumeration |