于海波

作品数：5被引量：7H指数：2
导出分析报告
供职机构：吉林大学计算机科学与技术学院更多>>
发文主题：描述逻辑授权规则冲突消解消解算法WEB本体语言更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》《计算机研究与发展》《计算机应用研究》《计算机科学》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家教育部“985工程”更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个安全的基于任务描述的移动代理系统
《计算机应用研究》2007年第3期152-156,193,共6页车海燕 李大利 金淳兆 于海波 
吉林大学"985工程"资助项目
为解决移动代理技术中的安全问题提出了一种全新的基于任务描述的移动代理定义和实现方法,据此设计并实现了一个安全的移动代理系统。该系统通过中介/管理Agency统一派发代理,借鉴Java 2安全模型进行本地资源保护,利用信任模型管理并调...
关键词：移动代理 安全 任务描述 中介/管理Agency 信任模型 
一种RB-RBAC模型规则冲突消解算法被引量：1
《计算机工程与应用》2006年第36期59-62,共4页于海波 车海燕 吕巍 
"吉林大学985工程"项目资助
RB-RBAC(Rule-Based RBAC)模型克服了RBAC模型的一些局限,提供了基于用户属性自动指派角色的机制。RB-RBAC模型允许进行否定授权,可能在进行授权的过程中出现冲突。在研究RB-RBAC模型冲突规则间关系的基础上,提出了一种基于否定优先的...
关键词：RB-RBAC 授权冲突 冲突消解 
基于OWL的RB-RBAC策略定义和推理被引量：2
《吉林大学学报（理学版）》2006年第5期754-759,共6页于海波 谢琦 吕巍 
国家自然科学基金(批准号:60373098);吉林大学"985"工程项目基金
提出一种基于本体对RB-RBAC策略进行定义的方法,该方法能定义复杂的属性表达式,并支持多种属性值类型,可以在策略中直接定义属性值间的偏序关系和角色间的层次关系.具有不同语法结构的属性表达式也可以比较,以发现不同授权规则间可能存...
关键词：WEB本体语言 RB-RBAC模型 授权策略 属性表达式 
基于描述逻辑的RB-RBAC授权规则冲突检测方法被引量：4
《计算机科学》2006年第10期101-105,共5页于海波 车海燕 金淳兆 
国家自然科学基金项目(60173006);国家高技术研究发展计划项目(2003AA118020);"吉林大学‘985’工程"项目。
RB-RBAC(Rule-BasedRBAC)模型克服了RBAC模型的一些局限,提供了基于用户属性自动指派角色的机制。为了检测RB-RBAC模型的策略冲突,提出了一种基于描述逻辑的RB-RBAC模型的形式化方法,在此基础上提出了一种检测有关规则间冲突的方法、一...
关键词：RB-RBAC 描述逻辑 授权规则 策略冲突 冲突检测 
一种用描述逻辑刻画多代理系统规约的方法
《计算机研究与发展》2006年第z1期34-40,共7页车海燕 孙吉贵 于海波 
国家自然科学基金项目(60473003);中国高等教育博士生计划研究基金项目(20050183065)
支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑...
关键词：多代理系统 描述逻辑 知识表示 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部