工业嵌入式软件开发安全漏洞模式研究 被引量：4

1

作者 高庆 陈静 +1 位作者 许平 张世琨 《信息安全研究》 2022年第6期595-604,共10页

随着工业化和信息化的深度融合,针对工业互联网的安全事件频发,越来越多的攻击者把攻击目标锁定在国家关键基础设施上.近年来,嵌入式软件的规模及复杂程度急剧增大,尤其在国防、轨道交通、汽车、民航以及工业控制等领域的用户对嵌入式... 随着工业化和信息化的深度融合,针对工业互联网的安全事件频发,越来越多的攻击者把攻击目标锁定在国家关键基础设施上.近年来,嵌入式软件的规模及复杂程度急剧增大,尤其在国防、轨道交通、汽车、民航以及工业控制等领域的用户对嵌入式软件质量要求更加严格,要求嵌入式软件更加安全.在收集和分析嵌入式软件安全编码标准的基础上,对嵌入式软件安全漏洞模式进行梳理,提出国内首套比较全面的嵌入式软件开发安全漏洞模式清单,包括嵌入式特有的安全漏洞模式、导致嵌入式系统崩溃或者拒绝服务等严重后果的漏洞模式以及其他缺陷模式.最后,针对这些安全漏洞模式简要介绍了使用这些安全漏洞模式如何保障嵌入式软件安全的静态分析技术,从而在软件开发过程的源头发现安全问题并得到及时解决,确保证工业软件的安全. 展开更多

关键词 工业互联网 嵌入式软件 安全编码标准 静态分析 漏洞模式

在线阅读 下载PDF 职称材料

基于Petri网的RFID中间件中复合事件检测研究 被引量：13

2

作者 叶蔚 黄雨 +2 位作者 赵文 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期1-8,共8页

探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定... 探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析. 展开更多

关键词 无线射频识别 无线射频识别中间件 复杂事件处理 复合事件检测 有色网

在线阅读 下载PDF 职称材料

基于规则推理的语义检索若干关键技术研究 被引量：7

3

作者 马森 赵文 +2 位作者 袁崇义 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2013年第5期977-981,共5页

针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结... 针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结果进行排序.针对上述问题,本文给出了基于语义网的语义规则建立方法,并提出了一种基于闭合世界假设的反向链接推理算法,提高推理效率,同时给出了一种基于特征相似性排序算法,使检索结果排序方式更加符合语义检索的特点.基于本文提出的方法,构造了语义搜索引擎MaterialHub,实验表明该搜索引擎提高了检索的准确率和查全率,有较好的查询响应时间,并已经得到实际应用. 展开更多

关键词 语义检索 语义规则 语义规则推理 语义相似性排序

在线阅读 下载PDF 职称材料

软件体系结构演化模型 被引量：23

4

作者 王映辉 王立福 《电子学报》 EI CAS CSCD 北大核心 2005年第8期1381-1386,共6页

软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭... 软件演化包括静态演化和动态演化两个方面.作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.在描述SA的构件-连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了深入地分析和量化界定,同时给出了构件在SA中贡献大小相对量的计算方法.其次,针对SA的动态演化,给出了SA动态语义网络模型,分析了SA动态语义网络中基于不动点的浸润过程收敛的判定,提出了邻接矩阵原子过滤的概念,进而指出,SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上的逻辑衔接来描述.最后给出了两个层面上对SA演化波及效应的分析框架.为SA演化的管理、控制、利用、评价和量化描述奠定了基础. 展开更多

关键词 软件体系结构 软件演化 可达矩阵 波及效应 浸润

在线阅读 下载PDF 职称材料

基于P2P的RFID编码解析网络结构与算法研究 被引量：5

5

作者 刘学洋 赵文 +1 位作者 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期102-108,共7页

本文结合P2P技术,提出了分级P2P RFID编码解析网络结构.并基于改进的kademlia算法,在该网络中实现了RFID编码解析服务.实验数据表明,分级P2P RFID编码解析网络相对于基于DNS技术的EPCglobal ONS,具有负载均衡、可扩展性好、能有效应对... 本文结合P2P技术,提出了分级P2P RFID编码解析网络结构.并基于改进的kademlia算法,在该网络中实现了RFID编码解析服务.实验数据表明,分级P2P RFID编码解析网络相对于基于DNS技术的EPCglobal ONS,具有负载均衡、可扩展性好、能有效应对单点失效等优点.最后,本文给出分级P2P RFID编码解析网络需要继续深入考虑的问题. 展开更多

