-
题名面向云存储的基于属性加密的多授权中心访问控制方案
被引量：40
- 1
-
-
作者
关志涛
杨亭亭
徐茹枝
王竹晓
-
机构
华北电力大学控制与计算机工程学院
-
出处
《通信学报》
EI
CSCD
北大核心
2015年第6期116-126,共11页
-
基金
国家自然科学基金资助项目(61402171
61300132)
中央高校面上基金资助项目(JB2014075)~~
-
文摘
已有基于属性加密的访问控制研究多是基于单授权中心来实现,该种方案在授权方不可信或遭受恶意攻击的情况下可能会造成密钥泄露。提出一种基于属性加密的多授权中心访问控制模型PRM-CSAC。基于CP-ABE方法,设计多授权中心的属性加密方案以提高密钥安全性;设计最小化属性分组算法,使用户访问文件时,能够按需分配密钥,减少不必要的属性密钥分配,降低重加密属性数量,提高系统效率;增加读写属性加强加密方对文件的访问控制,使访问控制策略更加完善。安全性分析及仿真实验表明,相比已有方案,PRM-CSAC对用户访问请求的响应时间更短,开销较小,且能够提供很高的安全性。
-
关键词
云存储
多授权中心
访问控制
CP-ABE
-
Keywords
cloud storage
multi-authority
access control
CP-ABE
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于深度Q网络的电力工控网络异常检测系统
被引量：8
- 2
-
-
作者
王竹晓
张彭彭
李为
吴克河
崔文超
程瑞
-
机构
华北电力大学
-
出处
《计算机与现代化》
2019年第12期114-118,共5页
-
基金
国家电网公司科技项目(521304190004)
-
文摘
电力是指以电能作为动力的能源,完整的电力系统包括发电、输电、变电、配电和用电等环节。电力是关系国计民生的基础产业,电力供应和安全事关国家安全战略,事关经济社会发展全局。工业自动化和控制系统(简称“工控”)作为电力的感官和中枢神经系统,确保其网络安全,使其始终处于稳定可靠运行状态,对于保障电力安全运营至关重要。由于大部分网络都是高度互联的,因此都易受到网络攻击的威胁。虽然基于网络的入侵检测系统可以将入侵警告和安全响应进行很好的结合,但是随着技术的不断发展,攻击变得越来越普遍且难以检测,其中逃逸技术就是这类技术的一个代表,它可以通过伪装修改网络数据流以此来逃避入侵检测系统的检测。结合所学知识和电力工控网络的特点,提出一种基于深度强化学习的电力工控网络入侵检测系统,深度强化学习的算法融合神经网络和Q-learning的方法来对网络中的异常现象进行训练,通过训练使系统能及时地检测出入侵行为并发出警告。
-
关键词
电力工控网络
网络入侵
神经网络
DQN
-
Keywords
electric power industrial control network
network intrusion
neural network
DQN
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名持久性框架模式及其在J2EE系统开发中的应用
被引量：4
- 3
-
-
作者
王竹晓
殷兆麟
邵安贤
吴绍伟
-
机构
中国矿业大学计算机科学与技术学院
-
出处
《计算机与现代化》
2006年第8期49-51,65,共4页
-
文摘
首先对J2EE平台及持久性框架模式的特点进行了介绍和分析,然后用一个持久性框架系统的原型来说明如何用数据持久性模式开发J2EE应用系统。
-
关键词
持久性框架
J2EE
数据访问对象模式
值对象模式
SERVICE
Locator模式
会话BEAN
-
Keywords
persistence framework
J2EE
DAO
VO
service locator
session bean
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于结构相似性的语义网信息检索
被引量：2
- 4
-
-
作者
王竹晓
殷兆麟
张凝
渠本哲
邢宝燕
-
机构
中国矿业大学计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第13期2438-2440,2445,共4页
-
文摘
语义网是提高网络信息检索质量的重要途径。利用现在流行的Web信息检索系统,扩展其处理语义Web文档中的语义评注的能力,采用更有效的文档分类算法,将语义Web文档组织成蔟,提高检索质量。介绍的算法与标准的基于图匹配算法相比,计算代价降低,便于后续的存储、抽取和处理等工作。
-
关键词
语义网
信息检索
XML/XSL/RDF
相似方法
-
Keywords
semantic web
information retrieval
XML/XSL/RDF
similarity measures
-
分类号
TP391.3
[自动化与计算机技术—计算机应用技术]
-
-
题名一种网格工作流的认证服务模型
被引量：1
- 5
-
-
作者
张凝
姜利群
王竹晓
-
机构
中国矿业大学计算机学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第23期4510-4512,4515,共4页
-
文摘
在网格环境中,任务执行时需要有特定权限才能完成。用户需要拥有足够的权限才能完成任务,如果赋予权限不足,任务就无法被完成;权限过大,又容易产生安全威胁。有限委任就是针对特定任务、特定用户指定一个适当的权限,这样才能确保网格中的安全认证体系。在分析了现有认证服务体系的缺陷和不足后,提出了一种认证服务模型,该模型在一个任务的执行过程中,在不同阶段为不同的经办人分配具体权限,从而确保任务能被安全地完成。
-
关键词
网格工作流
认证服务
网格安全
有限授权
访问控制
-
Keywords
grid workflow
authorization service
grid security
restricted delegation
access control
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名以结点为中心的WordNet子图的可视化
- 6
-
-
作者
张丽丽
殷兆麟
张爱娟
王竹晓
-
机构
中国矿业大学计算机科学与技术学院
-
出处
《微电子学与计算机》
CSCD
北大核心
2006年第10期159-161,共3页
-
文摘
WordNet是一种典型的本体形式,在语义网、信息处理中有广阔的应用前景。文章描述了从WordNet抽取RDF子图,并通过结点为中心的方法清晰地使子图可视化。抽取算法利用预处理和创建大的跨引用索引,大大提高了运行速度。
-
关键词
WORDNET
子图抽取
推理机制
可视化
SVG
-
Keywords
Wordnet, Extracting of wordNet subgraph, Inference mechanism, Visualization, SVG
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于动态描述逻辑的网构软件系统故障诊断
被引量：4
- 7
-
-
作者
王竹晓
杨鲲
史忠植
-
机构
中国科学院计算技术研究所智能信息处理重点实验室
中国科学院研究生院
-
出处
《软件学报》
EI
CSCD
北大核心
2010年第2期248-260,共13页
-
基金
国家自然科学基金No.60775035
国家高技术研究发展计划(863)No.2007AA01Z132
+2 种基金
国家重点基础研究发展计划(973)Nos.2003CB317004
2007CB311004
国家科技支撑计划No.2006BAC08B06~~
-
文摘
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.
-
关键词
故障诊断
网构软件
动态描述逻辑
可信软件
离散事件系统
-
Keywords
failure diagnosis
Intemetware
dynamic description logic
trustworthy software
discrete-event system
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名语义Web服务组合中的服务建模及规划算法
被引量：2
- 8
-
-
作者
万长林
陈立民
王竹晓
王文杰
史忠植
-
机构
中国科学院计算技术研究所智能信息处理重点实验室
中国科学院研究生院
-
出处
《智能系统学报》
2009年第6期490-496,共7页
-
基金
国家自然科学基金资助项目(60775035
60970088)
+4 种基金
国家"863"计划资助项目(2007AA01Z132)
国家"973"计划资助项目(2003CB317004
2007CB311004)
国家科技支撑计划资助项目(2006BAC08B06)
中国科学院研究生院院长基金资助项目(O85101JM03)
-
文摘
Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.
-
关键词
语义WEB
动态描述逻辑
自动服务组合
-
Keywords
semantic Web
dynamic description logic
onogy
automated service composition
-
分类号
TP393.09
[自动化与计算机技术—计算机应用技术]
-
-
题名动态描述逻辑推理的并行计算技术
被引量：3
- 9
-
-
作者
王竹晓
胡宏
陈立民
史忠植
-
机构
中国科学院计算技术研究所智能信息处理重点实验室
中国科学院研究生院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第12期2317-2325,共9页
-
基金
国家自然科学基金项目(60775035)
国家"八六三"高技术研究发展计划基金项目(2007AA01Z132)
+2 种基金
国家"九七三"重点基础研究发展计划基金项目(2003CB317004
2007CB311004)
国家科技支撑计划基金项目(2006BAC08B06)
-
文摘
在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果.
-
关键词
并行推理
动态描述逻辑
分布式动态描述逻辑
表算法
推理引擎
-
Keywords
parallel reasoning
dynamic description logics
distributed dynamic description logics
tableau algorithm
inference engine
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于动态描述逻辑的Web服务自动组合技术
被引量：3
- 10
-
-
作者
陈立民
王竹晓
史忠植
-
机构
中国科学院智能信息处理重点实验室
中国科学院研究生院
-
出处
《高技术通讯》
CAS
CSCD
北大核心
2011年第1期58-64,共7页
-
基金
国家自然科学基金（60775035）,863计划（2007AA01Z132）,973计划（2007CB311004）和国家科技支撑计划（2006BAC08B06）资助项目.
-
文摘
提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中涉及的静态知识（如描述逻辑知识库刻画的领域公理、具体环境和用户需求等）和动态知识（DDL中动作刻画的Web服务的功能），将Web服务组合的问题归约为DDL公式的可满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D—ALCHOQ的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。
-
关键词
WEB服务
Web服务自动组合wsc)
语义WEB
描述逻辑(DL)
动态描述逻辑
(DDL)
-
Keywords
Web services, automatic Web service composition （WSC）, semantic Web, description logic （DL）, dynamic description logic （DDL）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
