{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:36:05Z","timestamp":1753889765687,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T00:00:00Z","timestamp":1199836800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/assumed-1991-2003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We study mechanisms that permit program components to express role\nconstraints on clients, focusing on programmatic security mechanisms, which\npermit access controls to be expressed, in situ, as part of the code realizing\nbasic functionality. In this setting, two questions immediately arise: (1) The\nuser of a component faces the issue of safety: is a particular role sufficient\nto use the component? (2) The component designer faces the dual issue of\nprotection: is a particular role demanded in all execution paths of the\ncomponent? We provide a formal calculus and static analysis to answer both\nquestions.<\/jats:p>","DOI":"10.2168\/lmcs-4(1:2)2008","type":"journal-article","created":{"date-parts":[[2008,6,3]],"date-time":"2008-06-03T13:25:50Z","timestamp":1212499550000},"source":"Crossref","is-referenced-by-count":2,"title":["Lambda-RBAC: Programming with Role-Based Access Control"],"prefix":"10.46298","volume":"Volume 4, Issue 1","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"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8731-1463","authenticated-orcid":false,"given":"James","family":"Riely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2008,1,9]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1195\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1195\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:05:41Z","timestamp":1681243541000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.2168\/lmcs-4(1:2)2008","relation":{"is-same-as":[{"id-type":"arxiv","id":"0712.1205","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.0712.1205","asserted-by":"subject"}],"is-referenced-by":[{"id-type":"doi","id":"10.1109\/csf.2008.27","asserted-by":"subject"},{"id-type":"doi","id":"10.1145\/1890028.1890031","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2008,1,9]]},"article-number":"1195"}}