贵州省自然科学基金(20052110)

作品数：4被引量：2H指数：1
导出分析报告
相关作者：汪学明翁立晨黄国芳更多>>
相关机构：贵州大学更多>>
相关期刊：《计算机工程与设计》《计算机应用》《贵州工业大学学报（自然科学版）》更多>>
相关主题：移动支付可追究性匿名性LTL氧气厂更多>>
相关领域：自动化与计算机技术水利工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
通信限制场景下的安全移动支付协议研究被引量：2
《计算机工程与设计》2010年第9期1950-1953,共4页崔楠 汪学明 
贵州省自然科学基金项目(20052110);贵州大学引进人才科研基金项目(2008005)
大部分现有的移动支付方法都是在完全连接场景下进行的,随着移动电子商务的多样化,现有的移动支付方法已经不能满足移动通信限制场景的要求。为了解决移动通信限制场景下移动支付的安全性问题,在研究3-Dsecure协议的基础上,在商家中心场...
关键词：移动支付 通信限制场景 消息恢复签名 可追究性 匿名性 
进程调度模型的Spin验证分析与改进
《计算机应用》2009年第B12期158-160,共3页翁立晨 汪学明 
贵州省自然科学基金资助项目(20052110);贵州大学引进人才科研项目(2009)
Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析。对用Promela语言描述的进程调度模型进行分析研究,并对其存在的不足加以改进。增加了LTL公式描述,用Spin进行模型检测验证,使用Xspin得到了反例状态迁移轨迹图。
关键词：模型检测 SPIN Promela语言 LTL 进程调度 
基于椭圆曲线(t,n)门限共享解签密方案
《贵州工业大学学报（自然科学版）》2007年第4期47-50,55,共5页黄国芳 汪学明 
贵州省自然科学基金资助项目(20052110);贵州省自然科学基金资助项目(20052107)
基于椭圆曲线提出一个带可信中心的(t,n)门限共享解签密方案。该方案综合了对称加密、Shamir门限方案和Junn方案的优点,除了计算量与通信量少外,还具有保密性、认证性、不可伪造性、不可否认性、抵抗接收组成员欺骗等特点,满足群体通信...
关键词：解签密 门限共享 椭圆曲线离散对数问题 可信中心 
贵阳市后坝至氧气厂排洪隧洞进口竖井消能设计
《贵州工业大学学报（自然科学版）》2007年第4期51-55,共5页伍承驹 马思烈 
贵州省自然科学基金资助项目(20052110);贵州省自然科学基金资助项目(20052107)
受地形及地表建筑物等因素的限制贵阳市后坝至氧气厂排洪隧洞进口消能工布置较为困难,经过多方案比较,设计采用进口竖井消能方式。通过水工模型试验进行修正,该工程技术可行、运行可靠、流态稳定。不仅解决工程难题,而且最大限度降低工...
关键词：排洪隧洞 竖井消能 环形堰 防涡墩 水垫 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部