A formal model of fair exchange protocols
type: Item
instance of: scholarly article
title: A formal model of fair exchange protocols
zbMATH Open document ID: 1187.94036
author: Sihan Qing
author: Gaicheng Li
published in: Science in China. Series F
publication date: 2007-02-20T00:00:00Z
Mathematics Subject Classification ID: 94A62
zbMATH DE Number: 5128638
zbMATH Keywords: events
zbMATH Keywords: local causal relation
zbMATH Keywords: local temporal relation
zbMATH Keywords: global relation
zbMATH Keywords: exchanged item
zbMATH Keywords: security goals
MaRDI profile type: Publication
Recommended article: Formal analysis and design of multi-party fair exchange protocols
Recommended article: Q4950034
Recommended article: Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols
Recommended article: Q4413343
Recommended article: A generic framework for accountable optimistic fair exchange protocol
Recommended article: A Generic Framework for Accountable Optimistic Fair Exchange Protocol
Recommended article: Financial Cryptography and Data Security
Recommended article: Formal modeling and analysis of fairness characterization of E-commerce protocols
description: scientific article; zbMATH DE number 5128638