您的位置: 专家智库 > >

浙江省科技计划项目(2007C31009)

作品数:6 被引量:6H指数:2
相关作者:顾永跟蔡小娟李刚吴小红柴震川更多>>
相关机构:湖州师范学院上海交通大学更多>>
发文基金:浙江省科技计划项目浙江省湖州市科技计划项目湖州市自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 2篇匿名
  • 2篇基于身份
  • 1篇电子商务
  • 1篇电子商务平台
  • 1篇电子印章
  • 1篇调度
  • 1篇动态系统
  • 1篇形式化
  • 1篇形式化分析
  • 1篇医疗文书
  • 1篇商务
  • 1篇商务平台
  • 1篇数字签名
  • 1篇通信约束
  • 1篇匿名性
  • 1篇签名
  • 1篇签名系统
  • 1篇专业市场
  • 1篇网络
  • 1篇网络控制

机构

  • 4篇湖州师范学院
  • 3篇上海交通大学

作者

  • 3篇顾永跟
  • 2篇吴小红
  • 2篇李刚
  • 2篇蔡小娟
  • 1篇李祖欣
  • 1篇宋琳
  • 1篇王培良
  • 1篇谢思敏
  • 1篇柴震川

传媒

  • 2篇湖州师范学院...
  • 1篇上海交通大学...
  • 1篇电气自动化
  • 1篇计算机应用与...
  • 1篇计算机应用研...

年份

  • 2篇2009
  • 4篇2008
6 条 记 录,以下是 1-6
排序方式:
概率Applied Pi框架下的匿名度分析
2009年
在概率Applied Pi下对安全协议的匿名度进行研究:它在概率Applied Pi进程上定义了metric,以对进程间的相似进行度量;该定义被证明是有效的,因为当两个进程之间的metric为0时这两个进程弱互模拟;基于metric给出了匿名度的形式化定义。最后分析了密码学家就餐问题,用概率Applied Pi对其建模,计算匿名度。
谢思敏蔡小娟
关键词:互模拟
基于身份的电子印章设计与实现被引量:2
2009年
随着办公自动化的发展,电子文档逐渐取代了传统的纸制文档。电子印章可以有效保障企业办公自动化中电子文档的安全性。在分析现有电子印章的签名方案的基础上,提出基于身份的电子印章的设计方法,给出基于身份电子印章系统的构架和相应的签名算法。最后指出该方法安全性以及特点。
李刚顾永跟
关键词:电子印章基于身份
基于身份的电子医疗文书签名系统被引量:2
2008年
传统的电子医疗文书缺乏法律效能,各级医院都面临着如何实施电子签名的难题.通过比较基于公钥基础设施和基于身份的两种公钥密码系统结构,针对电子医疗文书的数字签名问题,给出了基于身份的电子医疗文书签名体系及其数字签名算法.
顾永跟吴小红柴震川
关键词:医疗文书基于身份公钥基础设施数字签名
专业市场可信电子商务平台的关键技术
2008年
在研究电子商务系统体系结构的基础上,为解决制约电子商务进一步发展的瓶颈问题,对可信电子商务平台中的现代物流技术、信用评价机制和信息安全技术作了详细的讨论,为专业市场可信电子商务平台的建立提供了一定的理论依据和实现思路.
李刚顾永跟
关键词:物流可信计算博弈论
安全协议匿名性形式化分析被引量:2
2008年
改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例,进行了匿名性分析的实例研究.
宋琳蔡小娟
关键词:安全协议匿名性
具有通信约束的网络控制系统的协同优化方法
2008年
对于传感器、控制器和执行器典型空间分布且具有通信约束条件的网络控制系统,应用通信序列的概念和混合逻辑动态的构架,将其建模成一类集成控制和调度的通信约束离散周期系统。采用线性矩阵不等式来描述信息调度与控制的协同优化问题,使闭环系统具有 r 指数渐近稳定。启发式求解方法在最优 H_∞性能下解决了信息调度策略问题,同时也节省了搜索最优解的计算时间。
吴小红李祖欣王培良
关键词:网络控制系统混合逻辑动态系统通信约束控制与调度协同设计H∞控制稳定度
共1页<1>
聚类工具0