任兴田

作品数：20被引量：63H指数：5
导出分析报告
供职机构：北京工业大学计算机学院更多>>
发文主题：XML计算机网络网络管理WEB_SERVICES可信计算更多>>
发文领域：自动化与计算机技术文化科学机械工程更多>>
发文期刊：《计算机教育》《高技术通讯》《北京工业大学学报》《通信学报》更多>>
所获基金：国家重点基础研究发展计划下一代互联网中日IPv6合作项目博士科研启动基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信计算中信任链建立的形式化验证被引量：6
《北京工业大学学报》2016年第3期387-392,共6页王勇 许荣强 任兴田 杨建红 
国家"973"计划资助项目(2007CB311100)
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系...
关键词：可信计算 信任链 可信平台控制模块 形式化验证 进程代数 
云环境下基于可靠性的均衡任务调度算法研究被引量：8
《计算机科学》2015年第S1期325-331,共7页王勇 刘美林 李凯 任兴田 许荣强 
云计算作为一种新兴的具有商业特性的计算模式,已经受到了广泛的关注。云计算中的关键问题——任务调度问题也成为了社会各界研究的热点。主要以云计算系统中的可靠性需求为优化目标,运用博弈论工具,将云计算的任务调度系统建模为一个...
关键词：云计算 合作博弈 任务调度 讨价还价解 可靠性 
云计算中基于序贯博弈的任务调度策略被引量：3
《计算机科学》2015年第S1期341-344 358,358,共5页刘美林 王勇 李凯 刘鹏飞 任兴田 杨建红 
随着互联网应用的普及,云计算逐渐成为企业、学者等各界研究的热点。云计算是继分布式计算、并行计算、网格计算之后的一种新兴计算模式。在对云计算系统的研究中,任务调度是其研究的重点。在总结了云计算的研究现状之后,提出了一种基...
关键词：云计算 序贯博弈 纳什均衡 任务调度 
基于进程代数的TCG远程证明协议的形式化验证被引量：5
《计算机研究与发展》2013年第2期325-331,共7页王勇 方娟 任兴田 林莉 
国家"九七三"重点基础研究发展计划基金项目(2007CB311100);北京市教委科技计划基金项目(JC007011201004);北京市人才强教中青年骨干培养基金项目
可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了...
关键词：可信计算 远程证明 协议验证 形式化 进程代数 
基于Petri网的可信连接架构的安全属性分析
《高技术通讯》2012年第8期812-818,共7页任兴田 
973计划（2007CB311100）资助项目.
为确保可信连接架构（TCA）自身的安全可靠，研究了其安全属性量化问题，分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模，该模型用于描述攻击行为和TCA的双...
关键词：可信计算 可信连接架构(TCA) 安全属性 定量分析 随机PETRI网 
基于蚁群算法的自适应ad hoc路由协议被引量：8
《北京工业大学学报》2012年第5期744-748,共5页任兴田 王勇 
国家'九七三'计划资助项目(2007CB311100)
为了在ad hoc网络中建立和维护路由,提出一种基于蚁群算法的自适应ad hoc路由协议.该路由协议按需广播蚂蚁,建立了到目的结点的一条路径,并在数据传输过程中通过连续发送蚂蚁维护现有路径和探索新的路径,从而动态建立到目的结点的多路...
关键词：AD HOC网络 路由协议 蚁群算法 
基于模糊逻辑的组合服务信任度评估方法
《北京工业大学学报》2010年第12期1711-1716,共6页王勇 代桂平 侯亚荣 任兴田 
国家'九七三'计划资助项目(2007CB311100);北京市教育委员会科技计划资助项目(JC007011201004);北京工业大学青年基金资助项目(X1007011200801)
基于信任的主观性、不确定性和模糊性,给出了信任度的模糊表示方法,分析了基于WS-BPEL的组合服务模型中编程结构对于信任度评估的贡献情况,设计了基于WS-BPEL的服务组合模型中活动的信任度推理规则,并给出了基于模糊逻辑的组合服务信任...
关键词：服务组合 信任 信任度评估 模糊逻辑 
计算机网络课程群的规划与建设被引量：16
《计算机教育》2010年第2期102-104,108,共4页王勇 任兴田 杨建红 方娟 
本文结合作者承担的计算机网络课程群建设的实践,设置了计算机网络课程群建设的目标,对计算机科学与技术相关专业本科生的计算机网络课程群的规划和建设进行了初步的探讨。
关键词：计算机网络 课程群 课程建设 
基于XML服务管理信息的访问控制模型
《北京工业大学学报》2009年第10期1412-1418,共7页任兴田 黄小红 苏玉洁 马严 
国家'九七三'计划资助项目(2007CB311100);北京工业大学博士科研启动基金资助项目(5207013200703)
提出了一种基于XML细粒度的服务管理信息的访问控制模型,用于控制服务管理站对服务管理信息的访问.采用了形式化方法定义服务管理信息的访问控制模型的主体、客体和授权规则;讨论了授权规则的冲突解决方法,设计了标记XML文档中哪些节点...
关键词：网络管理 访问控制 XML 
基于并发事务逻辑的Web服务编制验证被引量：3
《电子学报》2009年第10期2228-2233,共6页王勇 代桂平 侯亚荣 方娟 任兴田 
国家937重点研究发展规划(No.2007CB311100);北京工业大学博士科研启动基金(No.502007013200704);北京工业大学青年基金(No.97002011200702/X1007011200801)
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础...
关键词：服务编制 并发事务逻辑 形式化 验证 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部