Through analysis, we point out Luo et al.’s and Sun et al.’s signcryption-based concurrent signature schemes have the same defect in ambiguity and therefore the fair exchange protocols based on their schemes are not fair. Thus based on the notions of signcryption and concurrent signature, a new signcryption-based concurrent signature scheme from bilinear pairing is presented, and based on this ...

Persistent object systems must provide some form of checkpointing to ensure that changes to persistent data are secured on non-volatile storage. When processes share or exchange modified data, mechanisms must be provided to ensure that they may be consistently checkpointed. This may be performed eagerly by synchronously checkpointing all dependent data. Alternatively, optimistic techniques may ...

The replica exchange approach, also called parallel tempering, is gaining popularity for biomolecular simulation. We ask whether the approach is likely to be efficient compared to standard simulation methods for fixed-temperature equilibrium sampling. To examine the issue, we make a number of straightforward observations on how "fast" high-temperature molecular simulations can be expected to ru...

In this work, we re-examine some fundamental group key-exchange and identity-based keyexchange protocols, specifically the Burmester-Desmedet group key-exchange protocol [7] (referred to as the BD-protocol) and the Chen-Kudla identity-based key-exchange protocol [9] (referred to as the CK-protocol). We identify some new attacks on these protocols, showing in particular that these protocols are ...

We formally specify a payment protocol. This protocol is intended for fair exchange of time-sensitive data. Here the μCRL language is used to formalize the protocol. Fair exchangeproperties are expressed in the regular alternation-free μ-calculus. These properties are thenverified using the finite state model checker from the CADP toolset. Proving fairness withoutresilient c...

a r t i c l e i n f o This study addresses the business-to-business (B2B) trade fair from a relationship marketing perspective. The main purpose is to comprehend buyer and seller interactions in the context of the trade fair, evaluating their impact on relationship quality and on the development of the relationship in the long-term. A research model is proposed with the underlying rationale tha...

A contract is a non-repudiable agreement on a given contract text, i.e., it can be used to prove unanimous agreement between its signatories to any veri er. A contract signing protocol is used to fairly compute a contract so that, even if n 1 of the n signatories misbehave, either all or none of them obtain a contract. Optimistic contract signing protocols use a third party to ensure fairness, ...