机译:基于形式验证的对称加密算法的基于SMS的移动支付协议的安全公平交换
机译:公平秘密交流协议在电子发票分发中的应用
机译:乐观公平数字签名交换协议研究
机译:在概率公正下的模型检查及其在公平交换议定书中的应用
机译:心脏骤停后治疗方案的标准化:治疗性体温过低的评估以及建立标准化心脏骤停后治疗方案的可能性。
机译:肾脏交换程序的两阶段随机编程模型中的公平性说明
机译:攻击公平交换协议的并行模型与跟踪模型11我们感谢匿名审阅者提出的许多有用建议,并感谢C. Marchetti讨论Fair-Exchange协议(容错)本地和分布式实现的棘手问题。 ASI,CNR和MURST赠款部分支持这项工作。马萨奇(F. Massacci)感谢CNR奖学金203-7-27的支持。
机译:一系列公平交换协议的系统发展