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...

Full description

Saved in:
Bibliographic Details
Main Author: Haraty, Ramzi A. (author)
Other Authors: Naous, Mirna (author)
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!