贵州省自然科学基金(20052110)
- 作品数：4 被引量：2H指数：1
- 相关作者：汪学明翁立晨黄国芳更多>>
- 相关机构：贵州大学更多>>
- 发文基金：贵州省自然科学基金更多>>
- 相关领域：自动化与计算机技术水利工程更多>>
- 通信限制场景下的安全移动支付协议研究被引量：2
- 2010年
- 大部分现有的移动支付方法都是在完全连接场景下进行的,随着移动电子商务的多样化,现有的移动支付方法已经不能满足移动通信限制场景的要求。为了解决移动通信限制场景下移动支付的安全性问题,在研究3-Dsecure协议的基础上,在商家中心场景(客户和发卡行不能直接连接)下,提出一种新的安全移动支付协议。该协议采用消息恢复签名和对称加密,提供了参与实体之间的相互认证,并实现了匿名性、消息的秘密性和完整性,最后通过改进的Kailar逻辑对协议进行验证,该协议满足可追究性的要求。
- 崔楠汪学明
- 关键词：移动支付可追究性匿名性
- 基于椭圆曲线(t,n)门限共享解签密方案
- 2007年
- 基于椭圆曲线提出一个带可信中心的(t,n)门限共享解签密方案。该方案综合了对称加密、Shamir门限方案和Junn方案的优点,除了计算量与通信量少外,还具有保密性、认证性、不可伪造性、不可否认性、抵抗接收组成员欺骗等特点,满足群体通信的要求,对存储容量和计算能力有限的硬件开发而言,该方案具有很大的实用价值和应用前景。在该方案中如果收发双方出现争论时,可信中心在没有发送方私钥的情况下,直接能够验证发送方的签密。最后分析了该方案的安全性。
- 黄国芳汪学明
- 关键词：椭圆曲线离散对数问题
- 贵阳市后坝至氧气厂排洪隧洞进口竖井消能设计
- 2007年
- 受地形及地表建筑物等因素的限制贵阳市后坝至氧气厂排洪隧洞进口消能工布置较为困难,经过多方案比较,设计采用进口竖井消能方式。通过水工模型试验进行修正,该工程技术可行、运行可靠、流态稳定。不仅解决工程难题,而且最大限度降低工程施工对地表建筑物的干扰,可供类似工程设计参考。
- 伍承驹马思烈
- 关键词：排洪隧洞水垫
- 进程调度模型的Spin验证分析与改进
- 2009年
- Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析。对用Promela语言描述的进程调度模型进行分析研究,并对其存在的不足加以改进。增加了LTL公式描述,用Spin进行模型检测验证,使用Xspin得到了反例状态迁移轨迹图。
- 翁立晨汪学明
- 关键词：SPINLTL进程调度