关键词 RFID 编码解析网络 分级P2P KADEMLIA

在线阅读 下载PDF 职称材料

RFID信息服务网络中支持复合订阅的路由算法研究 被引量：1

6

作者 刘殿兴 赵文 +3 位作者 李信鹏 冯志明 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2010年第B02期33-40,共8页

在RFID信息服务网络中，设计了一种支持复合订阅的可靠的路由算法：在订阅转发阶段，我们将每一个复合订阅按照其语法结构进行分解，并将每个复合订阅成份分配给多个RFID信息服务（构成一个复合订阅存储单元）去维护，而事件则按照订阅... 在RFID信息服务网络中，设计了一种支持复合订阅的可靠的路由算法：在订阅转发阶段，我们将每一个复合订阅按照其语法结构进行分解，并将每个复合订阅成份分配给多个RFID信息服务（构成一个复合订阅存储单元）去维护，而事件则按照订阅分解的反方向和匹配的结果进行转发与合并.由于每个复合订阅存在多个副本，因而会显著减少因某个副本失效而产生的事件丢失.本文也给出了复合订阅存储单元内部多个复合订阅副本一致性的保持方法，以及核心信息服务的选举方法.实验结果表明，该路由算法有较高的容错性，性能可以满足实际应用的需要. 展开更多

关键词 无线射频识别(RFID) 复合订阅 发布/订阅 路由 KADEMLIA

在线阅读 下载PDF 职称材料

RFID信息服务中发布/订阅系统若干关键技术问题研究 被引量：1

7

作者 刘殿兴 赵文 +2 位作者 邓鹏鹏 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期94-101,共8页

本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和... 本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要. 展开更多

关键词 发布/订阅 RFID 描述逻辑 时间本体

在线阅读 下载PDF 职称材料

一种基于Trie树和扩展B树的RFID标签编码过滤方法研究 被引量：1

8

作者 赵文 刘学洋 +1 位作者 刘殿兴 王立福 《电子学报》 EI CAS CSCD 北大核心 2011年第A03期126-133,共8页

面向EPC模式(EPC Pattern)的标签编码过滤是RFID中间件的主要功能之一.为提高过滤效率,本文给出了一种基于trie树和扩展B树相结合的标签编码过滤方法.通过分析标签编码和EPC模式的结构特征,将系统中大量的EPC模式构造成一个层次查找结构... 面向EPC模式(EPC Pattern)的标签编码过滤是RFID中间件的主要功能之一.为提高过滤效率,本文给出了一种基于trie树和扩展B树相结合的标签编码过滤方法.通过分析标签编码和EPC模式的结构特征,将系统中大量的EPC模式构造成一个层次查找结构,对于EPC模式中的常规编码段采用trie树表达,对于区间形式采用扩展B树表达.查找过程按照编码段由高至低依次进行,并采用了基于位向量集合的优化方法.实验表明标签编码过滤效率受EPC模式数量变化的影响较小,能够有效降低向上层应用传输数据的延迟. 展开更多

关键词 RFID 中间件 EPC模式 过滤 TRIE树 B树

在线阅读 下载PDF 职称材料

软件供应链安全的风险和成因分析 被引量：8

9

作者 张世琨 马森 +1 位作者 高庆 孙永杰 《中国信息安全》 2018年第11期48-50,共3页

由于软件应用范围不断扩大,软件安全已经不限于虚拟空间,直接威胁到物理空间的安全,而且,供应链中的任何问题都会导致严重的危害。降低软件安全风险最重要的就是技术沉淀,而技术沉淀最好的方式就是自动化工具,例如美国国防高级研究计划... 由于软件应用范围不断扩大,软件安全已经不限于虚拟空间,直接威胁到物理空间的安全,而且,供应链中的任何问题都会导致严重的危害。降低软件安全风险最重要的就是技术沉淀,而技术沉淀最好的方式就是自动化工具,例如美国国防高级研究计划局(DARPA)在2016年举办的网络安全挑战赛(CGC),无任何人为干预,由机器全自动地挖掘二进制程序中的漏洞。笔者认为,这类比赛的意义远大于夺旗赛(CTF)这种证明个人实力的比赛,因为靠人的经验式挖掘永远不能普惠更多的企业和个人,而且经验的传授也不会系统完整。 展开更多

