| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 421833 | Electronic Notes in Theoretical Computer Science | 2011 | 19 Pages |
Abstract
Controlled complementary measurements are key to quantum key distribution protocols, among many other things. We axiomatize controlled complementary measurements within symmetric monoidal categories, which provides them with a corresponding graphical calculus. We study the BB84 and Ekert91 protocols within this calculus, including the case where there is an intercept-resend attack.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
