{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:40Z","timestamp":1725566860918},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_41","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T08:43:26Z","timestamp":1130921006000},"page":"537-552","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Jaime","family":"Pavlich-Mariscal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Michel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Demurjian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"Bell, D., LaPadula, L.: Secure computer systems: Mathematical foundations model. Technical report, Mitre Corporation (1975)"},{"key":"41_CR2","unstructured":"Biba, K.: Integrity considerations for secure computer systems. Technical report, Mitre Corporation (1977)"},{"key":"41_CR3","unstructured":"DoD: Trusted Computer System Evaluation Criteria. 5200.28-STD. DoD (1985)"},{"key":"41_CR4","unstructured":"Ting, T.C.: A user-role based data security approach. In: Landwehr, C. (ed.) Database Security: Status and Prospects (1988)"},{"key":"41_CR5","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer\u00a029, 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"41_CR6","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/501978.501980","volume":"4","author":"D.F. Ferraiolo","year":"2001","unstructured":"Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST standard for role-based access control. ACM Trans. Inf. Syst. Secur.\u00a04, 224\u2013274 (2001)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Doan, T., Demurjian, S., Ting, T., Phillips, C.: RBAC\/MAC security for UML. In: Farkas, C., Samarati, P. (eds.) Research Directions in Data and Applications Security XVIII (2004)","DOI":"10.1007\/1-4020-8128-6_13"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Doan, T., Demurjian, S., Ting, T., Ketterl, A.: MAC and UML for secure software design. In: Proc. of 2nd ACM Wksp. on Formal Methods in Security Engineering, Washington D.C. (2004)","DOI":"10.1145\/1029133.1029144"},{"key":"41_CR9","unstructured":"Doan, T., Demurjian, S., Ammar, R., Ting, T.: UML design with security integration as a first class citizen. In: Proc. of 3rd Intl. Conf. on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA 2004), Cairo (2004)"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Pavlich-Mariscal, J.A., Doan, T., Michel, L., Demurjian, S.A., Ting, T.C.: Role slices: A notation for rbac permission assignment and enforcement. In: Proceedings of 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (2005)","DOI":"10.1007\/11535706_4"},{"key":"41_CR11","unstructured":"Clarke, S.: Composition of object-oriented software design models. PhD thesis, Dublin City University (2001)"},{"key":"41_CR12","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, CS Department, University of Aarhus (1981)"},{"key":"41_CR13","unstructured":"Ferraiolo, D., Kuhn, R.: Role-based access controls. In: 15th NIST-NCSC National Computer Security Conference, pp. 554\u2013563 (1992)"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Ferraiolo, D., Kuhn, R.: The NIST model for role-based access control: Towards a unified standard, pp. 47\u201364 (2000)","DOI":"10.1145\/344287.344301"},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Demurjian, S.A., Ting, T.C.: Towards a definitive paradigm for security in objectoriented systems and applications. Journal of Computer Security\u00a05 (1997)","DOI":"10.3233\/JCS-1997-5404"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Phillips, C., Demurjian, S., Ting, T.: Security assurance for an rbac\/mac security model. In: Proc. of 2003 IEEE Info. Assurance Workshop, West Point, NY (2003)","DOI":"10.1109\/SMCSIA.2003.1232431"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Phillips, C., Demurjian, S., Ting, T.C.: Safety and liveness for an rbac\/mac security model. In: di Vimercati, S., Ray, I. (eds.) Database and Applications Security XVII: Status and Prospects (2004)","DOI":"10.1007\/1-4020-8070-0_23"},{"key":"41_CR18","unstructured":"AspectJ-Team: The aspectj programming guide, http:\/\/dev.eclipse.org\/viewcvs\/indextech.cgi\/checkout\/aspectj-home\/doc\/progguide\/index.html (2003)"},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Song, E., Reddy, R., France, R., Ray, I., Georg, G., Alexander, R.: Verifiable composition of access control features and applications. In: Proceedings of 10th ACM Symposium on Access Control Models and Technologies, SACMAT 2005 (2005)","DOI":"10.1145\/1063979.1064001"},{"key":"41_CR20","first-page":"125","volume-title":"Proceedings of the IFIP TC11 WG11.4 First Annual Working Conference on Network Security","author":"B.D. Win","year":"2001","unstructured":"Win, B.D., Vanhaute, B., Decker, B.D.: Security through aspect-oriented programming. In: Proceedings of the IFIP TC11 WG11.4 First Annual Working Conference on Network Security, pp. 125\u2013138. Kluwer, Dordrecht (2001)"},{"key":"41_CR21","doi-asserted-by":"crossref","unstructured":"Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. In: Leavens, G.T., Cytron, R. (eds.) FOAL 2002 Proceedings (2002)","DOI":"10.1007\/3-540-44806-3_3"},{"key":"41_CR22","doi-asserted-by":"crossref","unstructured":"Epstein, P., Sandhu, R.: Towards a uml based approach to role engineering. In: Proceedings of the fourth ACM workshop on Role-based access control, pp. 135\u2013143 (1999)","DOI":"10.1145\/319171.319184"},{"key":"41_CR23","unstructured":"Basin, D., Doser, J., Lodderstedt, T.: Model driven security, Engineering Theories of Software Intensive Systems (2004)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T07:39:39Z","timestamp":1683272379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11557432_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}