首页> 外文会议>East-European Conference on 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摩尔的模块化,用于行级访问控制

获取原文

摘要

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 speci heation.
机译:我们正规化a。基于参数化的基于角色的访问控制在语言Maude中。我们展示了如何使用该形式化在数据库中指定行级别访问控制策略以及Maude的模块代数能力如何协助这种规格加热的模块化。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号