首页    期刊浏览 2024年11月09日 星期六
登录注册

文章基本信息

  • 标题:Lambda-RBAC: Programming with Role-Based Access Control
  • 本地全文:下载
  • 作者:Radha Jagadeesan ; Alan Jeffrey ; Corin Pitcher
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2008
  • 卷号:4
  • 期号:01
  • DOI:10.2168/LMCS-4(1:2)2008
  • 出版社:Technical University of Braunschweig
  • 摘要:

    We study mechanisms that permit program components to express role constraints on clients, focusing on programmatic security mechanisms, which permit access controls to be expressed, in situ, as part of the code realizing basic functionality. In this setting, two questions immediately arise: (1) The user of a component faces the issue of safety: is a particular role sufficient to use the component? (2) The component designer faces the dual issue of protection: is a particular role demanded in all execution paths of the component? We provide a formal calculus and static analysis to answer both questions.

  • 关键词:Programming;Static Analysis;Constraints
国家哲学社会科学文献中心版权所有