Modeling and validating the class security model using alloy

LAUR Repository

Show simple item record

dc.contributor.author Haraty, Ramzi A.
dc.contributor.author Boss, Nancy
dc.contributor.author Mourad, Azzam
dc.contributor.author Allaham, Mohamad Mowafek
dc.date.accessioned 2018-08-17T11:23:41Z
dc.date.available 2018-08-17T11:23:41Z
dc.date.copyright 2013 en_US
dc.date.issued 2018-08-17
dc.identifier.isbn 9781880843932 en_US
dc.identifier.uri http://hdl.handle.net/10725/8358
dc.description.abstract Formalizing security models provide system designers and security engineers with evidence that they are constructing a consistent system that will meet the specifications as implemented. While it would be difficult to formalize every security model that has ever been developed or proposed, we present formal approving to ascertain secrecy properties of the Class Security Model. We use the Alloy language and analyzer for this formalism. We present the five model descriptions and show consistency proofs. en_US
dc.language.iso en en_US
dc.title Modeling and validating the class security model 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.idnumber 200904843 en_US
dc.author.department Computer Science and Mathematics en_US
dc.description.embargo N/A en_US
dc.keywords Alloy en_US
dc.keywords Confidentiality en_US
dc.keywords Integrity en_US
dc.keywords Object oriented policies en_US
dc.keywords Modeling and validating en_US
dc.identifier.ctation Haraty, R. A., Boss, N., Mourad, A., & Allaham, M. M. (2013). Modeling and Validating the Class Security Model Using Alloy. en_US
dc.author.email rharaty@lau.edu.lb en_US
dc.author.email azzam.mourad@lau.edu.lb en_US
dc.conference.date 25-27 September 2013 en_US
dc.conference.pages 53-58 en_US
dc.conference.place Los Angeles, California, USA en_US
dc.conference.title 26th International Conference on Computer Applications in Industry and Engineering (CAINE-2013) en_US
dc.identifier.tou http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php en_US
dc.identifier.url http://csm.beirut.lau.edu.lb/~rharaty/pdf/IC9.pdf en_US
dc.orcid.id https://orcid.org/0000-0001-9434-5322 en_US
dc.publication.date 2013 en_US
dc.author.affiliation Lebanese American University en_US

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search LAUR

Advanced Search


My Account