Tracing the Man in the Middle in Monoidal Categories
Abstract
Man-in-the-Middle (MM) is not only a ubiquitous attack pattern in security, but also an important paradigm of network computation and economics. Recognizing ongoing MM-attacks is an important security task; modeling MM-interactions is an interesting task for semantics of computation. Traced monoidal categories are a natural framework for MM-modelling, as the trace structure provides a tool to hide what happens *in the middle*. An effective analysis of what has been traced out seems to require an additional property of traces, called *normality*. We describe a modest model of network computation, based on partially ordered multisets (pomsets), where basic network interactions arise from the monoidal trace structure, and a normal trace structure arises from an iterative, i.e. coalgebraic structure over terms and messages used in computation and communication. The correspondence is established using a convenient monadic description of normally traced monoidal categories.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2012
- DOI:
- 10.48550/arXiv.1203.6324
- arXiv:
- arXiv:1203.6324
- Bibcode:
- 2012arXiv1203.6324P
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Cryptography and Security;
- Mathematics - Category Theory;
- 18D10;
- 97P20;
- 03G30;
- K.6.5
- E-Print:
- 23 pages, 20 figures, Coalgebraic Methods in Computer Science (CMCS) 2012