机译:多方公平交易协议的形式分析与设计
Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;
fair exchange; logical protocol; formal model; security requirement;
机译:多方公平交易协议的形式分析与设计
机译:多方公平交换协议中的排除和相关信任关系
机译:使用环形架构模型的多方公平交换协议
机译:分析轨道空间模型中的多方公平交换议定书及正式证明
机译:安全协议的形式分析:协议组成逻辑。
机译:结合本体和工作流程以设计用于生物实验室的正式协议
机译:多方公平交换协议中的排除和相关信任关系
机译:基于Estelle IsO形式描述技术的通信协议形式化设计