Tracing the Man in the Middle in Monoidal Categories

Dusko Pavlovic

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    88 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationCoalgebraic Methods in Computer Science
    Subtitle of host publication11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
    EditorsDirk Pattinson, Lutz Schröder
    Place of PublicationBerlin, Heidelberg
    Number of pages27
    ISBN (Electronic)978-3-642-32784-1
    ISBN (Print)978-3-642-32783-4
    Publication statusPublished - 31 Mar 2012
    Event11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012 - Tallinn, Estonia
    Duration: 31 Mar 20121 Apr 2012
    Conference number: 11

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012
    Abbreviated titleCMCS
    Internet address


    • SCS-Cybersecurity
    • Monoidal Categories
    • Security protocols
    • Parallel composition
    • Monoidal structure
    • Output interface

    Fingerprint Dive into the research topics of 'Tracing the Man in the Middle in Monoidal Categories'. Together they form a unique fingerprint.

    Cite this