A convertible authenticated encryption scheme is very useful for transmitting a confidential message in insecure communication networks. This paper proposes a convertible authenticated encryption scheme with message linkages for message flows using Elliptic Curve Cryptography (ECC). The proposed scheme has the following advantages. (1) It can provide non-repudiation when the signer repudiates h...

Undeniable signatures, introduced by Chaum and van Antwerpen, require a verifier to interact with the signer to verify a signature, and hence allow the signer to control the verifiability of his signatures. Convertible undeniable signatures allow the signer to convert undeniable signatures into ordinary signatures. In this paper we propose some extended variants of the famous DiffieHellman assu...

A thin and lensless two-dimensional (2D) to three-dimensional (3D) convertible display based on integral imaging using an organic light emitting diode (OLED) panel as a direct emissive light source is proposed with improved optical efficiency. A point light source array for 2D-3D convertible display is formed on the surface light source, i.e., the OLED panel. However, a blurring effect and colo...

Abstract Multi-authenticated encryption is an important message transmission technique, which can send message in a secure and authentic way, and allows a group of signers to cooperatively produce a valid authenticated ciphertext so that only the specific recipient can recover the message and verify the signature. In 2008, Wu et al. proposed a convertible multi-authenticated encryption scheme. ...

The question as to whether or not the liver is able to form glycogen from lactic acid is of importance for the relation between the carbohydrate metabolism of the muscles and that of the liver. It is known that the process glycogen * lactic acid occurs in the muscles, while the process glycogen e glucose occurs in the liver. Glucose derived from liver glycogen is convertible into muscle glycoge...

The type theory λP corresponds to the logical framework LF. In this paper we present λH, a variant of λP where convertibility is not implemented by means of the customary conversion rule, but instead type conversions are made explicit in the terms. This means that the time to type check a λH term is proportional to the size of the term itself. We define an erasure map from λH to λP , and show t...

Motivated by the conflict between authenticity and privacy in the digital signature, the notion of limited verifier signature was introduced [1]. The signature can be verified by a limited verifier, who will try to preserve the privacy of the signer if the signer follows some specified rules. Also, the limited verifier can provide a proof to convince a judge that the signer has indeed generated...

In type theory, the subject reduction (or type preservation) property states that the type of a λ-term is preserved under reduction. This article studies this property in the context of the λΠ-calculus modulo, a variant of the λ-calculus with dependent types (λΠ-calculus) where β-reduction is extended with user-defined object-level and type-level rewrite rules. We show that it is equivalent to ...

An exchange or payment protocol is considered fair if neither of the two parties exchanging items or payment at any time during the protocol has a signiicant advantage over the other entity. Fairness is an important property for electronic commerce. This paper identiies a design framework based on existing fair protocols which use ooine trusted third parties, but with convertible signatures as ...