• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Artificial Intelligence IC-AI'2000 Vol.3, Jun 26-29, 2000, Las Vegas, Nevada, USA >Security Policy Specification in Logic
【24h】

Security Policy Specification in Logic

机译：逻辑安全策略规范

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We show how clausal form logic may be used to protect the information contained in a computer system from unauthorized disclosure and modification. More specifically, we show how security policies based on discretionary access control (DAC) and mandatory access control (MAC) may be viewed as special subtheories of a clausal form theory which formulates a role-based access control (RBAC) policy. In this context, theorem-proving techniques are used to decide whether requests to access information are authorized or not.
机译：我们展示了子句形式逻辑可如何用于保护计算机系统中包含的信息免于未经授权的披露和修改。更具体地说，我们展示了如何将基于酌情访问控制（DAC）和强制性访问控制（MAC）的安全策略看作是克劳形式理论的特殊子理论，该子理论制定了基于角色的访问控制（RBAC）策略。在这种情况下，使用定理证明技术来确定是否授权访问信息的请求。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号