您的位置： 专家智库 > >

任兴田

作品数：24 被引量：70H指数：5
供职机构：北京工业大学计算机学院更多>>
发文基金：国家重点基础研究发展计划下一代互联网中日IPv6合作项目博士科研启动基金更多>>
相关领域：自动化与计算机技术文化科学机械工程更多>>

合作作者

文献类型

  • 20篇期刊文章
  • 3篇会议论文
  • 1篇学位论文

领域

  • 21篇自动化与计算...
  • 4篇文化科学
  • 1篇机械工程

主题

  • 11篇网络
  • 5篇网络管理
  • 5篇XML
  • 4篇计算机
  • 4篇计算机网
  • 4篇计算机网络
  • 3篇调度
  • 3篇形式化
  • 3篇可信计算
  • 3篇课程
  • 3篇WEB_SE...
  • 3篇PETRI网
  • 3篇WEB服务
  • 2篇代理
  • 2篇信任
  • 2篇形式化验证
  • 2篇形式语义学
  • 2篇蚁群
  • 2篇义学
  • 2篇语义

机构

  • 14篇北京工业大学
  • 11篇北京邮电大学
  • 1篇中国传媒大学

作者

  • 24篇任兴田
  • 10篇马严
  • 9篇王勇
  • 6篇方娟
  • 6篇杨建红
  • 5篇黄小红
  • 4篇苏玉洁
  • 3篇侯亚荣
  • 3篇代桂平
  • 2篇赵晓宇
  • 2篇李凯
  • 2篇毛国君
  • 2篇刘美林
  • 2篇许荣强
  • 2篇王勇
  • 1篇林昭文
  • 1篇刘鹏飞
  • 1篇林莉
  • 1篇赵海军
  • 1篇王勇

传媒

  • 4篇北京工业大学...
  • 4篇高技术通讯
  • 3篇计算机教育
  • 2篇电子学报
  • 2篇计算机科学
  • 1篇电子与信息学...
  • 1篇计算机研究与...
  • 1篇通信学报
  • 1篇计算机工程
  • 1篇大连理工大学...
  • 1篇2004年C...
  • 1篇第二届中国计...
  • 1篇中国教育和科...

年份

  • 1篇2016
  • 2篇2015
  • 1篇2013
  • 2篇2012
  • 2篇2010
  • 3篇2009
  • 4篇2008
  • 3篇2007
  • 2篇2006
  • 3篇2005
  • 1篇2004
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
NetConf查询操作的形式化模型
2005年
使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.
任兴田马严
关键词：网络管理NETCONF形式语义学XML
可信计算中信任链建立的形式化验证被引量：6
2016年
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为.
王勇许荣强任兴田杨建红
关键词：可信计算可信平台控制模块形式化验证进程代数
校选“计算机网络”的实用性教学原则与实践被引量：2
2008年
本文分析了校选计算机网络课程的目的和定位，从教材选取和教学内容组织、教学方法和教学手段、实践环节和考核环节四个方面讨论了教学实践。
王勇任兴田杨建红方娟毛国君
关键词：计算机网络
基于Web Services服务管理协议的设计与分析被引量：3
2007年
该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。
任兴田黄小红苏玉洁马严
关键词：SERVICESPETRI网
基于Web Services服务管理系统的研究被引量：9
2007年
提出了基于Web Services的服务管理体系结构,并设计和实现了基于XML服务管理信息模型和基于SOAP服务管理协议。该系统能够对跨不同管理域的服务进行有效的管理和对服务管理系统进行灵活的配置。通过用XPath表达式指定范围和过滤规则,有效地共享跨不同管理域的服务管理信息,通过XPath表达式指定的过滤规则支持较细粒度的事件通知,解决了跨不同管理域间实现服务管理的难题。
任兴田黄小红马严
关键词：服务管理WEBXMLSLA
ANFIDS:基于模糊神经网络的自适应入侵检测系统被引量：1
2008年
在研究和分析现有网络入侵检测技术的基础上,提出了一种基于神经网络和模糊推理技术的自适应入侵检测系统(ANFIDS)。该系统运用模糊理论把安全参数模糊化,使得系统能更好地描述网络流量特性与攻击的关系,从而更精确地捕获攻击行为,同时利用网络流量对隶属度函数和模糊规则进行调整和优化。实验结果表明,训练后的 ANFIDS系统能够检测网络的异常行为并有效地减低误报率。
林昭文任兴田马严
关键词：入侵检测模糊推理神经网络自适应系统
基于Web Services服务管理技术的研究
随着互联网的飞速发展和网络服务/(WWW、FTP、IPTV、VoD、VoIP和QQ等/)的极大丰富，传统的网络管理已经不能满足服务提供商对网络服务管理的需求，而且它的不足和缺陷正逐渐暴露出来，成为进一步发展的瓶颈。为了加...
任兴田
关键词：服务管理网络管理XMLPETRI网访问控制
NetConf查询操作的形式化模型
使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.
任兴田马严
关键词：网络管理形式语义学查询操作
基于XML服务管理信息的访问控制模型
2009年
提出了一种基于XML细粒度的服务管理信息的访问控制模型,用于控制服务管理站对服务管理信息的访问.采用了形式化方法定义服务管理信息的访问控制模型的主体、客体和授权规则;讨论了授权规则的冲突解决方法,设计了标记XML文档中哪些节点的元素或属性可以被操作的标签树算法;描述了服务管理系统中细粒度访问控制模型的4种操作.该模型能控制服务管理站对服务管理信息的访问控制,控制粒度可以达到XML文档中的元素或属性.
任兴田黄小红苏玉洁马严
关键词：网络管理访问控制XML
校选“计算机网络”的实用性教学原则与实践
本文分析了校选计算机网络课程的目的和定位，从教材选取和教学内容组织、教学方法和教学手段、实践环节和考核环节四个方面探讨了教学实践。
王勇任兴田杨建红方娟毛国君
关键词：高等教育计算机专业课程设置教学模式
全选 清除 导出
共3页<123>
聚类工具0