Formal Analysis; Helsinki protocol; PCL; Security Protocol;
机译:比特币支付协议的正式建模与安全分析
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:基于博弈的通信协议建模与形式分析
机译:基于PCL的安全协议形式化分析模型
机译:安全协议的形式分析:协议组成逻辑。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:比特币支付协议的正式建模与安全分析