2013 IEEE Symposium on Computers and Communications (ISCC 2013)

Haraty, Ramzi A.; Naous, Mirna

2013 IEEE Symposium on Computers and Communications (ISCC 2013)

Title: 2013 IEEE Symposium on Computers and Communications (ISCC 2013);
Role-Based Access Control Modeling and Validation

Haraty, Ramzi A.; Naous, Mirna; SAS; 199729410; Computer Science and Mathematics; rharaty@lau.edu.lb; Lebanese American University

URI: http://hdl.handle.net/10725/7010

URL: http://ieeexplore.ieee.org/abstract/document/6754925/

DOI: http://dx.doi.org/10.1109/ISCC.2013.6754925

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 security aspect of commercial security applications by exploring the nature and scope of the famous security policy - the Role Based Access Control Policy. We model it and check its consistency using the Alloy Analyzer.

Citation:

Haraty, R. A., & Naous, M. (2013, July). Role-based access control modeling and validation. In Computers and Communications (ISCC), 2013 IEEE Symposium on (pp. 000061-000066). IEEE.