检索结果-维普期刊中文期刊服务平台

嵌入式软件仿真开发系统的研究被引量：15: 1; 作者陈定君郭晓东 +2 位作者张应辉余克清刘积仁《电子学报》 EI CAS CSCD 北大核心 2000年第3期137-139,共3页; 为了给嵌入式软件开发者提供一个调试与测试嵌入式软件运行情况的“软”运行平台 ,我们开发了嵌入式软件仿真开发系统 .本文在对嵌入式软件的开发和仿真调试器两部分进行简述之后。; 关键词嵌入式软件仿真开发系统软件开发; 在线阅读下载PDF 职称材料

基于条件谓词逻辑的可信计算形式化分析被引量：3: 2; 作者陈书义闻英友赵宏《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第5期106-110,共5页; 针对可信计算信任模型的形式化验证问题,提出了基于条件谓词逻辑的可信计算形式化分析方法.该方法定义了不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验证.文中还通过实例对... 展开更多; 关键词信息安全可信计算信任链条件谓词逻辑; 在线阅读下载PDF 职称材料

基于mobile agent的动态自适应网络安全模型的研究被引量：1: 3; 作者蒋韬刘积仁秦扬《通信学报》 EI CSCD 北大核心 2002年第3期65-69,共5页; 计算机网络的迅速发展和广泛应用,对信息安全特别是网络安全带来了新的挑战。传统的安全模型和单一的安全手段,已不能适应复杂的网络结构、多变的入侵手段所带来的困扰。作者通过对多种典型的安全模型和技术分析后认为,网络安全是一种... 展开更多; 关键词自适应网络网络安全计算机网络移动代理; 在线阅读下载PDF 职称材料

混合P2P环境下有效的访问控制机制被引量：2: 4; 作者张骞张霞刘积仁《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第5期643-647,共5页; 由于P2P网络无中心控制节点,节点呈现自治特性和高度动态特性,使得传统的获取控制机制在对等计算网络中不再适用.据此,提出了混合P2P计算环境下基于角色和信任的获取控制方法.在由超级节点与叶节点组成的协作域中采用基于角色的获取控... 展开更多; 关键词混合Peer-to-Peer 协作域角色信任聚集可扩展性; 在线阅读下载PDF 职称材料

NSIS下通用访问控制信令协议的设计与验证被引量：1: 5; 作者陈书义孙锦山 +1 位作者闻英友赵宏《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第4期34-38,共5页; 在深入研究设备穿越和动态防御需求的基础上,提出了基于下一代信令(NSIS)技术的通用访问控制协议.协议实体由7个不同的功能模块组成,并定义了协议的消息类型、数据对象和执行流程.其中,消息类型包括请求消息、应答消息和错误.请求消息... 展开更多; 关键词访问控制下一代信令设备穿越动态防御; 在线阅读下载PDF 职称材料

FMC网络垃圾语音过滤系统的设计与分析被引量：1: 6; 作者罗铭闻英友赵宏《电信科学》北大核心 2007年第2期63-66,共4页; 本文分析了下一代融合网络VoIP及语音类即时通信在安全方面的隐患,并针对目前的SPIT(spam over Internet telephony)过滤和防护方案中存在的问题,提出了综合防护的SPIT系统,从3个层面,包括域、服务器及客户端的防护角度介绍了此系统,并... 展开更多; 关键词会话初始协议域验证预分类垃圾语音; 在线阅读下载PDF 职称材料

基于改进causality graph的分布式可伸缩事件关联机制: 7; 作者郭楠高天寒赵宏《通信学报》 EI CSCD 北大核心 2004年第4期23-30,共8页; 传统事件关联技术无法有效满足分布式网络管理的需求,本文提出一种分布式可伸缩事件关联机制,采用先分布再集中的关联模式与自适应可伸缩的关联关系。定义了本地关联和网络关联两个过程,首先由设备进行本地关联,而后各地关联结果汇总到... 展开更多; 关键词分布式网络管理事件关联分布式可伸缩事件关联因果关系图; 在线阅读下载PDF 职称材料

