分类： 计算机科学 >> 计算机科学的集成理论 提交时间： 2019-01-28 合作期刊: 《计算机应用研究》
摘要： 移动界程演算通过“界程”这一核心概念来表达有边界的计算场所，并提供界程移动，认证和授权等能力从最基础层次刻画移动计算的本质，成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发展进行了概述，对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析，并对该领域未来进一步研究的方向进行了展望。
分类： 计算机科学 >> 计算机科学的集成理论 提交时间： 2018-11-29 合作期刊: 《计算机应用研究》
摘要： 针对安全多方计算（MPC）中大部分参与者不诚实情况下无法获得公平性这一问题，基于区块链智能合约构造惩罚机制，提出了公平的安全MPC协议。协议分为两个阶段，分别为基于可验证秘密共享的MPC阶段和公平的秘密重建阶段，参与方只要收集t+1个正确份额即可得到最终输出。协议利用同态承诺来验证秘密份额的正确性，使用超时机制来判别恶意参与方的提前终止行为，并对恶意方进行经济惩罚。安全性分析表明诚实参与方能够获得最终输出，否则将得到经济补偿；性能分析表明参与方只需缴纳一轮押金并且大量复杂的秘密份额验证工作都在链下，协议的执行效率得到保证。
点击量
通过
点击量
下载量
评论
