computational complexity; protocols; BW multiparty contract signing protocol; Baum-Waidner protocol; formal analysis; message transmission number; protocol modeling; strand space model; fairness; multi-party contract signing; strand spaces;
机译:BW多方合同签署协议的机械证明
机译:多方公平交易协议的形式分析与设计
机译:多方公平交易协议的形式分析与设计
机译:BW多方合同签署协议改进:模型与正式分析
机译:安全协议的形式分析:协议组成逻辑。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:多方合同签订的形式化分析
机译:使用自动分析工具进行形式建模来设计和参数化分析多机器人协调协议:案例研究。