{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:53Z","timestamp":1725543653985},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359074"},{"type":"electronic","value":"9783540359081"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787006_39","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T23:23:09Z","timestamp":1151536989000},"page":"456-467","source":"Crossref","is-referenced-by-count":0,"title":["\u03bb-RBAC: Programming with Role-Based Access Control"],"prefix":"10.1007","author":[{"given":"Radha","family":"Jagadeesan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Jeffrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corin","family":"Pitcher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"39_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0956796804005428","volume":"15","author":"M. Abadi","year":"2005","unstructured":"Abadi, M., Morrisett, G., Sabelfeld, A.: Language-based security. J. Funct. Program.\u00a015(2), 129 (2005)","journal-title":"J. Funct. Program."},{"issue":"4","key":"39_CR2","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM TOPLAS\u00a015(4), 575\u2013631 (1993)","journal-title":"ACM TOPLAS"},{"issue":"4","key":"39_CR3","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/950191.950194","volume":"6","author":"S. Barker","year":"2003","unstructured":"Barker, S., Stuckey, P.J.: Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur.\u00a06(4), 501\u2013546 (2003), doi:10.1145\/950191.950194","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"3","key":"39_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1145\/501978.501979","volume":"4","author":"E. Bertino","year":"2001","unstructured":"Bertino, E., Bonatti, P.A., Ferrari, E.: TRBAC: A temporal role-based access control model. ACM Trans. Inf. Syst. Secur.\u00a04(3), 191\u2013233 (2001), doi:10.1145\/501978.501979","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"39_CR5","unstructured":"Boebert, W.E., Kain, R.Y.: A practical alternative to hierarchical integrity policies. In: Proceedings of the Eighth National Computer Security Conference (1985)"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Braghin, C., Gorla, D., Sassone, V.: A distributed calculus for role-based access control. In: CSFW, pp. 48\u201360 (2004)","DOI":"10.1109\/CSFW.2004.1310731"},{"issue":"4","key":"39_CR7","doi-asserted-by":"crossref","first-page":"309","DOI":"10.3233\/FI-1998-33401","volume":"33","author":"M. Brandt","year":"1998","unstructured":"Brandt, M., Henglein, F.: Coinductive axiomatization of recursive type equality and subtyping. Fundam. Inf.\u00a033(4), 309\u2013338 (1998)","journal-title":"Fundam. Inf."},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"Chong, S., Myers, A.C.: Security policies for downgrading. In: ACM Conference on Computer and Communications Security, pp. 198\u2013209 (2004)","DOI":"10.1145\/1030083.1030110"},{"key":"39_CR9","unstructured":"Compagnoni, A., Garralda, P., Gunter, E.: Role-based access control in a mobile environment. In: Symposium on Trustworthy Global Computing (2005)"},{"key":"39_CR10","unstructured":"Ferraiolo, D.F., Kuhn, D.R., Chandramouli, R.: Role-Based Access Control, Artech House. Computer Security Series (2003)"},{"issue":"3","key":"39_CR11","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(3), 224\u2013274 (2001)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Hoffman, J.: Implementing RBAC on a type enforced system. In: 13th Annual Computer Security Applications Conference (ACSAC 1997), pp. 158\u2013163 (1997)","DOI":"10.1109\/CSAC.1997.646185"},{"issue":"2","key":"39_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/383891.383894","volume":"26","author":"S. Jajodia","year":"2001","unstructured":"Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible support for multiple access control policies. ACM Trans. Database Syst.\u00a026(2), 214\u2013260 (2001)","journal-title":"ACM Trans. Database Syst."},{"issue":"1-2","key":"39_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec.\u00a04(1-2), 2\u201316 (2005)","journal-title":"Int. J. Inf. Sec."},{"key":"39_CR15","unstructured":"Loscocco, P.A., Smalley, S.D.: Meeting critical security objectives with Security-Enhanced Linux. In: Proceedings of the 2001 Ottawa Linux Symposium (2001)"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C.: Programming language methods in computer security. In: POPL, pp. 1\u201326 (2001)","DOI":"10.1145\/360204.360205"},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"Myers, A.C., Sabelfeld, A., Zdancewic, S.: Enforcing robust declassification. In: CSFW, pp. 172\u2013186 (2004)","DOI":"10.1109\/CSFW.2004.1310740"},{"issue":"2","key":"39_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/354876.354878","volume":"3","author":"S. Osborn","year":"2000","unstructured":"Osborn, S., Sandhu, R., Munawer, Q.: Configuring role-based access control to enforce mandatory and discretionary access control policies. ACM Trans. Inf. Syst. Secur.\u00a03(2), 85\u2013106 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"1","key":"39_CR19","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/383775.383777","volume":"4","author":"J.S. Park","year":"2001","unstructured":"Park, J.S., Sandhu, R.S., Ahn, G.-J.: Role-based access control on the web. ACM Trans. Inf. Syst. Secur.\u00a04(1), 37\u201371 (2001)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"1","key":"39_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. Selected Areas in Communications\u00a021(1), 5\u201319 (Jan. 2003)","journal-title":"IEEE J. Selected Areas in Communications"},{"key":"39_CR21","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.C.: A model for delimited information release. In: ISSS, pp. 174\u2013191 (2003)","DOI":"10.1007\/978-3-540-37621-7_9"},{"key":"39_CR22","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-based access control models. IEEE Computer\u00a029(2) (1996)","DOI":"10.1109\/2.485845"},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Sandhu, R.S., Park, J.: Usage control: A vision for next generation access control. In: ACM Trans. Inf. Syst. Secur (2004)","DOI":"10.1007\/978-3-540-45215-7_2"},{"key":"39_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-44577-3_6","volume-title":"Informatics\u201410 Years Back, 10 Years Ahead","author":"F.B. Schneider","year":"2001","unstructured":"Schneider, F.B., Morrisett, G., Harper, R.: A language-based approach to security. In: Wilhelm, R. (ed.) Dagstuhl Seminar 2000. LNCS, vol.\u00a02000, pp. 86\u2013101. Springer, Heidelberg (2001)"},{"key":"39_CR25","doi-asserted-by":"crossref","unstructured":"Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement. In: FMSE, pp. 32\u201342 (2003)","DOI":"10.1145\/1035429.1035433"},{"key":"39_CR26","doi-asserted-by":"crossref","unstructured":"Sirer, E.G., Wang, K.: An access control language for web services. In: SACMAT 2002: Proceedings of the seventh ACM symposium on Access control models and technologies, pp. 23\u201330 (2002)","DOI":"10.1145\/507711.507715"},{"key":"39_CR27","unstructured":"Walker, K.M., Sterne, D.F., Badger, M.L., Petkac, M.J., Shermann, D.L., Oostendorp, K.A.: Confining root programs with Domain and Type Enforcement (DTE). In: Proceedings of the Sixth USENIX UNIX Security Symposium (1996)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787006_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:37Z","timestamp":1605643777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787006_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359074","9783540359081"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11787006_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}