Bicategorical semantics for nondeterministic computation
<p>We present a topological bicategorical syntax for the interaction between public and private information in classical information theory. This allows high-level graphical definitions of encrypted communication and secret sharing, including a characterization of their security properties, wh...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Sprog: | English |
| Udgivet: |
Elsevier
2013
|
| Fag: |