河南省教育厅自然科学基金(2010A520004)
- 作品数:2 被引量:0H指数:0
- 相关作者:陈莉陈鸿昶刘军王得洋王从银更多>>
- 相关机构:河南财经学院郑州大学解放军信息工程大学更多>>
- 发文基金:河南省科技攻关计划河南省教育厅自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 通信网络中一种基于流的异步平均一致性协议
- 2013年
- 大规模的异步通信网络中,实时获取系统级网络平均值对于指导系统进行控制决策,比如资源选择、负载均衡等,具有重要的意义。基于此,重点研究了异步网络环境中的平均一致性问题,提出了一种基于流的异步平均一致性协议FBAA。FBAA协议适用于动态的异步通信网络系统,而且运行过程不需要全局协调。实验表明该协议能够以较快的速度收敛到平均值,且收敛时间与网络规模无关。进一步通过对实验数据的统计分析,得出收敛时间与相关参数的关系以及算法达到最优收敛时间的参数设置。
- 王得洋王从银庄雷陈鸿昶
- 优化的匿名电子现金支付协议及其形式化验证
- 2010年
- 针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据,避免交易主体不诚实所导致的公平性缺失;引入FTP传输方式传送电子货币和付款收据,确保实现可追究性与公平性,进一步增强协议的鲁棒性。对优化协议进行形式化验证,结果表明,优化协议满足密钥保密性、非否认性、公平性、可追究性、原子性等安全属性。
- 陈莉刘军
- 关键词:形式化验证非否认性原子性