89,820 research outputs found
Multiparty quantum secret sharing with pure entangled states and decoy photons
We present a scheme for multiparty quantum secret sharing of a private key
with pure entangled states and decoy photons. The boss, say Alice uses the
decoy photons, which are randomly in one of the four nonorthogonal
single-photon states, to prevent a potentially dishonest agent from
eavesdropping freely. This scheme requires the parties of communication to have
neither an ideal single-photon quantum source nor a maximally entangled one,
which makes this scheme more convenient than others in a practical application.
Moreover, it has the advantage of having high intrinsic efficiency for qubits
and exchanging less classical information in principle.Comment: 5 pages, no figure
The Buffered \pi-Calculus: A Model for Concurrent Languages
Message-passing based concurrent languages are widely used in developing
large distributed and coordination systems. This paper presents the buffered
-calculus --- a variant of the -calculus where channel names are
classified into buffered and unbuffered: communication along buffered channels
is asynchronous, and remains synchronous along unbuffered channels. We show
that the buffered -calculus can be fully simulated in the polyadic
-calculus with respect to strong bisimulation. In contrast to the
-calculus which is hard to use in practice, the new language enables easy
and clear modeling of practical concurrent languages. We encode two real-world
concurrent languages in the buffered -calculus: the (core) Go language and
the (Core) Erlang. Both encodings are fully abstract with respect to weak
bisimulations
- …