首页> 外文会议>Advances in databases and information systems >Modularisation in Maude of Parametrized RBAC for Row Level Access Control
【24h】

Modularisation in Maude of Parametrized RBAC for Row Level Access Control

机译:用于行级访问控制的参数化RBAC在Maude中的模块化

获取原文
获取原文并翻译 | 示例

摘要

We formalize a Parametrized Role-Based Access Control in the language Maude. We demonstrate how this formalization can be used to specify a row level access control policy in a database and how module algebra capabilities of Maude assist in modularization of such specification.
机译:我们以Maude语言形式化了基于参数的基于角色的访问控制。我们将演示如何使用这种形式化来指定数据库中的行级访问控制策略,以及Maude的模块代数功能如何协助此类规范的模块化。

著录项

  • 来源
  • 会议地点 Vienna(AT);Vienna(AT)
  • 作者单位

    Department of Theoretical Physics and Informatics Faculty of Physics and Applied Informatics University of Lodz;

    Department of Theoretical Physics and Informatics Faculty of Physics and Applied Informatics University of Lodz;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 TP311.13;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号