scientific article; zbMATH DE number 1418311
From MaRDI portal
Publication:4941873
zbMath0942.94027MaRDI QIDQ4941873
Markus Jakobsson, Juan A. Garay, Philip D. MacKenzie
Publication date: 24 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (32)
Relating Process Languages for Security and Communication Correctness (Extended Abstract) ⋮ Synthesizing Protocols for Digital Contract Signing ⋮ Mechanical proofs about BW multi-party contract signing protocol ⋮ Concurrent signatures from a variety of keys ⋮ Compositional analysis of contract-signing protocols ⋮ Formal analysis of multiparty contract signing ⋮ Formal analysis and design of multi-party fair exchange protocols ⋮ Quantum multi-party fair exchange protocol based on three-particle GHZ states ⋮ Group-oriented fair exchange of signatures ⋮ State and progress in strand spaces: proving fair exchange ⋮ Attribute-based optimistic fair exchange: how to restrict brokers with policies ⋮ Ambiguous optimistic fair exchange: definition and constructions ⋮ Automated Verification of Dynamic Root of Trust Protocols ⋮ A rational framework for secure communication ⋮ Formal Analysis of FPH Contract Signing Protocol Using Colored Petri Nets ⋮ A rational approach to cryptographic protocols ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ How to protect privacy in optimistic fair exchange of digital signatures ⋮ Fair multi-party contract signing using private contract signatures ⋮ Contract signing, optimism, and advantage ⋮ New receipt-free voting scheme using double-trapdoor commitment ⋮ Fair and optimistic contract signing based on quantum cryptography ⋮ Computer science and decision theory ⋮ Ambiguous Optimistic Fair Exchange ⋮ Accumulable Optimistic Fair Exchange from Verifiably Encrypted Homomorphic Signatures ⋮ Multiparty Contract Signing Over a Reliable Network ⋮ Assume-guarantee synthesis for digital contract signing ⋮ Legally Fair Contract Signing Without Keystones ⋮ Security of Verifiably Encrypted Signatures and a Construction without Random Oracles ⋮ Escrow Protocols for Cryptocurrencies: How to Buy Physical Goods Using Bitcoin ⋮ Practical quantum contract signing without quantum storage ⋮ Finite-state analysis of two contract signing protocols
This page was built for publication:
