Internet; ad hoc networks; protocols; security of data; Kailar logic analytical method; The Third Party; fair non-repudiation security protocol; off-line TTP; security mobile ad-hoc networks; Fairness; New Kailar logic analytical method; Non-repudiation; Security;
机译:支持透明离线TTP的通用不可否认协议
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:高效(非)公平不可否认协议的安全性分析
机译:具有离线TTP的公平非拒绝安全协议
机译:“公平”的BPEL使用不可否认协议处理事务。
机译:安全公平的簇头选择协议可增强移动自组织网络的安全性
机译:具有离线TTP的不可追溯的公平网络支付协议
机译:pEpa不可否认协议模型的有效性分析