• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP WG 12.5 International workshops on artificial intelligence applications and innovations;Mining Humanistic Data Workshop;Workshop on 5G-Putting Intelligence to the Network Edge >Ontological Foundations of Modelling Security Policies for Logical Analytics
【24h】

Ontological Foundations of Modelling Security Policies for Logical Analytics

机译：逻辑分析安全策略建模的本体论基础

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Modelling of knowledge and actions in AI has advanced over the years but it is still a challenging topic due to the infamous frame problem, the inadequate formalization and the lack of automation. Some problems in cyber security such as logical vulnerability, risk assessment, policy validation etc. still require formal approach. In this paper we present the foundations of a new formal framework to address these challenges. Our approach is based on three-level formalisation: ontological, logical and analytical levels. Here we are presenting the first two levels which allow to model the security policies and provide a practical solution to the frame problem by efficient utilization of parameters as side effects. Key concepts are the situations, actions, events and rules. Our framework has potential use for analysis of a wide range of transactional systems within the financial, commercial and business domains and further work will include analytical level where we can perform vulnerability analysis of the model.
机译：多年来，人工智能中的知识和动作建模已经取得了进步，但是由于臭名昭著的框架问题，形式化不足和缺乏自动化，这仍然是一个具有挑战性的话题。网络安全中的某些问题，例如逻辑漏洞，风险评估，策略验证等，仍需要采取正式措施。在本文中，我们介绍了应对这些挑战的新正式框架的基础。我们的方法基于三个层次的形式化：本体，逻辑和分析层次。在这里，我们介绍了前两个级别，这些级别允许对安全策略进行建模并通过有效利用参数的副作用为框架问题提供实用的解决方案。关键概念是情况，动作，事件和规则。我们的框架可潜在地用于分析金融，商业和商业领域中的各种交易系统，并且进一步的工作将包括分析级别，在该级别我们可以执行模型的漏洞分析。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号