%0 Conference Proceedings
%T Tracing the Man in the Middle in Monoidal Categories
%+ Royal Holloway [University of London] (RHUL)
%+ University of Twente
%A Pavlovic, Dusko
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Tallinn, Estonia
%Y Dirk Pattinson
%Y Lutz Schröder
%I Springer
%3 Coalgebraic Methods in Computer Science
%V LNCS-7399
%P 191-217
%8 2012-03-31
%D 2012
%R 10.1007/978-3-642-32784-1_11
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01539882/document
%2 https://inria.hal.science/hal-01539882/file/978-3-642-32784-1_11_Chapter.pdf
%L hal-01539882
%U https://inria.hal.science/hal-01539882
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-CMCS
%~ IFIP-LNCS-7399
%~ IFIP-ETAPS