关键词 软件安全 安全风险 供应链 美国国防高级研究计划局 成因 DARPA 虚拟空间 物理空间

在线阅读 下载PDF 职称材料

基于MASHUP的数字城市规划主题服务订制模式研究

10

作者 黄天航 高昕 党安荣 《规划师》 北大核心 2013年第S2期264-267,共4页

城市规划是一门复杂的学科,其数据源异常复杂,需要处理跨区域、跨部门的多源异构数据,因此数字城市规划中的信息处理面临诸多问题。传统的数据仓库集成模式仅仅是集成数据本身,而MASHUP模式则将数据与服务糅合成一个整体提供给网络用户... 城市规划是一门复杂的学科,其数据源异常复杂,需要处理跨区域、跨部门的多源异构数据,因此数字城市规划中的信息处理面临诸多问题。传统的数据仓库集成模式仅仅是集成数据本身,而MASHUP模式则将数据与服务糅合成一个整体提供给网络用户,比较符合实际互联网用户的需求。研究引入MASHUP模式,针对城市规划领域需要的数据,在面向数字城市规划的数据仓库构建的基础上,根据规划人员的需要,以主题订制的方式完成对规划人员所需要的规划专题信息主题服务的获取,辅助区域规划的决策;以主题订制的形式完成规划人员对某一专项规划的多源信息服务操作,提供处理好的多源异构信息,并根据规划人员的实际工作需要提供特定的信息定制服务,在实际操作中有较高的实用性。 展开更多

关键词 MASHUP 数字城市规划 数据仓库 主题信息 大北京区域

在线阅读 下载PDF 职称材料

一种基于One-Class SVM和GP安全事件关联规则生成方法研究 被引量：7

11

作者 杜栋栋 任星彰 +3 位作者 陈坤 叶蔚 赵文 张世琨 《电子学报》 EI CAS CSCD 北大核心 2018年第8期1793-1803,共11页

随着信息技术的快速发展,网络安全威胁造成的危害日愈严重.安全信息和事件管理(SIEM)在查找组织内部威胁,可疑行为及其它高级持续攻击(APT)中发挥了重要作用.SIEM的检测能力主要依赖于准确,可靠的关联规则.然而,传统的规则生成方式主要... 随着信息技术的快速发展,网络安全威胁造成的危害日愈严重.安全信息和事件管理(SIEM)在查找组织内部威胁,可疑行为及其它高级持续攻击(APT)中发挥了重要作用.SIEM的检测能力主要依赖于准确,可靠的关联规则.然而,传统的规则生成方式主要基于专家知识人工编写检测规则,因此成本高,效率低.本文给出了一种具备自适应能力的规则生成框架来自动生成关联规则.首先为了更好地识别未知攻击,提出一种基于单类支持向量机(OneClass SVM)的安全事件分类算法对安全事件进行有效分类,实验分类效果准确率高达97%.其次为了提高规则生成准确率,通过重新定义个体结构,交叉与变异方式,优化了基于遗传编程(GP)的规则生成算法,规则适应度高达94%.实验结果表明,本文提出的框架具备自适应能力来识别未知攻击,具备较高的检测准确率,可有效减少人工参与.同时该框架已经部署在实际生产环境中,和原系统相比可以检测更多攻击类型. 展开更多

关键词 安全事件 关联规则生成 日志管理 安全信息和事件管理(SIEM) 单类支持向量机 遗传编程

在线阅读 下载PDF 职称材料

基于Wi-Fi的非接触式行为识别研究综述 被引量：9

12

作者 王钰翔 李晟洁 +3 位作者 王皓 马钧轶 王亚沙 张大庆 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2017年第4期648-654,690,共8页

准确地获取包括人的状态和动作等情境信息一直以来都是普适计算的重要研究方向,具有很大的应用价值.作为一种廉价、非侵扰型的感知手段,基于Wi-Fi的无接触式行为识别技术已经成为一个新兴的、极具潜力的研究领域.从历史概述、理论研究... 准确地获取包括人的状态和动作等情境信息一直以来都是普适计算的重要研究方向,具有很大的应用价值.作为一种廉价、非侵扰型的感知手段,基于Wi-Fi的无接触式行为识别技术已经成为一个新兴的、极具潜力的研究领域.从历史概述、理论研究、模型研究、核心技术到应用场景这四个方面总结该领域的研究现状.在总结现有工作所取得的进展和存在的问题的同时,提出该领域将来可能的研究方向. 展开更多

