Computer Science – Logic in Computer Science
Scientific paper
2012-03-28
Computer Science
Logic in Computer Science
23 pages, 20 figures, Coalgebraic Methods in Computer Science (CMCS) 2012
Scientific paper
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.
No associations
LandOfFree
Tracing the Man in the Middle in Monoidal Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Tracing the Man in the Middle in Monoidal Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tracing the Man in the Middle in Monoidal Categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-273298