检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于蚁群算法的自适应ad hoc路由协议

北京工业大学学报 2012年第5期38卷 744-748页

作者：任兴田王勇北京工业大学计算机科学与技术学院北京100124

为了在ad hoc网络中建立和维护路由,提出一种基于蚁群算法的自适应ad hoc路由协议.该路由协议按需广播蚂蚁,建立了到目的结点的一条路径,并在数据传输过程中通过连续发送蚂蚁维护现有路径和探索新的路径,从而动态建立到目的结点的多路... 详细信息

为了在ad hoc网络中建立和维护路由,提出一种基于蚁群算法的自适应ad hoc路由协议.该路由协议按需广播蚂蚁,建立了到目的结点的一条路径,并在数据传输过程中通过连续发送蚂蚁维护现有路径和探索新的路径,从而动态建立到目的结点的多路径路由,能较好适应网络拓扑结构的动态变化.仿真实验表明,该路由协议在平均分组端到端的延迟和分组投递率等性能上比AODV和W_AntNet协议具有更大的优势.

关键词： ad hoc网络路由协议蚁群算法

ANFIDS:基于模糊神经网络的自适应入侵检测系统

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2008年第2期18卷 116-120页

作者：林昭文任兴田马严北京邮电大学计算机科学与技术学院北京100876

在研究和分析现有网络入侵检测技术的基础上,提出了一种基于神经网络和模糊推理技术的自适应入侵检测系统(ANFIDS)。该系统运用模糊理论把安全参数模糊化,使得系统能更好地描述网络流量特性与攻击的关系,从而更精确地捕获攻击行为,同时... 详细信息

在研究和分析现有网络入侵检测技术的基础上,提出了一种基于神经网络和模糊推理技术的自适应入侵检测系统(ANFIDS)。该系统运用模糊理论把安全参数模糊化,使得系统能更好地描述网络流量特性与攻击的关系,从而更精确地捕获攻击行为,同时利用网络流量对隶属度函数和模糊规则进行调整和优化。实验结果表明,训练后的 ANFIDS系统能够检测网络的异常行为并有效地减低误报率。

关键词：入侵检测模糊推理神经网络自适应系统

在线全文

学校读者我要写书评

暂无评论

基于模糊逻辑的组合服务信任度评估方法

北京工业大学学报 2010年第12期36卷 1711-1716页

作者：王勇代桂平侯亚荣任兴田北京工业大学计算机学院北京100124 北京工业大学电子信息与控制学院北京100124

基于信任的主观性、不确定性和模糊性,给出了信任度的模糊表示方法,分析了基于WS-BPEL的组合服务模型中编程结构对于信任度评估的贡献情况,设计了基于WS-BPEL的服务组合模型中活动的信任度推理规则,并给出了基于模糊逻辑的组合服务信任... 详细信息

基于信任的主观性、不确定性和模糊性,给出了信任度的模糊表示方法,分析了基于WS-BPEL的组合服务模型中编程结构对于信任度评估的贡献情况,设计了基于WS-BPEL的服务组合模型中活动的信任度推理规则,并给出了基于模糊逻辑的组合服务信任度的估算方法.

关键词：服务组合信任信任度评估模糊逻辑

在线全文

学校读者我要写书评

暂无评论

基于XML服务管理信息的访问控制模型

北京工业大学学报 2009年第10期35卷 1412-1418页

作者：任兴田黄小红苏玉洁马严北京工业大学计算机科学与技术学院北京100124 北京邮电大学计算机科学与技术学院北京100876

提出了一种基于XML细粒度的服务管理信息的访问控制模型,用于控制服务管理站对服务管理信息的访问.采用了形式化方法定义服务管理信息的访问控制模型的主体、客体和授权规则;讨论了授权规则的冲突解决方法,设计了标记XML文档中哪些节点... 详细信息

提出了一种基于XML细粒度的服务管理信息的访问控制模型,用于控制服务管理站对服务管理信息的访问.采用了形式化方法定义服务管理信息的访问控制模型的主体、客体和授权规则;讨论了授权规则的冲突解决方法,设计了标记XML文档中哪些节点的元素或属性可以被操作的标签树算法;描述了服务管理系统中细粒度访问控制模型的4种操作.该模型能控制服务管理站对服务管理信息的访问控制,控制粒度可以达到XML文档中的元素或属性.

关键词：网络管理访问控制 XML

基于进程代数的TCG远程证明协议的形式化验证

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2013年第2期50卷 325-331页

作者：王勇方娟任兴田林莉北京工业大学计算机学院北京100124

可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了... 详细信息

可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了抽象处理,得到了两种协议形式的抽象模型.在抽象模型的基础上,给出了基于进程代数的形式化描述,并分别进行了形式化验证.验证结果表明两种协议形式的并行系统均展示了期望的外部行为.

关键词：可信计算远程证明协议验证形式化进程代数

在线全文

学校读者我要写书评

暂无评论

NetConf查询操作的形式化模型

大连理工大学学报 2005年第z1期45卷 52-54页

作者：任兴田马严北京邮电大学信息网络中心北京100876

使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.

关键词：网络管理 NetConf 形式语义学 XML

在线全文

学校读者我要写书评

暂无评论

基于SNMP代理的IPv6网络仿真环境

通信学报 2005年第B1期26卷 238-241页

作者：任兴田赵晓宇马严北京邮电大学信息网络中心，北京100876

提出了一种利用软件技术仿真IPv6大型网络的方法，并详细分析了采用基于IPv6的SNMP代理技术实现对IPv6大型网络环境仿真的技术需求，并对实现作了初步介绍。

关键词： IPv6 SNMP agent 仿真环境 XML

基于Web Services服务管理协议的设计与分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

电子与信息学报 2007年第10期29卷 2460-2465页

作者：任兴田黄小红苏玉洁马严北京邮电大学计算机科学与技术学院北京100876

该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性... 详细信息

该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。

关键词：互联网服务管理 Web Services UML(Unified Modeling Language) Petri网

基于安全Web服务的网络管理技术的性能研究

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2006年第7期16卷 676-680页

作者：任兴田黄小红苏玉洁马严北京邮电大学信息网络中心北京100876

实现了基于安全Web服务（WS）的网络管理的原型.研究了在读取不同对象数的情况下,由于消息认证和加密而增加的计算负担对网络性能的影响,并获得了WS在不同的安全等级以及是否压缩的情况下性能与读取对象数之间的关系.同时,对安全WS和SNM... 详细信息

实现了基于安全Web服务（WS）的网络管理的原型.研究了在读取不同对象数的情况下,由于消息认证和加密而增加的计算负担对网络性能的影响,并获得了WS在不同的安全等级以及是否压缩的情况下性能与读取对象数之间的关系.同时,对安全WS和SNMPv3在带宽使用情况和往返时延方面的性能进行了深入研究,结果表明,WS由于加入了安全（认证和加密）机制而增加了计算负担,但是在读取大量对象数时,压缩的安全WS的性能优于SNMPv3的性能,而且安全功能所增加的负担并不会影响网络的正常运行.

关键词：网络管理 Web服务 XML SNMPv3 安全套接口层(SSL)