...
机译:基于游戏的不可否认和公平交换协议的验证
Departement d'lnformatique, Faculte des Sciences, Universite Libre de Brunelles, Belgium;
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:EAR协议-走向公平的乐观不可否认性交换
机译:EAR协议-走向公平的乐观不可抵赖交换
机译:基于游戏的不可否认和公平交换协议验证
机译:“公平”的BPEL使用不可否认协议处理事务。
机译:双任务认知比赛跑步机系统在帕金森病中的代谢活动和步态功能的变化:随机对照试验的协议
机译:基于游戏的不可否认性和公平交换协议的验证
机译:一系列公平交换协议的系统发展