您的位置： 专家智库 > >

王勇

作品数：35 被引量：227H指数：7
供职机构：北京工业大学计算机学院更多>>
发文基金：国家重点基础研究发展计划博士科研启动基金国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 35篇中文期刊文章

领域

  • 28篇自动化与计算...
  • 7篇文化科学

主题

  • 10篇信任
  • 9篇WEB服务
  • 6篇网格
  • 5篇网络
  • 5篇服务质量
  • 4篇调度
  • 4篇信任度
  • 4篇形式化
  • 3篇信任感知
  • 3篇形式化验证
  • 3篇网格工作
  • 3篇网格工作流
  • 3篇网格计算
  • 3篇进程代数
  • 3篇可信计算
  • 3篇课程
  • 3篇计算机
  • 3篇计算机网
  • 3篇计算机网络
  • 3篇教学

机构

  • 35篇北京工业大学
  • 5篇中国传媒大学
  • 1篇北京航空航天...
  • 1篇西安电子科技...
  • 1篇中央广播电视...
  • 1篇北京教育考试...

作者

  • 35篇王勇
  • 16篇侯亚荣
  • 14篇方娟
  • 13篇代桂平
  • 10篇毛国君
  • 9篇任兴田
  • 7篇姜正涛
  • 5篇杨建红
  • 3篇李凯
  • 3篇刘美林
  • 2篇赵枫朝
  • 2篇许荣强
  • 1篇易翔
  • 1篇张书杰
  • 1篇王立
  • 1篇袁亚兴
  • 1篇刘鹏飞
  • 1篇王育民
  • 1篇龙浩
  • 1篇万雅奇

传媒

  • 8篇北京工业大学...
  • 6篇计算机教育
  • 3篇高技术通讯
  • 3篇计算机科学
  • 2篇通信学报
  • 2篇电子学报
  • 2篇计算机工程与...
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇软件学报
  • 1篇微计算机信息
  • 1篇江苏大学学报...
  • 1篇电脑知识与技...
  • 1篇产业与科技论...
  • 1篇教育教学论坛

年份

  • 1篇2016
  • 3篇2015
  • 3篇2013
  • 1篇2012
  • 1篇2011
  • 9篇2010
  • 9篇2009
  • 5篇2008
  • 2篇2007
  • 1篇2006
共 35 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
可信计算中信任链建立的形式化验证被引量：6
2016年
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为.
王勇许荣强任兴田杨建红
关键词：可信计算可信平台控制模块形式化验证进程代数
中美高校网络教育的比较与分析被引量：3
2008年
网络教育已成为更多的学习者摆脱时间和空间的限制、获取接受大学教育机会的重要途径，中国高校在教育体制和教育模式上的不同也同样体现在网络教育上。本文从几个方面对中美高校网络教育进行了比较和分析，并给出网络教学体系的基本架构。
方娟毛国君王勇
关键词：信息技术网络教育教育体系
“计算机网络管理”课程的目标导向型教学实践被引量：11
2008年
我院分析了计算机网络管理课程的定位，制定了计算机网络管理课程的两个教学目标，并围绕这两个教学目标从教学环节、实践环节和考核环节三个方面开展教学实践活动，收到了较好的效果。本文介绍了我院的实践经验。
王勇姜正涛杨建红方娟毛国君
关键词：计算机网络管理网络管理员程序员
可信连接架构的形式化验证
2012年
可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交互接口以及交互行为。在抽象可信连接架构中实体之间信息交互行为的基础上,给出了各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证,验证的结果表明,可信连接架构具有期望的外部行为。
王勇易翔李凯刘美林
关键词：可信计算可信网络形式化验证进程代数
计算机网络课程群的规划与建设被引量：16
2010年
本文结合作者承担的计算机网络课程群建设的实践,设置了计算机网络课程群建设的目标,对计算机科学与技术相关专业本科生的计算机网络课程群的规划和建设进行了初步的探讨。
王勇任兴田杨建红方娟
关键词：计算机网络课程群课程建设
基于SOAP协议的WebService安全机制研究被引量：7
2007年
随着WebService在分布式应用中的不断推广，其安全性能受到了越来越多的重视。传统的WebService以文本的方式传送SOAP包，而且SOAP协议将安全定性为传输问题，这制约了其进一步的发展，为了解决这些问题，本文对WebService安全问题进行分析，通过将PKI技术与webService技术的结合，形成了可信的webService解决方案。
王勇
关键词：SERVICESOAPXML
基于模糊逻辑的群体信任模型被引量：3
2010年
从信任的主观性和模糊性角度出发,提出了一种基于模糊逻辑的群体信任模型,抽象出顺序模式、选择模式、循环模式和并行模式4种群体构成的基本约束模式及其嵌套复合来刻画群体中个体之间的约束关系,并分别给出了信任度的度量方法.群体信任模型对群体信任关系和特别软件群体的信任关系提供了很好的支持.
王勇代桂平侯亚荣方娟毛国君
关键词：信任信任模型模糊逻辑
线性移位寄存器在安全RSA模数中应用的研究
2010年
运用线性移位寄存器(LFSR)序列模2个不同素数时的周期一般不同这一性质,尝试构造分解另一类RSA模数的方法;指出对于RSA模数n=pq的一个素因子p,当p2+p+1,p3+p2+p+1,…其中之一仅含有小的素因子时,给出的算法能够分解合数n=pq,并给出了一个基于三级LFSR分解合数的实例来说明算法的具体运算步骤。根据该分解算法,在选取RSA模数时,为确保安全性,除避免已知的不安全因素以外,还需要保证n的素因子p满足p2+p+1,p3+p2+p+1,…均包含大的素因子。
姜正涛王勇王永滨王育民
关键词：LFSR素数整数分解
信任感知的组合服务动态选择方法被引量：41
2009年
把信任概念和信任度引入到服务组合中来,讨论了信任感知的服务组合选择问题,分别基于两种观点建立了其数学模型.并基于观点1,深入地研究了服务组合的动态选择问题,分别采用蚁群系统作为优化工具设计了两种动态选择方法:方法1针对服务在上限阈值的范围内提供优质服务,服务质量保持不变,超过阈值则拒绝服务的情况;方法2针对服务无限制地接受请求,但随着请求数量的增多,其服务质量下降的情况.通过对方法1和方法2的仿真实验结果分析表明,两种方法具有很好的效果.
王勇代桂平侯亚荣
关键词：信任服务质量
Java语言程序设计实例教材建设被引量：2
2008年
本文介绍了作者编著的一本Java语言程序设计的实例教材,该教材入选清华大学出版社高等学校计算机基础教育教材精选。本文主要从教材建设的动机、教材的内容和教材的特色等方面对教材进行了介绍。
王勇方娟毛国君
关键词：JAVA语言
全选 清除 导出
共4页<1234>
聚类工具0