College of Computer Science and Engineering University of Electronic Science and Technology of China, Chengdu 610054, China;
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:基于游戏的不可否认和公平交换协议的验证
机译:基于高效量子机制的公平不可否认协议
机译:基于公平的非拒绝协议的CORBA非拒绝服务
机译:“公平”的BPEL使用不可否认协议处理事务。
机译:加泰罗尼亚综合护理服务评估:基于人群和基于服务的现实生活部署协议
机译:基于游戏的不可否认性和公平交换协议的验证
机译:pEpa不可否认协议模型的有效性分析