Optimistic fair exchange of digital signatures
From MaRDI portal
Publication:4249668
DOI10.1007/BFb0054156zbMath0929.68064MaRDI QIDQ4249668
N. Asokan, Victor Shoup, Michael Waidner
Publication date: 17 June 1999
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
68M10: Network design and communication in computer systems
68P25: Data encryption (aspects in computer science)
94A62: Authentication, digital signatures and secret sharing
Related Items
Verifiably Encrypted Signatures with Short Keys Based on the Decisional Linear Problem and Obfuscation for Encrypted VES, Group Encryption, Efficient Simultaneous Broadcast, One-Shot Verifiable Encryption from Lattices, Oblivious signature-based envelope, E-commerce of digital items and the problem of item validation: introducing the concept of reversible degradation, Extending concurrent signature to multiple parties, Group-oriented fair exchange of signatures, State and progress in strand spaces: proving fair exchange, Optimistic fair exchange in the enhanced chosen-key model, Ambiguous optimistic fair exchange: definition and constructions, Concurrent signature without random oracles, Verifiably encrypted signatures with short keys based on the decisional linear problem and obfuscation for encrypted VES, Fair exchange of valuable information: a generalised framework, Resource fairness and composability of cryptographic protocols, Assume-guarantee synthesis for digital contract signing, Compositional analysis of contract-signing protocols, On the semantics of Alice \& Bob specifications of security protocols, Certificate-based verifiably encrypted signatures from pairings, Deductive verification of alternating systems, Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography, Cryptanalysis of the Wu-Varadhrajan fair exchange protocol, New efficient and secure protocols for verifiable signature sharing and other applications, Finite-state analysis of two contract signing protocols, How to protect privacy in optimistic fair exchange of digital signatures, Fair and optimistic contract signing based on quantum cryptography, Computer science and decision theory, Security of blind signatures revisited, Attribute-based optimistic fair exchange: how to restrict brokers with policies, Fair multi-party contract signing using private contract signatures, On the relationships between models in protocol verification, Contract signing, optimism, and advantage, Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures, What Security Can We Achieve Within 4 Rounds?, Synthesizing Protocols for Digital Contract Signing, Concurrent Signatures with Fully Negotiable Binding Control, Security of Verifiably Encrypted Signatures and a Construction without Random Oracles, Proofs on Encrypted Values in Bilinear Groups and an Application to Anonymity of Signatures, On Complete Primitives for Fairness, Electronic payment scheme to prevent the treachery, Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets, Sequential Aggregate Signatures and Multisignatures Without Random Oracles, Ambiguous Optimistic Fair Exchange, Fair Threshold Decryption with Semi-Trusted Third Parties