题名嵌入式软件仿真开发系统的研究被引量：15: 1; 作者陈定君郭晓东张应辉余克清刘积仁; 机构东北大学计算机软件国家工程研究中心; 出处《电子学报》 EI CAS CSCD 北大核心 2000年第3期137-139,共3页; 基金 "8 63"计划!(No .863 30 6 0 1 0 5); 文摘为了给嵌入式软件开发者提供一个调试与测试嵌入式软件运行情况的“软”运行平台 ,我们开发了嵌入式软件仿真开发系统 .本文在对嵌入式软件的开发和仿真调试器两部分进行简述之后。; 关键词嵌入式软件仿真开发系统软件开发; Keywords high level simulation model event driven algorithm based on process embryonic circuit genetic program; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于条件谓词逻辑的可信计算形式化分析被引量：3: 2; 作者陈书义闻英友赵宏; 机构东北大学计算机软件国家工程研究中心; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第5期106-110,共5页; 基金国家自然科学基金资助项目(60602061) 国家"863"计划项目(2006AA01Z413); 文摘针对可信计算信任模型的形式化验证问题,提出了基于条件谓词逻辑的可信计算形式化分析方法.该方法定义了不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验证.文中还通过实例对可信计算平台的安全引导过程进行了分析,并根据分析结果提出了委托链长度受限的可信计算平台安全引导过程.结果表明,文中的方法能清晰、有效地用于可信计算信任模型的形式化分析.; 关键词信息安全可信计算信任链条件谓词逻辑; Keywords information security, trusted computing trust chain conditional predicate logic; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于mobile agent的动态自适应网络安全模型的研究被引量：1: 3; 作者蒋韬刘积仁秦扬; 机构东北大学计算机软件国家工程研究中心; 出处《通信学报》 EI CSCD 北大核心 2002年第3期65-69,共5页; 基金国家863计划资助项目(863-306-ZT05-05-5); 文摘计算机网络的迅速发展和广泛应用,对信息安全特别是网络安全带来了新的挑战。传统的安全模型和单一的安全手段,已不能适应复杂的网络结构、多变的入侵手段所带来的困扰。作者通过对多种典型的安全模型和技术分析后认为,网络安全是一种动态的安全。基于上述认识,本文提出了一种基于mobile agent的动态自适应安全模型,并详细介绍了该模型的基本结构、控制策略和原型的实现。; 关键词自适应网络网络安全计算机网络移动代理; Keywords policy manage mobile agent security framework Java; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名混合P2P环境下有效的访问控制机制被引量：2: 4; 作者张骞张霞刘积仁; 机构东北大学计算机软件国家工程研究中心; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第5期643-647,共5页; 基金国家电子信息产业发展基金资助项目(XDJZ-0505-08); 文摘由于P2P网络无中心控制节点,节点呈现自治特性和高度动态特性,使得传统的获取控制机制在对等计算网络中不再适用.据此,提出了混合P2P计算环境下基于角色和信任的获取控制方法.在由超级节点与叶节点组成的协作域中采用基于角色的获取控制机制,在协作域之间采用基于信任的获取控制机制,形成可信的协同环境.与现有方法相比,该方法是细粒度的、基于内容的,并且考虑了节点的可信度差异,能够很好地应用于混合P2P计算环境.; 关键词混合Peer-to-Peer 协作域角色信任聚集可扩展性; Keywords hybrid Peer-to-Peer collaboration community role trust cluster scalability; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名NSIS下通用访问控制信令协议的设计与验证被引量：1: 5; 作者陈书义孙锦山闻英友赵宏; 机构东北大学计算机软件国家工程研究中心东软研究院; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第4期34-38,共5页; 基金国家自然科学基金资助项目(60602061) 国家高技术研究发展计划资助项目(2006AA01Z413); 文摘在深入研究设备穿越和动态防御需求的基础上,提出了基于下一代信令(NSIS)技术的通用访问控制协议.协议实体由7个不同的功能模块组成,并定义了协议的消息类型、数据对象和执行流程.其中,消息类型包括请求消息、应答消息和错误.请求消息将为访问控制设备部署不同的访问控制策略,而错误消息主要是在鉴权失败或者检查到信令消息出错时返回出错的原因.最后,对协议进行了测试、验证,结果表明所提协议具有逻辑正确性,且性能开销较小.通过引入NSIS信令机制,保障了访问控制信令信息安全、可靠传输.; 关键词访问控制下一代信令设备穿越动态防御; Keywords access control next steps in signaling device traversal dynamic defense; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名FMC网络垃圾语音过滤系统的设计与分析被引量：1: 6; 作者罗铭闻英友赵宏; 机构东北大学计算机软件国家工程研究中心; 出处《电信科学》北大核心 2007年第2期63-66,共4页; 基金国家自然科学基金资助项目(No.60602061) 国家高技术研究发展计划资助项目(No.2006AA01Z413); 文摘本文分析了下一代融合网络VoIP及语音类即时通信在安全方面的隐患,并针对目前的SPIT(spam over Internet telephony)过滤和防护方案中存在的问题,提出了综合防护的SPIT系统,从3个层面,包括域、服务器及客户端的防护角度介绍了此系统,并对此防护体系实现SPIT过滤的优势进行了全面的分析。; 关键词会话初始协议域验证预分类垃圾语音; Keywords SIP, domain verification, pre-classification, SPIT; 分类号 TP393.4 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于改进causality graph的分布式可伸缩事件关联机制: 7; 作者郭楠高天寒赵宏; 机构东北大学计算机软件国家工程研究中心; 出处《通信学报》 EI CSCD 北大核心 2004年第4期23-30,共8页; 基金国家"863"高科技项目基金资助(863-317-01-03-99); 文摘传统事件关联技术无法有效满足分布式网络管理的需求,本文提出一种分布式可伸缩事件关联机制,采用先分布再集中的关联模式与自适应可伸缩的关联关系。定义了本地关联和网络关联两个过程,首先由设备进行本地关联,而后各地关联结果汇总到管理平台进行网络关联;将事件的关联关系与管理任务的关联关系相结合,根据管理任务在设备端的动态配置情况构建自适应可伸缩的关联关系,并支持对逻辑事件的推理。同时,在改进Causality Graph算法的基础上提出了实现该机制的相关算法。原型系统的应用实例验证了机制的有效性和优越性。; 关键词分布式网络管理事件关联分布式可伸缩事件关联因果关系图; Keywords distributed network management event correlation distributed scalable event correlation causality graph; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	嵌入式软件仿真开发系统的研究	陈定君郭晓东张应辉余克清刘积仁	《电子学报》 EI CAS CSCD 北大核心	2000	15	在线阅读下载PDF 职称材料
2	基于条件谓词逻辑的可信计算形式化分析	陈书义闻英友赵宏	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
3	基于mobile agent的动态自适应网络安全模型的研究	蒋韬刘积仁秦扬	《通信学报》 EI CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
4	混合P2P环境下有效的访问控制机制	张骞张霞刘积仁	《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
5	NSIS下通用访问控制信令协议的设计与验证	陈书义孙锦山闻英友赵宏	《西安交通大学学报》 EI CAS CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
6	FMC网络垃圾语音过滤系统的设计与分析	罗铭闻英友赵宏	《电信科学》北大核心	2007	1	在线阅读下载PDF 职称材料
7	基于改进causality graph的分布式可伸缩事件关联机制	郭楠高天寒赵宏	《通信学报》 EI CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料