关键词 行为识别 WI-FI 无接触式感知

在线阅读 下载PDF 职称材料

面向对象的软件建模工具JBOO3.0

13

作者 麻志毅 《信息技术与标准化》 2003年第8期37-40,共4页

　JBOO3.0是面向对象的软件建模工具。本文介绍了JBOO3.0采用的概念与表示法、适合的过程指导、支持的文档编制规范及其构成。

关键词 面向对象 软件建模 JBOO3.0 文档编制规范 工具软件

在线阅读 下载PDF 职称材料

面向对象的软件建模工具

14

作者 麻志毅 《信息技术与标准化》 2003年第7期30-34,共5页

用面向对象方法开发软件,离不开建模工具的支持。本文首先阐述了软件建模工具的重要性,并对软件建模工具进行了简介,随后重点讨论了面向对象的软件建模工具所应具有的功能及其所应遵循的标准。

关键词 面向对象 软件开发 建模工具 标准

在线阅读 下载PDF 职称材料

水下仿生侧线感知研究进展 被引量：2

15

作者 翟宇凡 熊明磊 +1 位作者 王晨 谢广明 《水下无人系统学报》 2023年第1期50-67,共18页

侧线是鱼类针对水下环境特有的感知器官,能够帮助鱼类感知周围水环境信息。受此启发,设计研制人工侧线系统并应用于水下机器人,已成为水下无人系统研究的热点之一,受到国内外学者广泛关注。论文概述水下仿生侧线感知的相关研究进展,从... 侧线是鱼类针对水下环境特有的感知器官,能够帮助鱼类感知周围水环境信息。受此启发,设计研制人工侧线系统并应用于水下机器人,已成为水下无人系统研究的热点之一,受到国内外学者广泛关注。论文概述水下仿生侧线感知的相关研究进展,从仿生原理、结构设计、感知功能等角度,系统地介绍仿生侧线感知的国内外发展现状,具体介绍了作者团队基于仿箱鲀机器鱼以及仿生侧线系统开展的运动状态估计、姿态保持控制、邻近感知等研究工作。通过对现有研究的分析与总结,进一步提出了水下仿生侧线感知领域未来的发展方向:传感器阵列设计优化、自然环境下的流场感知、避障行为与集群行为的实现等。 展开更多

关键词 仿生机器鱼 人工侧线系统 水下感知 水下机器人

在线阅读 下载PDF 职称材料

企业管好软件资源的有效途径——浅谈软件配置管理 被引量：3

16

作者 张海平 张晨东 《信息技术与标准化》 2003年第9期38-39,共2页

介绍了软件配置管理的概念、软件配置管理解决的问题、软件配置管理工具以及实施软件配置管理的典型步骤,为软件企业提供管好软件资源的有效途径。

关键词 软件配置管理 软件资源 项目管理 管理工具

在线阅读 下载PDF 职称材料

DRE-3DC:基于三维表征建模的篇章级关系抽取模型

17

作者 王宇 王震 +2 位作者 温立强 李伟平 赵文 《电子学报》 EI CAS CSCD 北大核心 2024年第9期2950-2960,共11页

篇章级关系抽取任务旨在从非结构化文档的多个句子中提取事实,是构建领域知识库和知识问答应用的关键环节,相较于句子级关系抽取,该任务既要求模型能够基于文档结构特征捕获实体间的复杂交互,还要应对严重的关系类别长尾分布问题.现有... 篇章级关系抽取任务旨在从非结构化文档的多个句子中提取事实,是构建领域知识库和知识问答应用的关键环节,相较于句子级关系抽取,该任务既要求模型能够基于文档结构特征捕获实体间的复杂交互,还要应对严重的关系类别长尾分布问题.现有基于表格的关系抽取模型主要对文档进行“实体/实体”二维建模,采用多层卷积网络或局部注意力机制提取实体间的交互特征,由于未显式对关系语义进行解耦建模,使得模型无法避免类别重叠影响和捕获关系的方向性特征,导致缺乏实体交互的充分语义信息.针对上述挑战,本文提出了一种基于三维表征建模的篇章级关系抽取模型DRE-3DC(Document-Level Relation Extraction with Three-Dimensional Representation Combination Modeling),对二维表格建模方式进行扩展,形成“实体/实体/关系”三维表征建模,采用基于形变卷积的三重注意力机制有效区分和聚合不同语义空间下的实体间及实体与关系的交互表征,自适应地增强模型对文档结构特征的聚合.同时,采用多任务学习方法增强模型对文档整体关系类别组合的感知来缓解篇章级关系抽取任务中的关系类别长尾分布问题.在DocRED和Revisit-DocRED两个篇章级关系抽取数据集上进行的实验结果表明,DRE-3DC模型性能良好,并通过消融实验、对比分析和实例分析,验证了本文所提方法的有效性. 展开更多

