您的位置： 专家智库 > >

浙江省自然科学基金杰出青年团队项目(R1090138)

作品数：5 被引量：12H指数：3
相关作者：徐明迪张帆吴怀广江敏徐静更多>>
相关机构：杭州电子科技大学武汉数字工程研究所郑州轻工业学院更多>>
发文基金：浙江省自然科学基金杰出青年团队项目国家自然科学基金武器装备预研基金更多>>
相关领域：自动化与计算机技术理学更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 1篇理学

主题

  • 2篇可信计算
  • 1篇点本原
  • 1篇迭代
  • 1篇信息流
  • 1篇行为建模方法
  • 1篇搜索
  • 1篇搜索问题
  • 1篇同构
  • 1篇投票
  • 1篇区传递
  • 1篇自同构
  • 1篇自同构群
  • 1篇网络
  • 1篇无干扰
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇密码
  • 1篇密码体制

机构

  • 4篇杭州电子科技...
  • 2篇武汉数字工程...
  • 1篇厦门大学
  • 1篇中国计量学院
  • 1篇郑州轻工业学...

作者

  • 2篇张帆
  • 2篇徐明迪
  • 1篇江敏
  • 1篇吴怀广
  • 1篇韩广国
  • 1篇游林
  • 1篇张品
  • 1篇尚绪凤
  • 1篇毛文敏
  • 1篇李绍华
  • 1篇徐静

传媒

  • 1篇武汉大学学报...
  • 1篇高校应用数学...
  • 1篇计算机科学
  • 1篇河南教育学院...
  • 1篇传感器与微系...

年份

  • 1篇2015
  • 1篇2012
  • 3篇2011
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于系统调用和进程代数CCS的行为建模方法被引量：3
2011年
软件动态行为可信度量是可信计算必须要解决的关键问题之一.对该问题的关键一环,软件动态行为建模理论和方法,进行了研究:以系统调用为建模对象,从软件行为学的观点出发,将软件动态行为刻画为进程代数CCS(calculus of communication system)动作的形式.在此基础上,提出了软件动态行为模型的形式化表达DBMS={SCSS,E},其中,SCSS是整个系统的系统调用序列,E是一套基于CCS的行为变换操作符,结合SCSS和E,能够表达系统内任意软件的任意行为.进一步地,提出了一种分布式软件动态行为度量架构,利用该架构能够增强软件动态行为度量的准确性,并提高度量效率.
张帆徐明迪游林
关键词：可信计算
基于非交换代数结构的公钥密码体制
2011年
提出了一个新的基于非交换代数结构的Diffie-Hellman密钥交换协议,并在此基础上建立了一个新的公钥密码体制.它的安全性取决于一个基本问题的困难性,而这个基本问题是共轭搜索问题和Diffie-Hellman问题的结合变形问题.最后将提出的体制应用到数字签名方案中,并给出一个类似于ElGamal的签名方案.
李绍华尚绪凤
关键词：公钥密码体制
一种基于迭代投票的无线传感器网络安全定位算法被引量：4
2015年
绝大多数的定位算法都是基于信标节点的坐标信息计算未知节点的坐标信息,因此,信标节点的可信性至关重要。无线传感器网络在敌对环境中易受攻击,由此提出了一种安全定位算法。在算法中,节点间无需坐标交换,可直接迭代投票选出可信的信标节点进行定位,并通过仿真验证算法有效性。
张品毛文敏徐静
关键词：无线传感器网络
一种基于无干扰的软件动态行为可信性分析方法被引量：5
2012年
软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理。
张帆江敏吴怀广徐明迪
关键词：可信计算无干扰信息流
区传递的2-(v,9,1)设计的分类
2011年
讨论区传递的2-v,k,1)设计的分类问题.特别地,讨论自同构群的基柱为典型单群的区传递,点本原但非旗传递的2-(v,9,1)设计.设D为一个2-(v,9,1)设计,若G≤Aut(D)是区传递,点本原但非旗传递的,则G的基柱Soc(G)不是有限域GF(q)上的典型单群.结合Camina,Praeger,刘伟俊,李慧陵等人的结果,可以得到2-(v,9,1)设计的完全分类.
韩广国
关键词：自同构群区传递点本原
全选 清除 导出
共1页<1>
聚类工具0