10 citations
Showing quant-phShow all
2 papers · 1 filter
quant-ph2005★ 10 cited
Algebras of Measurements: the logical structure of Quantum Mechanics
Daniel Lehmann, Kurt Engesser, Dov M. Gabbay
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projec…
quant-ph2004★ 3 cited
General Security Definition and Composability for Quantum & Classical Protocols
Michael Ben-Or, Dominic Mayers
We generalize the universally composable definition of Canetti to the Quantum World. The basic idea is the same as in the classical world. The main contribution is that we unfold t…