陈书义

作品数:9被引量:43H指数:4
导出分析报告
供职机构:东北大学信息科学与工程学院更多>>
发文主题:可信计算NSIS谓词逻辑移动ADHOC网络更多>>
发文领域:自动化与计算机技术电子电信更多>>
发文期刊:《东北大学学报(自然科学版)》《华南理工大学学报(自然科学版)》《西安交通大学学报》《小型微型计算机系统》更多>>
所获基金:国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-9
视图:
排序:
基于NSIS的网络管理信令协议的设计及验证被引量:1
《东北大学学报(自然科学版)》2010年第2期197-201,共5页闻英友 陈书义 李佳 赵宏 
国家自然科学基金资助项目(60602061;60673159)
提出了一种基于信令机制的可扩展NSIS网络管理协议,定义了NSIS网络管理协议的服务原语及数据单元,以实现协议的主要通信过程及管理操作流程.利用Petri网对协议进行了形式化描述,并对协议的逻辑正确性和性能进行了验证分析.利用NS-2对整...
关键词:网络管理 NSIS 信令 协议 PETRI网 
基于条件谓词逻辑的可信计算形式化分析被引量:3
《华南理工大学学报(自然科学版)》2009年第5期106-110,共5页陈书义 闻英友 赵宏 
国家自然科学基金资助项目(60602061);国家"863"计划项目(2006AA01Z413)
针对可信计算信任模型的形式化验证问题,提出了基于条件谓词逻辑的可信计算形式化分析方法.该方法定义了不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验证.文中还通过实例对...
关键词:信息安全 可信计算 信任链 条件谓词逻辑 
NSIS下通用访问控制信令协议的设计与验证被引量:1
《西安交通大学学报》2009年第4期34-38,共5页陈书义 孙锦山 闻英友 赵宏 
国家自然科学基金资助项目(60602061);国家高技术研究发展计划资助项目(2006AA01Z413)
在深入研究设备穿越和动态防御需求的基础上,提出了基于下一代信令(NSIS)技术的通用访问控制协议.协议实体由7个不同的功能模块组成,并定义了协议的消息类型、数据对象和执行流程.其中,消息类型包括请求消息、应答消息和错误.请求消息...
关键词:访问控制 下一代信令 设备穿越 动态防御 
NSIS框架下UMTS核心网动态防御系统研究被引量:1
《计算机科学》2009年第3期30-33,共4页陈书义 孙锦山 闻英友 赵宏 
国家自然科学基金(60602061);国家高技术研究发展计划(2006AA01Z413)资助
基于NSIS(Next Steps in Signaling)技术设计并实现了安全设备控制信令协议,提出了NSIS框架下的UMTS核心网动态防御系统。系统基于多源安全信息的融合和聚类分析,实时发现攻击,并依照安全策略,利用NSIS安全设备控制协议动态阻止针对核...
关键词:UMTS 核心网 安全信息融合 NSIS 实时响应 
基于模糊集合的可信计算信任模型评估被引量:13
《计算机科学》2008年第11期39-41,97,共4页陈书义 闻英友 赵宏 
国家自然科学基金(60602061);国家高技术研究发展计划(2006AA01Z413)
可信计算是信息安全的重要研究领域,而信任模型的可信性评估是该领域中亟待解决的关键问题。在深入研究可信计算信任根、信任链及其可信性影响因素的基础上,提出了基于模糊集合理论的可信计算信任模型评估方法。基于模糊集合理论的评估...
关键词:可信计算 可信计算平台 信任链 可信度 模糊集合 
基于可信计算的移动平台设计方案被引量:14
《东北大学学报(自然科学版)》2008年第8期1096-1099,共4页陈书义 闻英友 赵宏 
国家自然科学基金资助项目(60602061);国家高技术研究发展计划项目(2006AA01Z413)
在深入研究现有可信移动平台设计方案和TCG移动可信模块相关技术的基础上,提出了带有移动可信模块的可信移动平台设计方案.平台采用基带处理器和应用处理器分离的结构,利用移动可信模块构建了以应用处理器为中心的可信区域,为移动平台...
关键词:可信计算 可信计算模块 移动可信模块 安全引导 谓词逻辑 
可扩展SIP多媒体会议系统的设计与实现被引量:7
《小型微型计算机系统》2008年第4期607-610,共4页陈书义 闻英友 赵宏 
国家自然科学基金项目(60602061)资助;国家高科技研究发展计划项目()2006AA01Z413)资助
随着NGN网络及3GIMS应用的发展,基于SIP的多媒体会议系统受到了越来越多的关注.然而基于SIP的多媒体会议相关标准和产品还不成熟.针对此问题,研究了IETFSIPPING、XCON工作组关于SIP多媒体会议系统的相关标准,设计并实现了一种基于SIP的...
关键词:SIP 多媒体会议 会议控制中心 媒体混合器 
基于ECC的移动Ad hoc网络安全路由算法被引量:1
《东北大学学报(自然科学版)》2006年第6期646-649,共4页陈书义 王翠荣 赵宏 
国家高技术研究发展计划项目(2004AA113020)
研究了移动Ad hoc网络(MANET)的安全路由问题,分析了现有MANET入侵检测和安全路由策略的优缺点.针对MANET安全和路由问题的特殊性,提出并实现了基于ECC的MANET安全路由算法.算法吸收了表驱动路由和按需路由策略的优点,具有能耗低、延迟...
关键词:移动AD HOC网络 网络攻击 椭圆曲线密钥体制 安全路由协议 NS-2网络仿真器 
基于AODV协议的动态路由管理算法被引量:4
《东北大学学报(自然科学版)》2005年第11期1058-1061,共4页王翠荣 陈书义 杨孝宗 
国家自然科学基金资助项目(6007305960273078)
提出了一个基于AODV协议的动态路由管理算法,通过算法动态地配置路由协议参数,适应网络环境的变化,提高路由协议性能.算法利用模糊逻辑对移动自组网(MANET)网络环境进行分类,根据不同类型的MANET网络环境选择不同的AODV路由参数来改善...
关键词:移动AD HOC网络 按需距离矢量路由协议 动态路由管理 模糊逻辑 NS2网络仿真器 
检索报告 对象比较 聚类工具 使用帮助 返回顶部