University of Twente;
机译:高效(非)公平不可否认协议的安全性分析
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:关于公平不可否认协议的安全性
机译:关于公正性的追求:公平的非拒绝协议的设计与分析
机译:“公平”的BPEL使用不可否认协议处理事务。
机译:以公平的方式敞开大门:一项为期三年的前瞻性对照研究的研究方案采用拟实验设计旨在(或实施)急诊病房的开放Ward政策
机译:关于公正的追求:公平的不可否认协议的设计与分析
机译:pEpa不可否认协议模型的有效性分析