徐畅
- 作品数：4 被引量：3H指数：1
- 供职机构：北京理工大学计算机学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 可任意花费的可传递电子现金系统
- 2019年
- 针对现有的可传递电子现金系统在传递协议中传递花费顺序固定以及传递次数受限制的问题,利用Groth-Sahai证明系统、对承诺的承诺和Ghadafi群盲签名,在标准模型下构建一个具有最优匿名性的可任意花费的等长可传递电子现金系统,该系统中电子现金的花费不受任何花费顺序限制,传递次数是任意次.基于对承诺的承诺,可以对所传递的序列号进行压缩,从而保证用户传递电子现金的长度是常量;基于Ghadafi群盲签名,实现了电子现金花费用户的任意性;在标准模型下,证明了新系统的安全属性,该系统具有不可伪造性、最优匿名性、不可重复花费性和不可诬陷性.
- 张江霄冯春辉马金鑫张斌徐畅李舟军党莹
- 一个改进的混合云环境下协同的可证明数据持有方案被引量：2
- 2013年
- 为验证云存储服务提供商是否完整地存储了客户的数据,修复了一个混合云环境下协同的可证明数据持有方案存在的安全漏洞,提出了一个改进的混合云环境下协同的可证明数据持有方案。改进方案能够抵抗云存储服务提供商的伪造攻击,利用分层Hash索引和同态验证响应技术,将多个云存储服务提供商的响应消息聚合为一个消息。与原方案相比,改进方案降低了计算开销和通信开销,且具有完备性、可靠性和零知识性等属性,是一个可行的完整性检查方案。
- 周恩光李舟军郭华徐畅
- 基于Horn扩展逻辑的非否认协议建模与验证研究
- 非否认协议应该具有非否认性.具体说,消息的发送方不能对其发送过消息进行否认,而消息的接收方不能够对其接收过消息进行否认.此外,非否认协议需要具有公平性,即协议的一方不能够比另一方多以任何优势。本文首先使用Horn逻辑扩展...
- 徐畅李舟军郭华张帆
- 关键词：计算机技术信息安全
- 文献传递
- 基于Horn扩展逻辑的非否认协议建模与验证被引量：1
- 2012年
- 该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、恶意主体、仲裁进行了建模,提出了针对非否认协议的验证算法;通过使用Horn逻辑扩展模型对Zhou-Gollmann协议进行验证,得到Witness和Request事实并不匹配的结论,说明了Zhou-Gollmann协议并不具有公平性;该文对不动点计算过程进行了优化,通过将规则分为解形式规则和非解形式规则,避免了进行X-消解时对规则的逐条比较。
- 徐畅李舟军郭华张帆
- 关键词：非否认性
