澳门特别行政区科学技术发展基金(0132010A)
- 作品数：5 被引量：5H指数：2
- 相关作者：李磊翟浩良韩道军高洁夏兰亭更多>>
- 相关机构：中山大学吉林大学河南大学更多>>
- 发文基金：澳门特别行政区科学技术发展基金中国博士后科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于情景演算的动态访问控制模型被引量：2
- 2012年
- 访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等),但在应用时受到了扩展元素的限制,并且已有的大部分模型无法描述授权的动态变化过程。针对以上问题,提出了一种基于情景演算的动态访问控制模型(SCDAC)。SCDAC用逻辑事实和规则来描述访问控制属性和策略,把授权在某一时刻的状态(逻辑事实和规则集合)看作一个情景,通过动作来实现情景的变化,同时刻画了动作执行的前提条件和后续状态的变化情况。最后通过一个实例说明了用SCDAC来描述授权状态的动态变化是可行的。
- 翟浩良韩道军李磊
- 关键词：访问控制模型情景演算
- 基于不确定性动作模型学习理论的软件需求获取方法
- 2012年
- 目前,软件系统已逐渐成为日常生活中不可缺少的组成部分。利用人工智能的方法进行软件需求获取,可以在短时间内自动获取软件需求,有利于避免人为的理解偏差以及节省人力时间成本。为了解决软件需求的自动获取问题,利用智能规划与机器学习的方法,将需求领域转化为部分规划域,并建立了具有不确定性效果的动作模型学习算法AMLCP。应用该算法,可以获得完整规划域以及需求规格说明。
- 高洁卓汉魁李磊
- 关键词：知识获取
- 基于属性和主体、操作和客体分层描述的逻辑授权语言被引量：2
- 2012年
- 安全策略是访问控制的核心,安全策略的描述、验证和执行离不开授权语言。在实际应用中,安全需求具有复杂性和动态性的特点,而现有的授权语言不能很好地适应这一特点,并不能对多种访问控制策略提供足够的支持。提出了一种基于属性和主体、操作和客体分层描述的逻辑授权语言(SOOSAL)。SOOSAL以一阶逻辑为基础,通过谓词对主体、客体和操作进行刻画,并以分层的方式通过规则对主体、操作和客体之间的关系进行描述。此外,SOOSAL从逻辑语义世界假设的角度对现实世界中的策略进行了分类:封闭性世界策略和开放性世界策略,并对这两种策略的安全性进行了讨论,给出安全性问题的简单解决方案。实例结果表明,SOOSAL具有较强的策略描述能力,能更好地实现策略的动态变化,并对不同的安全需求和授权原则提供良好的支持。
- 翟浩良夏兰亭李磊
- 关键词：逻辑
- 一种基于主体可信度的联合辩论框架
- 2011年
- 辩论框架是计算机利用辩论机制来解决实际问题的基础,如商务谈判、法律纠纷和劳动争议等。传统的辩论框架对辩论机制和论证方法作了具体的形式化描述,但忽略了辩论主体及其对辩论结果影响的描述,而且在辩论过程中一个论点通常需要多个论据的联合论证。针对以上问题,在传统辩论框架的基础上,提出了一种基于主体可信度的联合辩论框架(STUAF)。首先引入了辩论主体的概念,并对观点和论据之间的联合论证进行形式化定义;其次给出了完整的框架结构和语义描述,证明了该辩论框架满足Dung提出的标准辩论框架的基本定理;然后结合辩论树给出了语义计算的算法;最后给出一个具体的应用实例,实例分析表明STUAF及其语义算法是有效的。
- 翟浩良韩道军李磊
- 关键词：辩论
- 基于智能规划的界面自动生成方法研究被引量：1
- 2015年
- 将智能规划方法引入到软件工程中的界面设计与开发领域,提出了一种基于智能规划的界面自动生成方法。应用该方法进行界面设计,可以较好地实现界面设计与代码实现的分离,降低程序的耦合度,并且可以明确界面间的逻辑关系,使开发者可以不用通过手动编程来实现界面先后调用的逻辑顺序。实践证明,该方法可以大大降低界面开发者的工作强度,缩短软件开发周期,节约开发成本。
- 高洁王玞李磊
- 关键词：软件开发界面自动生成