关键词 篇章级关系抽取 三维表征 三重注意力 形变卷积网络 多任务学习

在线阅读 下载PDF 职称材料

一种基于子图转述的问题生成方法

18

作者 温立强 熊冠铭 +3 位作者 王宇 陈一朴 李伟平 赵文 《电子学报》 EI CAS CSCD 北大核心 2024年第10期3578-3588,共11页

本文提出了一种子图转述的方法用于解决知识图谱问题生成中的未见谓词问题.传统的问题生成方法主要利用标注的问答数据(问题-逻辑形式对)生成问题,然而标注数据难以覆盖知识图谱中所有的谓词,如何对未见的谓词生成问题依然是一个挑战.... 本文提出了一种子图转述的方法用于解决知识图谱问题生成中的未见谓词问题.传统的问题生成方法主要利用标注的问答数据(问题-逻辑形式对)生成问题,然而标注数据难以覆盖知识图谱中所有的谓词,如何对未见的谓词生成问题依然是一个挑战.本文提出了一种基于子图结构的语义解耦方法,通过将复杂问题对应的知识图谱子图分解为原子级子图,从而将包含未见谓词的多跳子图拆分为易于处理的单跳子图.并且本文设计了一种子图转述方法,通过对数据集中的谓词进行采样,得到子图描述文本,并在大规模无监督数据上训练得到子图转述器,能够为包含未见谓词的子图提供自然语言形式的表述,为生成问题提供了有效的信息.本文定量分析了在不同的难度级别下模型的性能表现,在GrailQA等数据集上的实验结果表明,本文的方法达到了最先进的性能. 展开更多

关键词 子图采样 子图转述 未见谓词 问题生成 知识图谱

在线阅读 下载PDF 职称材料

供应链环境下一种分布式RFID发现服务 被引量：10

19

作者 赵文 李信鹏 +2 位作者 刘殿兴 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2010年第B02期99-106,共8页

本文针对大规模RFID应用和企业对其EPCIS进行完全的访问控制的需求,对EPCIS事件重新建模使之能够描述供应链活动所产生的绝大部分事件,并提出一种新的分布式RFID发现服务.这种发现服务基于“跟踪供应链”模式,利用编码解析服务（ONS）,... 本文针对大规模RFID应用和企业对其EPCIS进行完全的访问控制的需求,对EPCIS事件重新建模使之能够描述供应链活动所产生的绝大部分事件,并提出一种新的分布式RFID发现服务.这种发现服务基于“跟踪供应链”模式,利用编码解析服务（ONS）,在发起查询时采用多个查询流以提高查询效率,在返回结果时并行地直接返回给客户端以缩减路由跳数.实验表明这种分布式RFID发现服务具有较高的效率和可用性. 展开更多

关键词 无线射频识别(RFID) 供应链 分布式 发现服务 EPC信息服务

在线阅读 下载PDF 职称材料

一种基于RFID数据集的物品工作流挖掘方法 被引量：11

20

作者 顿海强 赵文 +3 位作者 邓鹏鹏 张世琨 王立福 谭杰 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期86-93,共8页

不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管理和优化.本文提出了一种基于RFID数据集的物品工作流挖掘方法... 不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管理和优化.本文提出了一种基于RFID数据集的物品工作流挖掘方法,其中定义了一种基于Petri网的物品工作流网,讨论了物品工作流网所支持的几种物品工作流模式,给出了基于RFID数据集的数据过滤和聚合算法,以及物品工作流网的挖掘算法,最后进行了必要的实验. 展开更多

关键词 物品工作流 物品工作流挖掘 RFID数据集 PETRI网

在线阅读 下载PDF 职称材料