Towards realizing a formal RBAC model in real systems Export

@inproceedings{Ahn07, abstract = {There still exists an open question on how formal models can be fully realized in the system development phase. The Model Driven Development (MDD) approach has been recently introduced to deal with such a critical issue for building high assurance software systems.}, address = {New York, NY, USA}, author = {Ahn, Gail-Joon and Hu, Hongxin}, booktitle = {SACMAT '07: Proceedings of the 12th ACM symposium on Access control models and technologies}, citeulike-article-id = {5649839}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1266875}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1266840.1266875}, doi = {10.1145/1266840.1266875}, isbn = {978-1-59593-745-2}, keywords = {2007, access-control, model-driven, role-based-access-control, security}, location = {Sophia Antipolis, France}, pages = {215--224}, posted-at = {2009-08-26 10:35:57}, priority = {2}, publisher = {ACM}, title = {Towards realizing a formal RBAC model in real systems}, url = {http://dx.doi.org/10.1145/1266840.1266875}, year = {2007} }

TY - CONF ID - Ahn07 L3 - citeulike-article-id:5649839 N2 - There still exists an open question on how formal models can be fully realized in the system development phase. The Model Driven Development (MDD) approach has been recently introduced to deal with such a critical issue for building high assurance software systems. CY - Sophia Antipolis, France SN - 978-1-59593-745-2 AD - New York, NY, USA EP - 224 TI - Towards realizing a formal RBAC model in real systems PB - ACM T2 - SACMAT '07: Proceedings of the 12th ACM symposium on Access control models and technologies SP - 215 KW - 2007 KW - access-control KW - model-driven KW - role-based-access-control KW - security AU - Ahn, Gail-Joon AU - Hu, Hongxin PY - 2007/// UR - http://dx.doi.org/10.1145/1266840.1266875 ER -