浙江省科技计划项目(2007C31009) 作品数:6 被引量:6 H指数:2 相关作者: 顾永跟 蔡小娟 李刚 吴小红 柴震川 更多>> 相关机构: 湖州师范学院 上海交通大学 更多>> 发文基金: 浙江省科技计划项目 浙江省湖州市科技计划项目 湖州市自然科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
概率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∞控制 稳定度